Evaluating a Data Abstraction Testing System Based on Formal Specifications.

Abstract

A compiler-based specification and testing system for defining data types has been developed. The system, DAISTS, includes formal algebraic specifications and statement and expression test coverage monitors. This paper describes our initial attempt to evaluate the effectiveness of the system in helping users produce software containing fewer errors. In an exploratory study, subjects without prior experience with DAISTS were encouraged by the system to develop effective sets of test cases for their implementations. Furthermore, an analysis of the errors remaining in the implementations provided valuable hints about additional useful testing metrics. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1980
Accession Number
ADA097231

Entities

People

  • John D. Gannon
  • Paul R. Mcmullin

Organizations

  • University of Maryland

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Debugging
  • High Level Languages
  • Language
  • Programming Languages
  • Software Testing
  • Specifications
  • Standards
  • Students
  • Test And Evaluation
  • Test Methods
  • Test Sets
  • Universities

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Regression Analysis.
  • Software Engineering.