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. Zybin | 1 | 4 | 0.49 |
V. V. Kuliamin | 2 | 67 | 6.27 |
A. V. Ponomarenko | 3 | 4 | 0.49 |
V. V. Rubanov | 4 | 6 | 0.89 |
E. S. Chernov | 5 | 4 | 0.49 |