PROBE: A FORMAL SPECIFICATION-BASED TESTING SYSTEM

Proceedings of the 20th International Conference on Information Systems, ICIS 1999

Volumn , Issue , 1999, Pages 400-404

  Al Amayreh, Ahmed ^a   Zin, Abdullah Mohd ^b  

^a Salalah College of Education Sultanate of Oman   (Oman)

^b UNIVERSITI KEBANGSAAN MALAYSIA   (Malaysia)

Author keywords

logic programming; software testing; Specification based testing; test case generation; Z formal notation

Indexed keywords

AUTOMATIC TESTING; FORMAL SPECIFICATION; LOGIC PROGRAMMING; PROBES; PROLOG (PROGRAMMING LANGUAGE);

FORMAL NOTATIONS; LOGIC-PROGRAMMING; NEW APPROACHES; SOFTWARE TESTINGS; SOFTWARE VERIFICATION; SPECIFICATION BASED TESTING; TEST CASE; TEST CASE GENERATION; TESTING SYSTEMS; Z FORMAL NOTATION;

SOFTWARE TESTING;

EID: 61949100484     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Al-Amayreh, A. PROBE: A Formal Specification-Based Testing System, unpublished M.Sc. thesis, Department of Computer Science, National University of Malaysia, 1997.
2. Al-Amayreh, A.; Zin, A. M.; and Daraman, A. “Specification-Based Test Case Generator,” in Proceedings of the IASTED International Conference: Applied Informatics ’97, Innsbruck, Austria. 1997.
3. Denney, R. “Test-Case Generation from Prolog-Based Specifications,” IEEE Software, March 1991, pp. 49-57.
4. Goodenough, J. B., and Gerhart, S. “Toward a Theory of Test Data Selection,” IEEE Transactions on Software Engineering, (SE-1:2), 1975, pp. 156-173.
5. Hall, P. A. V. “Towards Testing with Respect to Formal Specification,” in Proceedings of the Second IEE/BCS Conference: Software Engineering ’88, IEE, London, 1988, pp. 159-163.
6. Joans, C. B. Systematic Development Using VDM, Englewood Cliffs, NJ: Prentice-Hall, 1986.
7. Myers, G. The Art of Software Testing, New York: John Wiley and Sons, 1979.
8. Spivey, J. M. Z Notation: A Reference Manual, London: Prentice-Hall, 1989.
9. Zin, A. M. ZFDSS: A Formal Development Support System Based on the Liberal Approach, unpublished Ph.D. thesis, Department of Computer Science, University of Nottingham, UK, 1993.
10. Zin, A. M.; Al-Amayreh, A.; and Foxley, E, “An Approach to Specification-Based Testing System,” in Proceedings of the International Conference on Software Engineering Quality SQE’97, Udine, Italy. 1997.