摘要: … However, in our theory, it is quite possible to test a program against an inconsistent specification, but the observable exhaustive test fails as soon as the program satisfies …
springer.com
core.ac.uk
sci-hub.st 参考文章(26)
Fernando Orejas, Marisa Navarro, Ana Sánchez, Implementation and Behavioural Equivalence: A Survey workshop on specification of abstract data types joint with compass workshop on recent trends in data type specification. pp. 93- 125 ,(1991) , 10.1007/3-540-56379-2_36
P. Dauchy, P. Ozello, Experiments with Formal Specifications on MAGGALY Applications of Advanced Technologies in Transportation Engineering. pp. 423- 427 ,(1991)
L. Bougé, N. Choquet, L. Fribourg, M. C. Gaudel, Application of PROLOG to test sets generation from algebraic specifications formal methods. pp. 261- 275 ,(1985) , 10.1007/3-540-15199-0_17
Marc Phalippou, Relations d'implantation et hypothèses de test sur des automates à entrées et sorties Bordeaux 1. ,(1994)
D. Evans, Using specifications to check source code ,(1994)
Bruno Marre, Marie-Claude Gaudel, Gilles Bernot, A Formal Approach to Software Testing algebraic methodology and software technology. pp. 243- 253 ,(1991)
Bruno Marre, LOFT: A Tool for Assisting Selection of Test Data Sets from Algebraic Specifications colloquium on trees in algebra and programming. pp. 799- 800 ,(1995) , 10.1007/3-540-59293-8_240
Stéphane Barbey, Didier Buchs, Testing Ada Abstract Data Types Using Formal Specifications international conference on reliable software technologies. ,vol. 887, pp. 76- 89 ,(1994) , 10.1007/3-540-58822-1_90
Daniel Pilaud, John Plaice, Paul Caspi, Nicolas Halbwachs, LUSTRE: A declarative language for programming synchronous systems* POPL. pp. 178- 188 ,(1987)