Formal Notation for Metric Space Based Software Testing Strategy

Abstract

We present the development of a formal requirements specification notation that is suitable for the specification of variety of systems with diverse requirements. The motivation for defining such requirements specification notation is to provide a notation that is accessible to people from different backgrounds. Tools support such as tools based on metric space are extremely valuable in the effort to make the requirements specification phase of software development efficient, simple, and economical.  Here we present a Formal Notation for Requirements Specification (FRS) which facilitates the improvement in quality and the reduced inspection time so that the requirements specifications cost less to create. Based upon the proposed FRS we design and present a simple test suit as an example.