ProTest: An Automatic Test Environment for B Specifications

Electronic Notes in Theoretical Computer Science

Volumn 111, Issue SPEC. ISS., 2005, Pages 113-136

  Satpathy, Manoranjan ^a   Leuschel, Michael ^b   Butler, Michael ^b  

^a UNIVERSITY OF READING   (United Kingdom)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

B Method; Non Determinism; Specification Based Testing; Test Environment

Indexed keywords

B-METHOD; NON DETERMINISM; SPECIFICATION BASED TESTING; TEST ENVIRONMENT;

COMPUTER SOFTWARE; DATA FLOW ANALYSIS; ENCODING (SYMBOLS); GRAPH THEORY; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS;

AUTOMATIC TESTING;

EID: 11244324081     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.12.009     Document Type: Conference Paper

References (23)

1. J.-R. Abrial The B Book: Assigning Programs to Meanings 1996 Cambridge University Press
2. W.R. Adrion, M.A. Branstad, and J.C. Cherniavsky Validation, Verification and Testing of Computer Software ACM Computing Surveys 14 2 June 1982
3. Ambert, F., F. Bouquet, S. Chemin, S. Guenaud, B. Legeard, F. Peureux, N. Vacelet and M. Utting, BZ-TT: A Tool-Set for Test Generation from Z and B using Constraint Logic Programming, Formal Approaches to Testing of Software, Satellite Workshop of CONCUR02, August 24th, Brno, Czech Republic, 2002
4. S. Antoy, and D. Hamlet Automatically Checking an Implementation against its Formal Specification IEEE Transactions on Software Engineering 26 1 January 2000 55 69
5. Bernard, E., B. Legeard, X. Luck and F. Peureux, Generation of Test Sequences from Formal Specifications: GSM 11-11 Standard Case Study, Unpublished Draft
6. B. Beizer Black-Box Testing: Techniques for Functional Testing of Software and Systems 1995 John Wiley
7. D. Cabeza, and M. Hermenegildo The PiLLoW Web Programming Library 2001 The CLIP Group, School of Computer Science, Technical University of Madrid Available at http://www.clip.dia.fi.upm.es/
8. J. Canna Testing, fun? Really? (Using unit and functional tests in the development process), website http://www.106-ibm.com/developerworks/library/j- test.html
9. D. Carrington, and P. Stocks A Tale of Two Paradigms: Formal Methods and Software Testing J.P. Bowen J.A. Hall Proc. of the Eighth Z User Meeting 1994 Springer Verlag Cambridge
10. J. Dick, and A. Faivre Automating the generation and sequencing of test cases from modelbased specifications Proc. of the FME'93: Industrial Strength Formal Methods Europe LNCS 670 1993 268 284
11. E.W. Dijkstra A note on two problems in connection with graphs Numerische Mathematik vol. 1 1959
12. J. Gross, and J. Yellen Graph Theory and its Applications 1999 CRC Press
13. Hall, P.A.V., Relationship between Specifications and Testing, Information and Software Technology, Jan/Feb 1991
14. nd Edition 1990 Prentice Hall
15. B. Legeard, F. Peureux, and M. Utting Automated Boundary Testing from Z and B Proc. of the FME'02 (Formal Methods Europe) Conference LNCS No. 2391 2002 21 40
16. Leuschel, M., and M. Butler, ProB: A model-Checker for B, FM 2003: 12th International FME Symposium, Pisa, September 2003
17. D.J. Richardson, S.L. Aha, and T.O. O'Malley Specification-based Test oracles for Reactive Systems Proc. of the 14th ICSE 1992 ACM Press 105 118
18. Satpathy, M., R. Harrison, C. Snook, M. Butler, A Comparative Study of Formal and Informal Specifications through an Industrial Case Study, IEEE/IFIP Joint Workshop on Formal Specifications of Computer Based Systems, Washington DC, April 2001
19. Snook, C., and M. Butler, Verifying Dynamic Properties of UML Models by Translation to the B Language and Toolkit. In UML 2000 Workshop on Dynamic Behaviour in UML Models: Semantic Questions, October 2000
20. J.M. Spivey Understanding Z 1988 Cambridge University Press
21. P. Stocks, and D. Carrington A Framework for Specification-Based Testing IEEE Transactions on Software Engineering 22 11 1996 777 793
22. B. Tatibouet The JBTools Package available at; http://lifc.univ-fcomte. fr/PEOPLE/tatibouet/JBTOOLS/BParser_en.html 2001
23. E.J. Weyuker On Testing Nontestable Programs The computer Journal 25 4 1982 465 470