Loading...
Please wait, while we are loading the content...
Similar Documents
Automated software test data generation for complex programs (1998)
| Content Provider | CiteSeerX |
|---|---|
| Author | Michael, Christoph Mcgraw, Gary |
| Abstract | We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully automatic and supports all C/C++ language constructs. This allows us to generate tests for programs more complex than those previously reported in the literature. We address a number of issues that are encountered when automatically generating tests for complex software systems. These issues have not been discussed in earlier work on test-data generation, which concentrates on small programs (most often single functions) written in restricted programming languages. 1 Dynamic test data generation In this paper, we introduce the GADGET system, which uses a test data generation paradigm commonly known as dynamic test data generation. Dynamic test data generation was originally proposed by [Miller and Spooner, 1976] and then investigated further with the TESTGEN system of [Korel, 1990, Korel, 1996], the |
| File Format | |
| Publisher Date | 1998-01-01 |
| Publisher Institution | Reliable Software Technologies |
| Access Restriction | Open |
| Subject Keyword | Small Program New Software Test Generation System Testgen System Dynamic Test Data Generation Automated Software Test Data Generation Combinatorial Optimization Test Data Generation Test-data Generation Complex Software System Restricted Programming Language Gadget System Complex Program Language Construct Single Function Condition Decision Coverage |
| Content Type | Text |
