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

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

Full description

Saved in:
Bibliographic Details
Published in:Automatic control and computer sciences 2011-12, Vol.45 (7), p.373-379
Main Authors: Bataev, A. V., Davydov, A. A., Nalutin, N. Yu, Sinitsyn, S. V.
Format: Article
Language:English
Subjects:
Computer Science
Control Structures and Microprogramming
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0146-4116
1558-108X
DOI:10.3103/S0146411611070030