Mutation Testing Applied to Estelle Specifications

Software Quality Journal

Volumn 8, Issue 4, 1999, Pages 285-301

  Senger De Souza, Simone Do Rocio ^a,b   Maldonado, José Carlos ^b,d,e,f   Fabbri, Sandra Camargo Pinto Ferraz ^b,c,e,g   Lopes De Souza, Wanderley ^c,e,h,i,j,k  

^a STATE UNIVERSITY OF PONTA GROSSA   (Brazil)

^b UNIVERSITY OF SÃO PAULO   (Brazil)

^c FEDERAL UNIVERSITY OF SÃO CARLOS   (Brazil)

^d INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS   (Brazil)

^e UNIVERSITY OF CAMPINAS   (Brazil)

^f IEEE   (Brazil)

^g University of São Paulo ^*  (Brazil)

^h UNIV MONTPELLIER   (France)

ⁱ FEDERAL UNIVERSITY OF PARAÍBA   (Brazil)

^j IEEE Computer Society ^*  (United States)

^k Brazilian Computer Society   (Brazil)

more..

Author keywords

Estelle; Mutation testing; Specification based testing

Indexed keywords

SPECIFICATIONS; WELL TESTING;

BASED SPECIFICATION; EFFECTIVE TESTING; ESTELLE; FAULT MODEL; MUTATION TESTING; PROGRAM TESTING; SPECIFICATION BASED TESTING; VALIDATION STRATEGIES;

SOFTWARE TESTING;

EID: 0442311983     PISSN: 09639314     EISSN: 15731367     Source Type: Journal    
DOI: 10.1023/a:1008978021407     Document Type: Article

References (28)

1. Agrawal, H., et al. 1989. Design of mutant operators for the C programming language. Purdue University, Purdue, TR SERC-TR-41-P.
2. Amer, P.D., Sethi, A.S., and Fecko, M. 1997. Formal design and testing of army communication protocols based on Estelle. Proc. 1st ARL/ATIRP Conf., College Park, pp. 107-114.
3. Barbosa, E.F., Vincenzi, A.M.R., and Maldonado, J.C. 1998. A contribution for the determination of an essential mutant operator set for C programs. Proc. XII SBES'98 - Brazilian Software Engineering Symp., Maringá, PR, Brazil (in Portuguese).
4. Bochmann, G.v., and Petrenko, A. 1994. Protocol testing: review of methods and relevance for software testing. Proc. ISSTA'94 - Int. Symp. Software Testing and Analysis, ACM Software Engineering Notes, pp. 109-124.
5. Budkowski, S., and Dembinski, P. 1987. An introduction to Estelle: a specification language for distributed systems, Compu. Network ISDN Syst., 14(1): 3-23.
6. Chow, T.S. 1978. Testing software design modeled by finite-state machines, IEEE Trans. Software Eng. SE-4(3): 178-187.
7. Delamaro, M.E. 1993. Proteum - a test environment based on the mutation analysis. M.Sc. thesis, ICMC/USP, São Carlos, SP, Brazil (in Portuguese).
8. Delamaro, M.E. 1997. Interface mutation: an inter-procedural adequacy criterion for integration testing. Ph.D. thesis, IFSC/USP, São Carlos, SP, Brazil (in Portuguese).
9. Delamaro, M.E., Maldonado, J.C., and Mathur, A.P. 2000. Interface mutation: an approach for integration testing, IEEE Trans. Software Eng. to appear.
10. DeMillo, R.A., Lipton, R.J., and Sayward, F.G. 1978. Hints on test data selection: help for the practicing programmer, IEEE Comput. 11(4): 34-41.
11. DeMillo, R.A. 1980. Mutation analysis as a tool for software quality assurance. Proc. COMPSAC 80, Chicago, IL.
12. Fabbri, S.C.P.F., Maldonado, J.C., Delamaro, M.E., and Masiero, P.C. 1994. Mutation analysis testing for finite state machine. Proc. ISSRE'94 - Fifth Int. Symp. Software Reliability Eng., California, USA, pp. 220-229.
13. Fabbri, S.C.P.F., Maldonado, J.C., Masiero, P.C., Delamaro, M.E., and Wong, E. 1995. Mutation testing applied to validate specifications based on Petri nets. Proc. FORTE'95 - 8th Int. IFIP Conf. Formal Description Techniques for Distributed Sys. Commun. Protocol, Montreal, Canada.
14. Fabbri, S.C.P.F., Maldonado, J.C., Sugeta, T., and Masiero, P.C. 1999. Mutation testing applied to validate specifications based on Statecharts. Proc. ISSRE'99 - 10th Int. Symp. Software Reliability Eng., Florida, pp. 210-219.
15. Fecko, M.A., Uyar, M.U., Amer, P.D., and Sethi, A.S. 1998. Optimum test sequence generation from Estelle specifications. Proc. Estelle'98, Paris.
16. Henniger, O., Ulrich, A., and König, H. 1995. Transformation of Estelle modules aiming at test case generation. Proc. IWPTS'95 - IFIP Int. Workshop on Protocol Test Syst., Paris, pp. 45-60.
17. ISO/TC97/SC21/WG1/DIS9074. 1987. Estelle - a formal description technique based on an extended state transition model.
18. Lopes de Souza, W. 1989. Estelle: a technique for the formal description of services and communication protocols, Rev. Bras. Comput. SBC 5(1).
19. Myers, G. 1979. The Art of Software Testing. New York, Wiley.
20. Offutt, A.J., Lee, A., Rothermel, G., Untch, R.H., and Zapf, C. 1996. An experimental determination of sufficient mutant operators. ACM Trans. Software Eng. Methodol. 5(2): 99-118.
21. Probert, R.L., and Guo, F. 1991. Mutation testing of protocols: principles and preliminary experimental results. In Davidson, I., and Litwack, D.W., Eds. Proc. Protocol Test Systems, III, North-Holland, pp. 57-76.
22. Rapps, S., and Weyuker, E.J. 1985. Selecting software test data using data flow information. IEEE Trans. Software Eng. 11(4): 367-375.
23. Simão, A.S. 2000. Proteum-Rs/PN: a tool to support the validation of Petri Net specification based on the Mutation Testing. M.Sc. thesis, ICMC/USP, São Carlos, SP, Brazil (in preparation).
24. Tracz, W. 1996. Test and analysis of software architectures. Proc. ISSTA'96 - Int. Symp. Software Testing and Anal., ACM Software Engineering Notes, pp. 1-3.
25. Ural, H. 1992. Formal methods for test sequence generation, Comput. Commun. 15(5): 311-325.
26. Weyuker, E., Goradia, T., and Singh, A. 1994. Automatically generating test data from a boolean specification, IEEE Trans. Software Eng. 20(5): 353-363.
27. Wong, W.E., Maldonado, J.C., and Mathur, A.P. 1994. Mutation versus all-uses: an empirical evaluation of cost, strength and effectiveness. Proc. First IFIP / SQI Int. Conf. Software Quality and Productivity, Hong Kong.
28. Wong, W.E., and Mathur, A.P. 1995. Reducing the cost of mutation testing: an empirical study, J. Syst. Software 31: 185-196.