Magazine Article

A Method of Partly Automated Testing of Software

TBMG-2096

08/01/2007

Abstract
Content

A method of automated testing of software has been developed that provides an alternative to the conventional mostly manual approach for software testing. The method combines (1) automated generation of test cases on the basis of systematic exploration of the input domain of the software to be tested with (2) run-time analysis in which execution traces are monitored, verified against temporal-logic specifications, and analyzed by concurrency-error-detection algorithms. In this new method, the user only needs to provide the temporal logic specifications against which the software will be tested and the abstract description of the input domain.

Meta TagsDetails
Citation
"A Method of Partly Automated Testing of Software," Mobility Engineering, August 1, 2007.
Additional Details
Publisher
Published
Aug 1, 2007
Product Code
TBMG-2096
Content Type
Magazine Article
Language
English