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

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 pres...

Full description

Bibliographic Details
Main Authors: A. V. Bataev, A. A. Davydov, N. Y. Nalutin, S. V. Sinitsyn
Format: Article
Language:English
Published: Yaroslavl State University 2010-12-01
Series:Modelirovanie i Analiz Informacionnyh Sistem
Subjects:
Online Access:https://www.mais-journal.ru/jour/article/view/1048