kirancodes.me
To Proof Maintenance & Beyond!
ASE 1998

ADLscope: An Automated Specification-based Unit Testing Tool

Juei Chang, Debra J. Richardson

PDFDOI 10.1109/ase.1998.732682dblp

Abstract

Specification-based testing is important because it relates directly to what the program is supposed to do and can detect certain errors that are often not detected by traditional code-based testing techniques such as branch coverage and statement coverage. We have developed an automated testing tool, called ADLscope, that utilizes the formal specification of a program unit as the basis for test coverage measurement. A tester uses ADLscope to test application programming interfaces (APIs) written in the C programming language. The API must be formally specified in the Assertion Definition Language (ADL). The tester uses ADLscope to generate coverage conditions from a program's ADL specifications. When the API is tested, ADLscope automatically measures how many of the coverage conditions have been covered by the tests.

BibTeX
@inproceedings{Chang-Richardson:ASE98,
  author    = {Juei Chang and
               Debra J. Richardson},
  title     = {{ADLscope:} An Automated Specification-based Unit Testing Tool},
  booktitle = {ASE},
  pages     = {289--292},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
}

Related papers