Generation of functional test sequences from B formal specifications - Presentation and industrial case-study

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 377-381

  Legeard, Bruno ^a   Peureux, Fabien ^a  

^a UNIVERSITÉ DE FRANCHE COMTÉ   (France)

Author keywords

B notation; ConstraintLogicProgramming; GSM11 11standard; Specification based testing

Indexed keywords

COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; FORMAL SPECIFICATION; LOGIC PROGRAMMING;

B NOTATION; CONSTRAINTLOGICPROGRAMMING; EQUIVALENT SYSTEM; FUNCTIONAL TEST SEQUENCES; GSM11-11STANDARD; INDUSTRIAL CASE STUDY; SPECIFICATION BASED TESTING; STATE-VARIABLES; SUBDOMAIN; TEST SEQUENCE;

SMART CARDS;

EID: 85116919201     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989833     Document Type: Conference Paper

References (16)

1. G. Bernot, M-C. Gaudel, and B. Marre. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal, 6(6):387-405, November 1991.
2. th Z User Meeting), pages 51-68, Cambridge, UK, June 1994.
3. J-R Abrial. The B-BOOK: Assigning Programs to Meaning. Cambridge University Press, 1996.
4. J. Jaffar and J-L. Lassez. Constraint Logic Programming. In Proceedings POPL'87, pages 111-119, Munich, Germany, January 1987. ACM Press.
5. A.Gotlieb, B.Botella, and M.Rueher. A CLP framework for computing structural test data. In Springer-Verlag, editor, Proceedings of the First International Conference on Computational Logic (CL'2000), pages 399-413, London, UK, July 2000.
6. C. Meudec. ATGen: automatic test data generation using constraint logic programming and symbolic execution. The Journal of Software Testing, Verification and Reliability, 11:81-96,2001.
7. H.Lotzbeyer and A.Pretschner. AutoFocus on constraint logic programming. In CL'2000 Workshop on (Constraint) Logic Programming and Software Engineering LPSE'2000, London, UK, July 2000.
8. th IEEE Int. Conf. on Automated Software Engineering (ASE'00), Grenoble, France, 2000.
9. E.Sekerinski and K.Sere. Program development by refinement - Case studies using the B method. Springer-Verlag, 1999. ISBN 1 85233 053 8.
10. F. Ambert, B. Legeard, and E. Legros. Constraint Logic Programming on Sets and Multisets. In Proceedings of ICLP'94 - Workshop on Constraint Languages and their use in Problem Modeling, pages 151-165, Ithaca, New York, November 1994.
11. F. Bouquet, B. Legeard, and F. Peureux. Constraint Logic Programming with sets for animation of B formal specifications. In CL'2000 Workshop on (Constraint) Logic Programming and Software Engineering LPSE'2000, London, July 2000.
12. European Telecommunications Standards Institute, F-06921 Sophia Antipolis cedex - France. GSM 11-11 V7.2.0 Technical Specifications, 1999.
13. A. Pretschner. Classical search strategies for test case generation with Constraint Logic Programming. In BRICS, editor, Proceedings of the Workshop on Formal Approaches to Testing of Software (FATES'01), pages 47-60, Aalborg, Denmark, August 2001.
14. J. Dick and A. Faivre. Automating the generation and sequencing of test cases from model-based specifications. FME'93: Industrial Strength Formal Methods Europe, LNCS 670:268-284,1993.
15. P.A. Stocks and D.A. Carrington. A framework for specification-based testing. IEEE Transaction in Software Engineering, 22(11):777-793, November 1996.
16. E. Bernard, B. Legeard, X. Luck, and F. Peureux. Generation of functional test sequences from B formal specifications using Constraint logic programming with sets - industrial case-study. Technical Report TFC01-01, LIFC - University of Franche-Comté, 2001.