DocumentCode
865873
Title
Test-case generation with IOGen
Author
Lindquist, T.E. ; Jenkins, Joyce R.
Author_Institution
Dept. of Comput. Sci., Arizona State Univ., Tempe, AZ, USA
Volume
5
Issue
1
fYear
1988
Firstpage
72
Lastpage
79
Abstract
The IOGen static-analysis tool for a subset of Ada addresses part of the problem of verification of software reliability. It uses a technique based on symbolic execution and produces a set of I/O pairs that represent execution paths through a program. The authors present IOGen´s design and demonstrate how to use it to test programs and validate Ada software interfaces. Although IOGen is specific to an Ada subset, the same technique can be applied to any language with a grammar that uses a left-to-right scan with one look-ahead token producing a leftmost derivation (an LL(1) grammar).<>
Keywords
Ada; program diagnostics; program testing; software reliability; software tools; Ada; I/O pairs; IOGen; LL(1) grammar; execution paths; left-to-right scan; look-ahead token; software interfaces; software reliability; static-analysis tool; symbolic execution; test-case generation; verification; Application software; Software testing; Visualization;
fLanguage
English
Journal_Title
Software, IEEE
Publisher
ieee
ISSN
0740-7459
Type
jour
DOI
10.1109/52.1996
Filename
1996
Link To Document