A four-way framework for validating a specification

  • Authors:

  • Cyrille Dongmo;John A. van der Poll

  • Affiliations:

  • University of South Africa;University of South Africa

  • Venue:
  • SAICSIT '10 Proceedings of the 2010 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists
  • Year:
  • 2010

  • Evaluating software specifications by comparison

    Proceedings of the South African Institute of Computer Scientists and Information Technologists Conference on Knowledge, Innovation and Leadership in a Diverse, Multidisciplinary Environment

Quantified Score

Hi-index 0.00

Visualization

Abstract

The validation of a software specification may be viewed as a function of what the specification is to be used for and any comprehensive validation exercise needs to address possibly conflicting requirements. In this paper we develop a framework which embodies a 4-way validation strategy to develop and measure a specification against requirements from users, the application domain, restrictions in the notation and language and finally the operational system, obtained through appropriate refinement. Our framework is modelled on Boehm's spiral model and at each iteration of the spiral, the specification is validated in line with the evolving requirements of each of the above four aspects. The process continues until convergence is reached and no further amendments are made to the specification during a subsequent iteration. For each of the four aspects, a sequence of processes is defined to facilitate the validation of the specification from the viewpoint presented by the relevant aspect. The utility of our framework is illustrated through a case study in Object Z.