Title
Automation of broad sanity test generation
Abstract
The technology for the broad generation of sanity tests for complex software developed in the Institute for System Programming (Russian Academy of Sciences) is presented. This technology is called Azov; it is based on using a database containing structured information about the interface operations of the system under test and on a procedure for enriching this information by refining constraints imposed on parameter types and results of operations. Results of a practical application of this technology prove its high efficiency in generating sanity tests for systems with a large number of functions.
Year
DOI
Venue
2008
10.1134/S0361768808060066
Programming and Computer Software
Keywords
Field
DocType
broad sanity test generation,broad generation,system programming,complex software,interface operation,large number,high efficiency,russian academy,parameter type,sanity test,structured information,system under test,software development
Test suite,System under test,System programming,Sanity,Software engineering,Computer science,Theoretical computer science,Automation,Software,Symbolic execution,Test data generation
Journal
Volume
Issue
ISSN
34
6
1608-3261
Citations 
PageRank 
References 
4
0.49
37
Authors
5
Name
Order
Citations
PageRank
R. S. Zybin140.49
V. V. Kuliamin2676.27
A. V. Ponomarenko340.49
V. V. Rubanov460.89
E. S. Chernov540.49