Automation of broad sanity test generation

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

Full description

Saved in:
Bibliographic Details
Published in:Programming and computer software 2008-11, Vol.34 (6), p.351-363
Main Authors: Zybin, R. S., Kuliamin, V. V., Ponomarenko, A. V., Rubanov, V. V., Chernov, E. S.
Format: Article
Language:English
Subjects:
Artificial Intelligence
Automation
Computer programs
Computer Science
Mathematical analysis
Mathematical models
Operating Systems
Programming
Refining
Software
Software Engineering
Software Engineering/Programming and Operating Systems
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0361-7688
1608-3261
DOI:10.1134/S0361768808060066