Premium
Validating feature‐based specifications
Author(s) -
Turner Kenneth J.
Publication year - 2006
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.721
Subject(s) - computer science , notation , formal specification , specification language , programming language , language of temporal ordering specification , system requirements specification , feature (linguistics) , software requirements specification , software engineering , software , software development , linguistics , philosophy , software design
It is argued that specifications should be rigorously validated against requirements. This is useful to build confidence in a specification and to check a specification after it or the requirements have changed. The multiple‐use scenario test and refusal description (MUSTARD) is introduced as a means of formulating and formalizing validation scenarios. The practical use of MUSTARD on a number of case studies is introduced. The MUSTARD notation is then explained, using examples from Internet telephony to show how validation scenarios are written. The core MUSTARD constructs are augmented by domain‐specific vocabularies that adapt it for different kinds of systems. It is demonstrated how MUSTARD can validate specifications written in two standardized formal languages: language of temporal ordering specification (LOTOS) and specification and description language (SDL). Copyright © 2006 John Wiley & Sons, Ltd.