Applying mutation analysis to SDL specifications

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

Volumn 2708, Issue , 2003, Pages 269-284

  Kovács, Gábor ^a   Pap, Zoltán ^a   Le Viet, Dung ^a   Wu Hen Chang, Antal ^a   Csopaki, Gyula ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Conformance Testing; MSC; Mutation Analysis; SDL; Test Generation; Test Selection

Indexed keywords

COMPUTATIONAL LINGUISTICS; SPECIFICATIONS;

CONFORMANCE TESTING; MSC; MUTATION ANALYSIS; SDL; TEST GENERATIONS; TEST SELECTION;

SOFTWARE TESTING;

EID: 35248884444     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45075-0_16     Document Type: Article

References (25)

1. ITU-T. Recommendation Z.100 (08/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva.
2. R. L. Probert, F. Guo. Mutation Testing of Protocols: Principles and Preliminary Experimental Results. Proc. Protocol Test Systems, III., pages 57-76, 1991.
3. C.-J. Wang and M. T. Liu. Generating Test Cases for EFSM with Given Fault Model. INFOCOM 93, volume 2, pages 774-781, 1993.
4. S. C. P. F. Fabbri, J. C. Maldonado, M. E. Delamaro, P. C. Masiero Mutation Analysis Testing for Finite State Machine. Proc. ISSRE'94 - Fifth International Symposium on Software Reliability Engineering, pages 220-229, California, USA, 1994.
5. D. Lee, M. Yiannakakis. Principles and Methods of Testing Finite State Machines - A Survey. Proc. of the IEEE, 43(3):1090-1123, 1996.
6. S. R. S. Souza, J. C. Maldonado, S. C. P. F. Fabbri, W. Lopes De Souza. Mutation Testing Applied to Estelle Specifications. Software Quality Journal, 8(04), 2000.
7. S. C. P. F. Fabbri, J. C. Maldonado, P. C. Masiero, M. E. Delamaro, E. Wong. Mutation Testing Applied to Validate Specifications Based on Petri Nets. FORTE'95 - 8th International IFIP Conference on Formal Description Techniques for Distributed Systems and Communications Protocol, 1995.
8. S. C. P. F. Fabbri, J. C. Maldonado, T. Sugeta T, P. C. Masiero. Mutation Testing Applied to Validate Specifications Based on Statecharts. Proc. ISSRE'99 - 10th International Symposium on Software Reliability Engineering, pages 210-219, Florida, USA, 1999.
9. P. E. Ammann, P. E. Black, and W. Majurski. Using Model Checking to Generate Tests from Specifications. Second IEEE International Conference on Formal Engineering Methods, pages 46-54, 1998.
10. P. E. Black, V. Okun, Y. Yesha. Mutation Operators for Specifications. The Fifteenth IEEE International Conference on Automated Software Engineering, Proceedings ASE 2000, pages 81-88, 2000.
11. P. E. Ammann and P. E. Black. A Specification-based Coverage Metric to Evaluate Test Sets. Proceedings of Fourth IEEE International High-Assurance Systems Engineering Symposium (HASE 99), pages 239-248, 1999.
12. R. A. De Millo, R. J. Lipton, F. G. Sayward. Hints on Test Data Selection: Help for the Practicing Programmer. IEEE Computer, 11(4):34-41, April 1978.
13. P. G. Frankl, S. N. Weiss, C. Hu. All-uses versus mutation testing: An experimental comparison of effectiveness. Journal of Systems and Software, Sept 1997.
14. D. R. Kuhn. A Technique for Analyzing the Effects of Changes in Formal Specifications. The Computer Journal, 35(6):574-578, 1992.
15. D. R. Kuhn. Fault Classes and Error Detection in Specification Based Testing. ACM Transactions on Software Engineering Methodology, 8(4), October 1999.
16. A. J. Offutt. Investigations of the software testing coupling effect. ACM Transactions on Software Engineering and Methodology, 1(1):5-20, January 1992.
17. Telelogic Tau. http://www.telelogic.com.
18. ITU-T. Recommendation Z.120 (11/99), Message Sequence Chart (MSC). International Telecommunication Union, Geneva.
19. J. Grabowski, D. Hogrefe, R. Nahm. Test Case Generation with Test Purpose Specification by MSCs. North Holland, 1993.
20. J. Tretmans. Specification Based Testing with Formal Methods: A Theory. FORTE / PSTV 2000 Tutorial Notes, October 10 2000.
21. T. Csvndes, B. Kotnyek. A mathematical programming method in test selection. EUROMICRO 97, pages 8-13, 1997.
22. Jlex: A lexical analyzer generator for java. Princeton University, http://www.cs.princeton.edu/appel/modern/java/JLex/, 2000.
23. Cup parser generator for java. Princeton University, http://www.cs.princeton.edu/appel/modern/java/CUP/, 2000.
24. J. Ellsberger, D. Hogrefe, A. Sarma. SDL Formal Object-oriented Language for Communicating Systems. Prentice Hall, 1997.
25. th Int. Workshop on Testing of Communicating Systems, pages 179-196. Kluwer Academic Publishers, 1999.