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

Autor: A. V. Bataev, A. A. Davydov, N. Y. Nalutin, S. V. Sinitsyn
Jazyk: English<br />Russian
Rok vydání: 2010
Předmět:
Zdroj: Моделирование и анализ информационных систем, Vol 17, Iss 4, Pp 17-26 (2010)
Druh dokumentu: article
ISSN: 1818-1015
2313-5417
Popis: This article discusses a problem of test data preparation for functional testing with a dened level of test coverage. Application of the method simplies the management of software project conguration, keeping requirements, code and tests in a consistent state. Classication of software deects 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.
Databáze: Directory of Open Access Journals