A note on test oracles and semantics of algebraic specifications

Proceedings - International Conference on Quality Software

Volumn 2003-January, Issue , 2003, Pages 91-98

  Zhu, Hong ^a  

^a OXFORD BROOKES UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; INTEGRATION TESTING; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SOFTWARE TESTING; SPECIFICATIONS; TESTING;

ALGEBRA SEMANTICS; ALGEBRAIC SPECIFICATIONS; AUTOMATED SOFTWARE TESTING; BEHAVIOURAL SEMANTICS; NON-OBSERVABLE; OBJECT-ORIENTED PROGRAM; PARTIAL ORDER; STRUCTURED DATA;

ALGEBRA;

EID: 84945189697     PISSN: 15506002     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QSIC.2003.1319090     Document Type: Conference Paper

References (24)

1. Guttag, J., "Abstract data types and the development of data structures", Commun. ACM 20(6), 1977, pp396-404.
2. Goguen, J. A., Thatcher, J. W., Wagner, E. G., and Wright, J. B., "Initial Algebra Semantics and Continuous Algebras", J. ACM 24(1), Jan.1977, pp68-95.
3. Goguen, J. and Malcolm, G., "A hidden agenda", Theoretical Computer Science 245(1), 2000, pp55-101.
4. Sannella, D. and Tarlecki, A., "Essential Concepts of Algebraic Specification and Program Development", Formal Aspects of Computing 9(3), 1997, pp229-269.
5. Sannella, D. and Tarlecki, A., "Algebraic methods for specification and formal development of programs", ACM Comput. Surv. 31(3es), Article 10, Sept. 1999.
6. Gonnon, J., McMullin, P. and Hamlet, R., "Data-Abstraction Implementation, Specification, and Testing", ACM TOPLAS 3(3), July 1981, pp211-223.
7. Bernot, G., Gaudel, M. C., and Marre, B., "Software testing based on formal specifications: a theory and a tool", Software Engineering Journal, Nov. 1991, pp387-405.
8. Bouge, L., Choquet, N., Fribourg, L., and Gaudel, M. C., "Test sets generation from algebraic specifications using logic programming", J. of Systems and Software 6(4), 1986, pp343-360.
9. Doong, R. K. and Frankl, P. G., "Case studies on testing object-oriented programs", Proc of the symposium on Testing, analysis, and verification, 1991, pp165-177.
10. Doong, R. K. and Frankl, P. G., "The ASTOOT approach to testing object-oriented programs" ACM TSEM 3(2), Apr.1994, pp101-130.
11. Chen, H. Y., Tse T. H. and Chen, T. Y., "TACCLE: a methodology for object-oriented software testing at the class and cluster levels", ACM TSEM 10(1), Jan. 2001, pp56-109.
12. Chen, H. Y. Tse, T. H. Chan F. T. and Chen T. Y., "In black and white: an integrated approach to class-level testing of object-oriented programs", ACM Trans. Softw. Eng. Methodol. 7(3), Jul. 1998, pp250-295.
13. Orejas, F., Navarro, M, and Sanchez, A., "Implementation and behaviour equivalence: a survey", Proc. of 8th WADT/3rd COMPSAA Workshop, LNCS 655, 1993, pp93-125.
14. Hennicker, R., "Observational implementation of algebraic specifications", Acta Informatica 28, 1991, pp187-230.
15. Gaudel, M, C., "Testing can be formal", Proc. of TAPSOF'95, LNCS 915, 1995, pp82-96.
16. Nivela, P. and Orejas, F., "Initial behavioural semantics for algebraic specifications", Recent Trends in Data Type Specification, LNCS 332, 1988, pp184-207.
17. Sannella, D. T., and Wirsing, M., "A kernel language for algebraic specification and implementation", Proc. of 1983 International Conference on Foundation of Computation Theory, Borgholm, Sweden, 1983, LNCS 158, pp413-427.
18. Sannellla, D., and Tarlecki, A., "On observational equivalence and algebraic specification", Journal of Computer and System Sciences 34, 1987, pp150-178.
19. Bidoit, M. and Hennicker, R., "Behavioural theories and the proof of behavioural properties", Theoretical Computer Science, 165(1), 1996, pp3-55.
20. Hofmann, M., and Sannella, D., "On observioural abstraction and behavioural satisfaction in higher-order logic", Proc. of TAPSOFT'95, LNCS, 1995.
21. Bergstra J.A., Tucker J.V., "Initial and Final Algebra Semantics for Data Type Specifications: Two Characterization Theorems", SIAM Journal of Computing 12, 1983, pp366-387.
22. Zhu, H. and He, X., "An Observational Theory of Integration Testing for Component-Based Software Development", Proc. of COMPSAC'2001, October 2001, Chicago, Illinois.
23. Zhu, H. and He, X., "Constructions of behaviour observation schemes in software testing", Proc. of HASE'2000, Albuquerque, New Mexico, USA, Nov, 2000, pp7-16.
24. Zhu, H. and He, X., "A methodology of testing high-level Petri nets", Information and Software Technology 44(8), June 2002, pp473-489.