Skip to main content
SpringerLink
Log in

Test data generation based on a formal analysis of the project configuration data

  • Published:
Automatic Control and Computer Sciences Aims and scope Submit manuscript

Abstract

A method of preparation of the test data that provides a specified level of coverage of the requirements for functional testing is proposed. The application of the method simplifies the maintenance of the project life cycle data configuration, which includes the requirements, source code, and generated tests, in a consistent state. A classification of software defects is introduced. An approach to formalization of the analysis requirement and implementation of the tested system based on the presentation of a partition into classes of equivalency in the form of a logic equation system is proposed. An approximate method of solving the acquired equations is proposed. The applicability of the method in real processes of industrial projects is discussed.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Sinitsyn, S.V. and Nalyutin, N.Yu., Verifikatsiya programmnogo obespecheniya (Software Verification), Moscow: Binom, 2008.

    Google Scholar 

  2. GOST (State Standard) R 51904-2002: Software of Built-in Systems. General Requirements to Development and Documentation, 2002.

  3. Nalyutin, N.Yu. and Sinitsyn, S.V., Problems of Configuration Management in the Process of Software Development for Built-in Systems, Program. Prod. Sistem, 2008, no. 1, pp. 26–29.

  4. Sommerville, I., Software Engineering, Available from: http://www.comp.lancs.ac.uk/computing/resources/IanS/SE7

  5. Hayhurst, K.J., Veerhusen, D.S., et al., A Practical Tutorial on Modified Condition, Decision Coverage: Technical Memorandum, NASA, 2001.

Download references

Author information

Authors and Affiliations

  1. MEPhI National Nuclear Research University, Moscow, 115409, Russia

    A. V. Bataev, A. A. Davydov, N. Yu. Nalutin & S. V. Sinitsyn

Authors
  1. A. V. Bataev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. A. A. Davydov
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. N. Yu. Nalutin
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. S. V. Sinitsyn
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to A. V. Bataev.

Additional information

Original Russian Text © A.V. Bataev, A.A. Davydov, N.Yu. Nalutin, S.V. Sinitsyn, 2010, published in Modelirovanie i Analiz Informatsionnykh Sistem, 2010, No. 4, pp. 17–26.

About this article

Cite this article

Bataev, A.V., Davydov, A.A., Nalutin, N.Y. et al. Test data generation based on a formal analysis of the project configuration data. Aut. Conrol Comp. Sci. 45, 373–379 (2011). https://doi.org/10.3103/S0146411611070030

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.3103/S0146411611070030

Keywords

Search

Navigation