Geodesic
Test data generation based on a formal analysis of the project configuration
Modelirovanie i analiz informacionnyh sistem, Tome 17 (2010) no. 4, pp. 17-26.

Voir la notice de l'article provenant de la source Math-Net.Ru

This article discusses a problem of test data preparation for functional testing with a defined level of test coverage. Application of the method simplifies the management of software project configuration, keeping requirements, code and tests in a consistent state. Classification of software deffects is presented in the article. An approach the formalizing the target system code and requirements analysis is proposed. This method is based on the representation of equivalence class partitioning as logical equations. An original method to get equations solutions is also provided. Method applicability in real industrial projects is discussed.
Keywords: software engineering, software management, functional testing, test data, logic equation
Mots-clés : configuration management. 
@article{MAIS_2010_17_4_a2,
     author = {A. V. Bataev and A. A. Davydov and N. Yu. Nalyutin and S. V. Sinitsyn},
     title = {Test data generation based on a formal analysis of the project configuration},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {17--26},
     publisher = {mathdoc},
     volume = {17},
     number = {4},
     year = {2010},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a2/}
}
TY  - JOUR
AU  - A. V. Bataev
AU  - A. A. Davydov
AU  - N. Yu. Nalyutin
AU  - S. V. Sinitsyn
TI  - Test data generation based on a formal analysis of the project configuration
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2010
SP  - 17
EP  - 26
VL  - 17
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a2/
LA  - ru
ID  - MAIS_2010_17_4_a2
ER  - 
%0 Journal Article
%A A. V. Bataev
%A A. A. Davydov
%A N. Yu. Nalyutin
%A S. V. Sinitsyn
%T Test data generation based on a formal analysis of the project configuration
%J Modelirovanie i analiz informacionnyh sistem
%D 2010
%P 17-26
%V 17
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a2/
%G ru
%F MAIS_2010_17_4_a2
A. V. Bataev; A. A. Davydov; N. Yu. Nalyutin; S. V. Sinitsyn. Test data generation based on a formal analysis of the project configuration. Modelirovanie i analiz informacionnyh sistem, Tome 17 (2010) no. 4, pp. 17-26. http://geodesic.mathdoc.fr/item/MAIS_2010_17_4_a2/

[1] S. V. Sinitsyn, N. Yu. Nalyutin, Verifikatsiya programmnogo obespecheniya, Binom; Laboratoriya znanii Intuit, M., 2008, 368 pp.

[2] Programmnoe obespechenie vstroennykh sistem. Obschie trebovaniya k razrabotke i dokumentirovaniyu, GOST R 51904-2002, Gosstandart Rossii, M., 2002, 94 pp.

[3] N. Yu. Nalyutin, S. V. Sinitsyn, “Problemy upravleniya konfiguratsiyami v protsesse razrabotki programmnogo obespecheniya vstroennykh sistem”, Programmnye produkty i sistemy, 2008, no. 1, 26–29

[4] I. Sommervill, Inzheneriya programmnogo obespecheniya, Vilyams, M., 2002, 624 pp.

[5] K. J. Hayhurst, D. S. Veerhusen et al., A practical tutorial on Modified Condition, Decision Coverage: Technical Memorandum, 2001, 85 pp.