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

Original languageEnglish (US)
Pages (from-to)72-79
Number of pages8
JournalIEEE Software
Volume5
Issue number1
DOIs
StatePublished - Jan 1988

Fingerprint

Software reliability
Static analysis

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Software

Cite this

TEST-CASE GENERATION WITH IOGEN. / Lindquist, Timothy; Jenkins, Joyce R.

In: IEEE Software, Vol. 5, No. 1, 01.1988, p. 72-79.

Research output: Contribution to journalArticle

Lindquist, Timothy ; Jenkins, Joyce R. / TEST-CASE GENERATION WITH IOGEN. In: IEEE Software. 1988 ; Vol. 5, No. 1. pp. 72-79.
@article{b15e589bc342477b8d93f68f2ef13def,
title = "TEST-CASE GENERATION WITH IOGEN.",
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).",
author = "Timothy Lindquist and Jenkins, {Joyce R.}",
year = "1988",
month = "1",
doi = "10.1109/52.1996",
language = "English (US)",
volume = "5",
pages = "72--79",
journal = "IEEE Software",
issn = "0740-7459",
publisher = "IEEE Computer Society",
number = "1",

}

TY - JOUR

T1 - TEST-CASE GENERATION WITH IOGEN.

AU - Lindquist, Timothy

AU - Jenkins, Joyce R.

PY - 1988/1

Y1 - 1988/1

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

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

UR - http://www.scopus.com/inward/record.url?scp=0023842739&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0023842739&partnerID=8YFLogxK

U2 - 10.1109/52.1996

DO - 10.1109/52.1996

M3 - Article

VL - 5

SP - 72

EP - 79

JO - IEEE Software

JF - IEEE Software

SN - 0740-7459

IS - 1

ER -