A comparison of the model-based & algebraic styles of specification as a basis for test specification

Authors:
Richard Denney
Affiliations:
Landmark Graphics Corp.Austin,TX
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
1996

Citing 12
Cited 1

Formal specification of interactive graphics programming languages

Formal specification of interactive graphics programming languages
Specification directed module testing

IEEE Transactions on Software Engineering
An Overview of Some Formal Methods for Program Design

Computer
Software engineering: planning for change

Software engineering: planning for change
Trace Specifications: Methodology and Models

IEEE Transactions on Software Engineering
A formal specification of the QMS message system: the underlying abstract model

The Computer Journal
Software testing techniques (2nd ed.)

Software testing techniques (2nd ed.)
Object-oriented modeling and design

Object-oriented modeling and design
Object-oriented development: the fusion method

Object-oriented development: the fusion method
The ASTOOT approach to testing object-oriented programs

ACM Transactions on Software Engineering and Methodology (TOSEM)
Data Abstraction, Implementation, Specification, and Testing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Art of Software Testing

Art of Software Testing

A property based specification formalism classification

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

The use of formal specifications as a basis for specifying functional tests has been discussed by a numbers of researchers with most work focusing on one style of specification or another separately. But is any single style an adequate basis for writing functional tests? The strengths, weaknesses and complementary nature of two popular styles of software specification, model-based and algebraic, are examined as a basis for functional test specification.