A safe regression testing approach for safety critical systems

Advances in Engineering Software

Volumn 42, Issue 8, 2011, Pages 586-594

  Qaisar, Zahid Hussain ^a   Rehman, Shafiq Ur ^b  

^a UNIVERSITY OF CENTRAL PUNJAB   (Pakistan)

^b RIPHAH INTERNATIONAL UNIVERSITY   (Pakistan)

Author keywords

Changed identification; Formal specification based regression testing; Regression testing; Test suite selection; Test suite selection for regression testing; VDM specification; VDM specification based testing

Indexed keywords

FORMAL METHODS; JAVA PROGRAMMING LANGUAGE; MAINTENANCE; REGRESSION ANALYSIS; REUSABILITY; SAFETY TESTING; SPECIFICATIONS;

CHANGED IDENTIFICATION; FORMAL SPECIFICATION; REGRESSION TESTING; TEST SUITE SELECTION; VDM SPECIFICATION; VDM SPECIFICATION BASED TESTING;

SOFTWARE TESTING;

EID: 79958248040     PISSN: 09659978     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.advengsoft.2011.04.007     Document Type: Article

References (33)

1. Martin H, Horcher M. Improving software tests using Z specifications. In: Proceedings of the 9th international conference of Z users on the Z formal specification notation; 1995. p. 152-66.
2. Rennard JP. Introduction to genetic algorithms a reference book; 2000. p. 199-203.
3. Aichernig BK. Automated black-box testing with abstract VDM Oracles. Technical University of Graz, Institute for Software Technology (IST), Miinzgrabenstr.11/II, A-8010 Graz, Austria; 1999. p. 250-9.
4. Li Y, Wahi NJ. An overview of regression testing ACM SIGSOFT software engineering notes, vol. 24, no. 1; 1999. p. 69-73.
5. Liang H. Regression testing of classes based on TCOZ specifications. In: Proceedings of the 10th IEEE international conference on engineering of complex computer systems (ICECCS'05), vol. 00; 2005. p. 450-7. (Pubitemid 41495773)
6. Xu L, Dias M, Richardson D. Generating regression tests via model checking. In: Proceedings of the 28th annual international computer software and applications conference (COMPSAC'04), vol. 01; 2004. p. 336-41. (Pubitemid 40673874)
7. Beydeda S, Gruhun V. 2002. Class specification implementation graphs and their application in regression testing. Computer software and applications conference, COMPSAC 2002. In: Proceedings. 26th annual international; 2002. p. 835-40.
8. Singh H, Mirko Sadegh. Test case design based on Z and classification tree method. In: First IEEE international conference on formal engineering methods system technology research, Berlin, Germany; 1997.
9. Droschl G. Design and application of a test case generator for VDM-SL. Austrian research center seibersdorf and IST-Technical University of Graz.miizgrabenstr.11, 8010 Graz, Austria, Europe; 1999 [no paging].
10. Nadeem A, Jaffar M. TESTAF: A test automation framework for class testing using object-oriented formal specification, Center for Software Dependability. Pakistan: Muhammad Ali Jinnah University Islamabad; 2005.
11. Hierons RM, Harman M, Singh H. Automatically generating information from Z specification to support the classification tree method. In: Proceedings of the third international conference of Z and B Users, ZB; 2003 [no paging].
12. CSK Corporation. VDM++ toolbox user manual revised for V 6.8.1; 2005.
13. A. Nadeem, and M. Jaffar TESTAF: a test automation framework for class testing using object-oriented formal specification J Univ Comput Sci 11 6 2005 962 985 (Pubitemid 41151457)
14. Wookcock J, Davies J. Using Z specification, refinement and proof; 1998 [no paging].
15. Meudec C. Automatic test data generation from VDM-SL specifications. Northern Ireland: Queen's University of Belfast; 1999/2000 [no paging].
16. Berg MVM, Wigmans Verhoe M. Formal specification of an auctioning system using VDM++ and UML, an industrial usage report. Chess information technology, P.O. Box 5021, 2000 C.A. Haarlen, The Netherlands; 1999 [no paging].
17. Amayreh A, Zin AM. PROBE: a formal specification-based testing system. In: Proceeding of the 20th international conference on information systems; 1999. p. 400-4.
18. Agerholm SPJ, Lecoreur, Reichert E. Formal specification and validation at work: a case study using VDM-SL, IFAD Forskerparken 10 DK-5230 Odnese M, Denmark; 1998 [no paging].
19. Chakrabarti SK, Srikant YN. Specification based regression testing using explicit software engineering advances. In: International conference; October 2006. p. 20.
20. Chakrabarti SK, Srikant YN. Test sequence computation for regression testing of reactive India Software Engineering Conference. In: Proceedings of the 1st conference on India software engineering conference, Hyderabad, India; 2008. p. 131-2.
21. Chen CR, Chapman, Chang KH. Test scenario and regression test suite generation from object-z formal specification for object oriented program testing. In: Proceedings of the 37th annual southeast regional conference (CD-ROM), article no. 37; 1999 [no paging].
22. Burton S, York H. Automated testing from formal specification. Department Of Computer Science, University Of York, YO10 5DD, England; 2000 [no paging].
23. Chen YRL, Probert, Ural H. 2007. Model-based regression test suite generation using dependence analysis. In: Proceedings of the 3rd international workshop on advances in model-based testing; 2007. p. 54-62. (Pubitemid 351204017)
24. Fraser G, Aichernig BK, Wotawa F. handling model changes: regression testing and test-suite update with [16] Model-Checkers Institute for Software Technology Graz University of Technology Inffeldgasse 16b/2A-8010 Graz, Austria; 2007.
25. Foxley E, Salam O. Automatic assessment of Z specification annual joint conference integrating technology in Comp. Science Education; 1997. p. 121-31.
26. Heimdahl MPE, George D. Test-suite reduction for model based tests: effects on test quality and implications for testing Automated Software Engineering. In: Proceedings of 19th international conference on vols. 20-24; September 2004. p. 176-85.
27. Horcher HM. Improving software tests using Z specifications. In: Bowen JP, Hinchey MG, editors. ZUM'95: the formal specification notation, vol. 967. Springer-Verlag, Lecture Notes in Computer Science; 1996. p. 152-66.
28. Horcher HM, Bowen JP, Hinchey MG. Improving software tests using Z specifications. The formal specification notation, vol. 967. Lecture Notes in Computer Science, Springer-Verlag; 1995, p. 152-66.
29. Rothermel G, Harrold MJ. A framework for evaluating regression test selection techniques. In: Proceedings of the 16th international conference on software engineering; 1994. p. 201-10.
30. Sergiy AV, Bowen JP. Formalization of software testing criteria using the Z notation computer software and applications conference, (COMPSAC2001) 25th annual international; 2001. p. 351-7.
31. Stocks PA, Carrington DA. A specification based testing framework. In: The proceedings of the 15th international conference on software eng; 1993 [no paging].
32. Scullarrd GT. 1998. Test case selection using VDM lecture notes in computer science. In: Proceedings of the Europe symposium on VDM - the way ahead, vol. 328; 1998. p. 178-86.
33. Marre B, Blanc B. 2005. Test selection strategies for lustre Descriptions in GATeL. Laboratoire Sûreté des Logiciels, CEA/DRT/DTSI/SOL, 91191 Gif sur Yvette CEDEX; 2005 [no paging].