Title :
Generation of test data from algebraic specifications
Author :
Gaudel, M.-C. ; Marre, B.
Author_Institution :
Univ. of Paris-South, Orsay, France
Abstract :
As soon as formal specifications are used in software development, it becomes possible to use these specifications to generate implementation-independent test data. In the case of algebraic specifications, these specifications consist of a structured enumeration of properties required for the system. Thus, they provide a test strategy: for each required property, the program is used to test the formula which is supposed to be valid
Keywords :
program testing; software engineering; specification languages; algebraic specifications; formal specifications; software development; test data; Automatic testing; Delay; Equations; Formal specifications; Logic programming; Software testing; System testing;
Conference_Titel :
Software Testing, Verification, and Analysis, 1988., Proceedings of the Second Workshop on
Conference_Location :
Banff, Alta.
Print_ISBN :
0-8186-0868-4
DOI :
10.1109/WST.1988.5367
