摘要: Abstract There has been a lot of research on testing based formal specifications, especially in the area communication protocols. Most approaches take as starting point some finite model required behaviours system under test, such Finite State Machines. This paper discusses problems that arise when underlying specification is not finite.
elsevier.com
sci-hub.se 参考文章(13)
Patrícia D. L. Machado, On Oracles for Interpreting Test Results against Algebraic Specifications algebraic methodology and software technology. pp. 502- 518 ,(1999) , 10.1007/3-540-49253-4_35
D. Lee, M. Yannakakis, Principles and methods of testing finite state machines-a survey Proceedings of the IEEE. ,vol. 84, pp. 1090- 1123 ,(1996) , 10.1109/5.533956
T.S. Chow, Testing Software Design Modeled by Finite-State Machines IEEE Transactions on Software Engineering. ,vol. SE-4, pp. 178- 187 ,(1978) , 10.1109/TSE.1978.231496
R. M. Burstall, John Darlington, A Transformation System for Developing Recursive Programs Journal of the ACM. ,vol. 24, pp. 44- 67 ,(1977) , 10.1145/321992.321996
Marie-Claude Gaudel, Perry R. James, Testing algebraic data types and processes : A unifying theory formal methods for industrial critical systems. ,vol. 10, pp. 436- 451 ,(1998) , 10.1007/S001650050026
Jan Tretmans, Test Generation with Inputs, Outputs and Repetitive Quiescence Software - Concepts and Tools. ,vol. 17, pp. 103- 120 ,(1996)
Ed Brinksma, Jan Tretmans, Testing Transition Systems: An Annotated Bibliography Lecture Notes in Computer Science. pp. 187- 195 ,(2000) , 10.1007/3-540-45510-8_9
Gilles Bernot, Marie Claude Gaudel, Bruno Marre, Software testing based on formal specifications: a theory and a tool Software Engineering Journal. ,vol. 6, pp. 387- 405 ,(1991) , 10.1049/SEJ.1991.0040
R. De Nicola, M.C.B. Hennessy, Testing equivalences for processes Theoretical Computer Science. ,vol. 34, pp. 83- 133 ,(1984) , 10.1016/0304-3975(84)90113-0
John Gannon, Paul McMullin, Richard Hamlet, Data Abstraction, Implementation, Specification, and Testing ACM Transactions on Programming Languages and Systems. ,vol. 3, pp. 211- 223 ,(1981) , 10.1145/357139.357140