TESTAF: A test automation framework for class testing using object-oriented formal specifications

Journal of Universal Computer Science

Volumn 11, Issue 6, 2005, Pages 962-985

  Nadeem, Aamer ^a   Jaffar ur Rehman, Muhammad ^a  

^a CAPITAL UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Pakistan)

Author keywords

Automated testing; Formal specification; Object oriented software

Indexed keywords

EID: 23844460172     PISSN: 0958695X     EISSN: 09486968     Source Type: Journal    
DOI: None     Document Type: Review

References (19)

1. [Alterer, 00] Alterer, R.: "Automatic Test Data Generation from VDM-SL Specifications"; Diploma thesis; The Queens University of Belfast, April 2000.
2. [Binder, 99] Binder, R.V.: "Testing Object-Oriented Systems: Models, Patterns and Tools"; Addison-Wesley Object Technology Series, 1999.
3. [Boyapati, 02] Boyapati, C., Khurshid, S., Marinov, D.: "Korat: Automated Testing Based on Java Predicates"; ACM ISSTA 2002.
4. [Carrington, 94] Carrington, D., Stocks, P.: "A Tale of Two Paradigms: Formal Methods and Software Testing"; ZUM '94, Z User Workshop, Springer-Verlag, pp. 51-68, 1994.
5. [Carrington, 00] Carrington, D., MacColl, I., McDonald, J., Murray, L., Strooper, P: "From Object-Z Specifications to Classbench Test Suites"; Journal on Software Testing, Verification and Reliability, Vol. 10, No. 2, pp. 111-137, 2000.
6. [Dick, 93] Dick, J., Faivre, A.: Automating the Generation and Sequencing of Test Cases from Model-based Specifications. In Proceedings of FME '93: Industrial-Strength Formal Methods. Pages 268-284, Odense, Penmark, 1993, Springer-Verlag.
7. [Fletcher, 94] Fletcher, R. S.: "Testing of Object-oriented Software using Formal Specifications"; Masters Thesis, Department of Software Development, Monash University, April 1994.
8. th International Conference of Z Users, 1997, Springer-Verlag.
9. th International Conference of Z Users, 1995, Springer-Verlag.
10. [IFAD, 99] "VDMTools: The IFAD VDM++ Language"; IFAD, Forskerparken IDA, DK-5210, Odense M., 1999; http://www.ifad.dk.
11. [Kirani, 94] Kirani, S., Tsai, W. T.: "Specification and Verification of Object-oriented Programs"; Technical Report, Computer Science Department, University of Minnesota, Minneapolis, December 1994.
12. [Legeard, 04] Legeard, B., Peureux, F.: "Generation of Test Sequences from Formal Specifications: GSM 11-11 Standard case study"; The Journal of Software Practice and Experience, Wiley-InterScience, 2004.
13. [Liu, 02] Liu, L., Miao, H., Zhan, X.: "A Framework for Specification-Based Class Testing"; in proceedings of the 8th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'02), 2002.
14. [Meudec, 98] Meudec, C.: "Automatic Generation of Software Test Cases From Formal Specifications"; Ph.D. thesis, The Queen's University of Belfast, May 1998.
15. th International Conference of Z Users, 1995, Springer-Verlag.
16. th IEEE-INMIC Conference (INMIC 2004), Lahore, Pakistan, December 2004.
17. [Stocks, 96] Stocks, P., Carrington, D.: "A Framework for Specification-Based Testing"; IEEE Transactions on Software Engineering, vol. 22, no. 11, pp. 777-793, Nov. 1996.
18. [Turner, 93] Turner, C. D., Robson, D. J.: "A Suite of Tools for the State-based Testing of Object-oriented Programs", TR-14/92, Technical Report, Computer Science Division, School of Engineering and Computer Science (SECS), University of Durham, Durham, England, April 1993.
19. st International Conference on Formal Engineering Methods (ICFEM'97), 1997.