Specification coverage for testing in circus
作者： Ana Cavalcanti , Marie-Claude Gaudel
DOI: 10.1007/978-3-642-16690-7_1
关键词: Computer science 、 Programming language 、 Operational semantics 、 Selection rule 、 Nondeterministic algorithm 、 Relational model 、 Soundness 、 Transition system 、 Artificial intelligence 、 Process calculus 、 Structure (mathematical logic)
摘要: The Unifying Theories of Programming underpins the development Circus, a state-rich process algebra for refinement. We have previously presented theory testing Circus; it gives symbolic characterisation tests. Each test specifies constraints that capture effect possibly nondeterministic state operations, and their interaction. This is sound basis techniques based on constraint solving generation concrete tests, but does not support well selection criteria structure specification. present here labelled transition system captures information about Circus model its structure. It useful specification coverage. soundness argument new follows UTP style, relates relation to relational operational semantics.
springer.com
harvard.edu
sci-hub.st 参考文章(40)
Carl Sunshine, Protocol specification, testing, and verification Computer Networks. ,vol. 6, pp. 375- 376 ,(1982) , 10.1016/0376-5075(82)90108-8
Will Harwood, Ana Cavalcanti, Jim Woodcock, A Theory of Pointers for the UTP Theoretical Aspects of Computing - ICTAC 2008. pp. 141- 155 ,(2008) , 10.1007/978-3-540-85762-4_10
Theoretical aspects of computing - ICTAC 2008 Lecture Notes in Computer Science. ,(2008) , 10.1007/978-3-540-85762-4
Carroll Morgan, Programming from specifications (2nd ed.) Prentice Hall International (UK) Ltd.. ,(1994)
Marie-Claude Gaudel, Testing Can Be Formal, Too colloquium on trees in algebra and programming. pp. 82- 96 ,(1995) , 10.1007/3-540-59293-8_188
Ana Cavalcanti, Marie-Claude Gaudel, A note on traces refinement and the conf relation in the unifying theories of programming unifying theories of programming. pp. 42- 61 ,(2008) , 10.1007/978-3-642-14521-6_4
Carroll Morgan, Programming from specifications Prentice-Hall, Inc.. ,(1990)
Thiago Santos, Ana Cavalcanti, Augusto Sampaio, Object-Orientation in the UTP Unifying Theories of Programming. pp. 18- 37 ,(2006) , 10.1007/11768173_2
Jim Woodcock, Jim Davies, Using Z: Specification, Refinement, and Proof ,(1996)
Ana Cavalcanti, Marie-Claude Gaudel, Testing for refinement in CSP formal methods. ,vol. 4789, pp. 151- 170 ,(2007) , 10.1007/978-3-540-76650-6_10