Scenario-based test case generation using Event-B models

1st International Conference on Advances in System Testing and Validation Lifecycle, VALID 2009

Volumn , Issue , 2009, Pages 31-37

  Malik, Qaisar A ^a   Lilius, Johan ^a   Laibinis, Linas ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT MODELS; AUTOMATIC GENERATION; EVENT-B; FORMAL DEVELOPMENT; FORMAL FRAMEWORK; FORMAL MODEL; JAVA IMPLEMENTATION; MODEL BASED TESTING; SYSTEM MODELS; TEST CASE; TEST CASE GENERATION; TEST-CASE GENERATION PROCESS;

MODEL STRUCTURES; REFINING; SYSTEM THEORY;

ABSTRACTING;

EID: 72349084899     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/VALID.2009.22     Document Type: Conference Paper

References (20)

1. M. Utting and B. Legeard, Practical Model-Based Testing. Morgan Kaufmann Publishers, 2006.
2. Q. A. Malik, J. Lilius, and L. Laibinis, "Model-Based Testing Using Scenarios and Event-B Refinements," in Methods, Models and Tools for Fault Tolerance, LNCS Vol. 5454. Springer-Verlag, 2009, pp. 177-195.
3. J.-R. Abrial, "A System Development Process with Event-B and the Rodin Platform," in ICFEM, 2007, pp. 1-3.
4. E. Bernard, B. Legeard, X. Luck, and F. Peureux, "Generation of test sequences from formal specifications: Gsm 11-11 standard case study," Softw. Pract. Exper., vol. 34, no. 10, pp. 915-948, 2004.
5. J. Dick and A. Faivre, "Automating the generation and sequencing of test cases from model-based specifications," in FME '93: Proc. of 1st Int. Symposium of Formal Methods Europe. London, UK: Springer-Verlag, 1993, pp. 268-284.
6. C. A. R. Hoare, Communicating sequential processes. Prentice-Hall, Inc., 1985.
7. A. Roscoe, The theory and practice of concurrency. Prentice Hall, 1998 amended 2005.
8. M. Leuschel and M. Butler, "ProB: A model checker for B." Proc. of FME 2003, Springer-Verlag LNCS 2805, pages 855-874., 2003.
9. J.-R. Abrial, The B-Book. Cambridge University Press, 1996.
10. M. Satpathy, M. Leuschel, and M. J. Butler, "ProTest: An automatic test environment for B specifications," Electr. Notes Theor. Comput. Sci., vol. 111, pp. 113-136, 2005.
11. S. Nogueira, A. Sampaio, and A. Mota, "Guided test generation from csp models," in ICTAC, 2008, pp. 258-273.
12. P. D. Stotts, M. Lindsey, and A. Antley, "An informal formal method for systematic junit test case generation," in XP/Agile Universe, 2002, pp. 131-143.
13. M. Satpathy, Q. A. Malik, and J. Lilius, "Synthesis of Scenario Based Test Cases from B Models." in FATES/RV, 2006, pp. 133-147.
14. R.-J. Back and J. von Wright, "Refinement calculus, part i: Sequential nondeterministic programs," in REX Workshop, 1989, pp. 42-66.
15. "Rigorous Open Development Environment for Complex Systems," iST FP6 STREP project, online at http://rodin.cs.ncl.ac.uk/.
16. "JUnit 4," http://www.junit.org.
17. C. Beust and H. Suleiman, Next Generation Java Testing: TestNG and Advanced Concepts, http://www.testng.org/.
18. P. Ammann and J. Offutt, Introduction to Software Testing. Cambridge University Press, 2008.
19. "EclEmma - Java Code Coverage for Eclipse," http://www.eclemma.org/.
20. G. T. Leavens and A. L. Baker, "Enhancing the pre- and postcondition technique for more expressive specifications," in In FM99: World Congress on Formal Methods. Springer, 1999, pp. 1087-1106.