Automatic testing from formal specifications

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

Volumn 4454 LNCS, Issue , 2007, Pages 95-113

  Satpathy, Manoranjan ^a,e   Butler, Michael ^b   Leuschel, Michael ^c   Ramesh, S ^d  

^a ÅBO AKADEMI UNIVERSITY   (Finland)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^c HEINRICH HEINE UNIVERSITY   (Germany)

^d GM Research Lab   (United States)

^e GENERAL MOTORS CORPORATION   (United States)

Author keywords

B method; Model based testing; Non determinism

Indexed keywords

FORMAL LANGUAGES; JAVA PROGRAMMING LANGUAGE; SPECIFICATION LANGUAGES;

MODEL BASED TESTING; NON DETERMINISM; TESTING CYCLES;

AUTOMATIC TESTING;

EID: 38049083966     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73770-4_6     Document Type: Conference Paper

References (25)

1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Bernard, E., Legeard, B., Luck, X., Peureux, F.: Generation of test sequences from formal specifications: GSM 11-11 standard case study. Software Practice and Experience 34(10), 915-948 (2004)
3. Colin, S., Legeard, B., Peureux, F.: Preamble computation in automated test case generation using constraint logic programming. Software Testing Verification and Reliability, John Wiley 14, 213-235 (2004)
4. Dick, J., Faivre, A.: Automating the Generation and Sequencing of Test Cases from Model-based Specifications. In: Larsen, P.G., Woodcock, J.C.P. (eds.) FME 1993. LNCS, vol. 670, pp. 268-284. Springer, Heidelberg (1993)
5. Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model Based Testing in Practice. In: Proc. of ICSE '99 (1999)
6. El-Far, I.K., Whittaker, J.A.: Model Based Software Testing. In: Marciniak, J.J. (ed.) Encyclopedia on Software Engineering, John Wiley, Chichester (2001)
7. Gannon, J.D., Hamlet, R.G., Mills, H.D.: Theory of modules. IEEE Transactions on Software Engineering 13(7), 820-829 (1987)
8. Garey, M.R., Johnson, D.S.: Computers and Intractability. W. H. Freeman and Company, New York (1979)
9. Gurevich, Y.: Sequential Abstract-State Machines Capture Sequential Programs. ACM Transaction on Computational Logic 1(1), 77-111 (2000)
10. Hierons, R.M.: Testing from a Non-deterministic Finite State Machine using Adaptive State Counting. IEEE Transactions on Computers 53(10), 1330-1342 (2004)
11. Hierons, R.M.: Applying Adaptive Test Cases to Non-deterministic Implementations. Information Processing Letters 98(2006), 56-60 (2006)
12. Jones, C.B.: Systematic Software Development using VDM, 2nd edn. Prentice-Hall, Englewood Cliffs (1990)
13. Lee, D., Yannakakis, M.: Principles and Methods of Testing Finite State Machines: A survey. Proc. of the IEEE 80(8), 1090-1123 (1996)
14. Legeard, B., Peureux, F., Utting, M.: Automatic Boundary Testing from Z and B. In: Eriksson, L.-H., Lindsay, P.A. (eds.) FME 2002. LNCS, vol. 2391, pp. 21-40. Springer, Heidelberg (2002)
15. Legeard, B., Peureux, F., Utting, M.: Controlling test case explosion in test generation from B formal models. In: Software Testing, Verification and Reliability, pp. 81-103. John Wiley, Chichester (2004)
16. Leuschel, M., Butler, M.: ProB: A Model Checker for B. In: Araki, K., Gnesi, S., Mandrioli, D. (eds.) FME 2003. LNCS, vol. 2805, pp. 855-874. Springer, Heidelberg (2003)
17. Nachmanson, L., Veanes, M., Schulte, W., Tillmann, N., Grieskamp, W.: Optimal Strategies for Testing Nondeterministic Systems. In: ACM ISSTA'04, Boston, ACM Press, New York (July 2004)
18. Panzl, D.J.: Automatic Software Test Drivers. IEEE Computer 11(4) (1978)
19. Richardson, D.J., Leif Aha, A., O'Malley, T.O.: Specification-based Test Oracles for Reactive Systems. In: Proc. of the 14th ICSE, Melbourne, pp. 105-118 (1992)
20. Satpathy, M., Butler, M., Ramesh, S., Leuschel, M.: Automatic Testing of Formal Specifications, Technical Report 792, Abo Akademi University, Turku, Finland (2006), available at: http://www.tucs.fi/publications
21. Satpathy, M., Leuschel, M., Butler, M.: ProTest: An Automatic Test Environment for B Specifications. Electronic Notes on TCS (ENTCS), vol. 111, pp. 113-136 (2005)
22. Spivey, J.M.: Understanding Z. Cambridge University Press, Cambridge (1988)
23. Yannakakis, M., Lee, D.: Testing Finite State Machines: Fault Detection. Journal of Computer and System Sciences 50, 209-277 (1995)
24. Zhang, F., Cheung, T.: Optimal Transfer Trees and Distinguishing Trees for Testing Observable Nondeterministic Finite State Machines. IEEE Transactions on Software Engineering 29(1), 1-14 (2003)
25. Zhu, H., Hall, P.A.V., May, J.H.R.: Software Unit Test Coverage and Adequacy. ACM Computing Surveys 29(4), 366-427 (1997)