- Full text PDF available (8)
This paper introduces a new notation called S which is based on higher order logic. It has been developed specifically to support the practical application of formal methods in industrial scale projects. The development of S has occurred in the context of an investigation into the possibility of using formal specification techniques in the development of a… (More)
This paper presents a technique for automatically generating logical schemata that specify groups of black-box test cases from formal speciications containing universal and existential quantiication. These schemata are called test frames. Previous automated techniques have dealt with languages based on propositional logic. Since this new technique deals… (More)
SxsisÀypÀ4ssrÀ5yv wfse 6iewixÀypÀ5yw iÀQgsixgi ""ÀEesxÀEevv Texgy iÀ4ssrÀ5yv wfse 5exeheÀT"RÀX PeriyxÀQiwÀ5exeheÀDh
A partially automated process for generating tests has been experimentally applied to a formal speciication of a real world speciication for air traac separation minima. This report discusses the problems addressed by this process along with how and why this automation was achieved.
A partially automated process for generating tests has been experimentally applied to a portion of a real world system-level requirements speciication. This paper discusses the problems addressed by this process along with how and why this automation was achieved. The requirements were formalized using a notation designed to be readable by a large… (More)
This paper presents a new, alternate technique for automatically generating system-level requirements-based test specifications. The proposed technique does not require the construction of a mathematical model of the requirements. Instead, a parsable structuring of textual requirements is used to capture the logical relationships between conditions. The… (More)