Synthesis of scenario based test cases from B models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4262 LNCS, Issue , 2006, Pages 133-147

  Satpathy, Manoranjan ^a   Malik, Qaisar A ^a   Lilius, Johan ^a  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

Author keywords

B method; Model based testing; Scenarios

Indexed keywords

MODEL CHECKING; SPECIFICATIONS; TESTING;

B METHOD; INPUT SPACE; MODEL BASED TESTING; MODEL-BASED TESTING APPROACHES; MODEL-ORIENTED LANGUAGES; SCENARIO-BASED; SCENARIOS; SYMBOLIC EXECUTION;

SOFTWARE TESTING;

EID: 38849096754     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11940197_9     Document Type: Conference Paper

References (18)

1. Abrial J.-R. (1996). The B-Book: Assigning Programs to Meanings, Cambridge University Press.
2. Bernard E., Legeard B., Luck X., Peureux F. (2004). Generation of test sequences from formal specifications: GSM 11-11 standard case study, Software Practice and Experience, Volume 34 (10) , pp. 915 - 948.
3. Dick, J.; Faivre, A. (1993). Automating the Generation and Sequencing of Test Cases from Model-based Specifications, Proc. of the FME,03: Industrial Strength Formal Methods, LNCS 670, 1993, pp. 268-284.
4. Dalai, S.R., Jain A., Karunanithi, N., Leaton J.M., Lott C.M., Patton G.C., Horowitz B.M. (1999). Model Based Testing in Practice, Proc. of ICSE '99, Los Angeles, pp. 285-294.
5. Derrick, J., Boiten, E. (1999). Testing refinements of state-based formal specifications, Software Testing, Verification and Reliability, John Wiley, (9):27-50.
6. Dunne S. (2005). Introducing Backward Refinement into B, Proc. of ZB 2003, LNCS Volume 2651, Springer, pp. 178-196.
7. Garey, M.R., Johnson, D.S. (1979). Computers and Intractability, W. H. Freeman and Company.
8. He, J., Hoare C.A.R., Sanders, J.W. (1986). Data refinement refined, ESOP 1986, LNCS Volume 213, Springer; pp. 187-196.
9. Jones, C.B. (1990). Systematic Software Development using VDM (2nd Edn), Prentice Hall.
10. Leuschel, M., Butler M. (2005). Automatic Refinement Checking for B, Proc. of ICFEM'05, LNCS Volume 3785, Springer, pp. 345-359.
11. Metayer, C., Abrial,J.-R., Voisin, L. (2005). Event-B Language, RODIN deliverable 3.2, http://rodin.cs.cnl.ac.uk
12. OMG . (2005). Unified Modeling Language (UML), Version 2.0, The Object Management Group, website: www.omg.org
13. Plosch, R. (2004). Contracts, Scenarios and Prototypes, Springer Verlag.
14. Richardson D.J., Leif Aha A., O'Malley T.O. (1992). Specification-based Test Oracles for Reactive Systems, Proc. of the 14th ICSE, Melbourne, pp. 105-118.
15. Satpathy, M., Leuschel, M., Butler,M. (2005). ProTest: An Automatic Test Environment for B Specifications, ENTCS, 111, pp: 113-136.
16. Spivey, J.M. (1988). Understanding Z, Cambridge University Press.
17. Van Glabbeek, R.J., Weijland, W.P. (1996). Branching Time and Abstraction in Bisimulation Semantics, Journal of the ACM, 43(3): 555-600.
18. Zhu, H., Hall P.A.V., May J.H.R. (1997). Software Unit Test Coverage and Adequacy, ACM Computing Surveys, 29(4):366-427.