ROCS: An object-oriented class-level testing system based on the Relevant Observable ContextS technique

Information and Software Technology

Volumn 42, Issue 10, 2000, Pages 677-686

  Chen, Huo Yan ^a   Tse, T H ^c   Deng, Yue Tang ^b  

^a JINAN UNIVERSITY   (China)

^b POLYTECHNIC UNIVERSITY   (United States)

^c NONE

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA STRUCTURES; EMBEDDED SYSTEMS; OBJECT ORIENTED PROGRAMMING;

OBJECT ORIENTED CLASS-LEVEL TESTING SYSTEMS;

SOFTWARE ENGINEERING;

EID: 0034224520     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(00)00112-9     Document Type: Article

References (21)

1. Guerraoui R., et al. Strategic directions in object-oriented programming. ACM Computing Surveys. 28:(4):1996;691-700.
2. Smith M.D., Robson D.J. A framework for testing object-oriented programs. Journal of Object-Oriented Programming. 5:(3):1992;45-53.
3. Bernot G., Gaudel M.-C., Marre B. Software testing based on formal specifications: a theory and a tool. Software Engineering Journal. 6:(6):1991;387-405.
4. Bouge L., Choquet N., Fribourg L., Gaudel M.-C. Test sets generation from algebraic specifications using logic programming. Journal of Systems and Software. 6:1986;343-360.
5. Dauchy P., Gaudel M.-C., Marre B. Using algebraic specification in software testing: a case study on the software of an automatic subway. Journal of Systems and Software. 21:(3):1993;229-244.
6. Doong R.-K., Frankl P.G. Case studies on testing object-oriented programs. Proceedings of the 4th ACM Annual Symposium on Testing, Analysis, and Verification (TAV 4). 1991;ACM Press, New York. (pp. 165-177).
7. Doong R.-K., Frankl P.G. The ASTOOT approach to testing object-oriented programs. ACM Transactions on Software Engineering and Methodology. 3:(2):1994;101-130.
8. P.G. Frankl, R.-K. Doong, Tools for testing object-oriented programs, Proceedings of the 8th Pacific Northwest Conference on Software Quality, 1990, pp. 309-324.
9. Chen T.Y., Low C.K. Dynamic data flow analysis for C++. Proceedings of the 2nd Asia-Pacific Software Engineering Conference (APSEC'95). 1995;IEEE Computer Society Press, Los Alamitos, CA. (pp. 22-28).
10. Chen T.Y., Low C.K. Error detection in C++ through dynamic data flow analysis. Software: Concepts and Tools. 18:(1):1997;1-13.
11. Fiedler S.P. Object-oriented unit testing. Hewlett-Packard Journal. 40:(4):1989;69-74.
12. Parrish A.S., Borie R.B., Cordes D.W. Automated flow graph-based testing of object-oriented software modules. Journal of Systems and Software. 23:(2):1993;95-109.
13. C.D. Turner, D.J. Robson, State-based testing and inheritance, Technical Report TR-1/93, Computer Science Division, School of Engineering and Computer Science, University of Durham, Durham, UK, 1993.
14. Turner C.D., Robson D.J. A state-based approach to the testing of class-based programs. Software: Concepts and Tools. 16:(3):1995;106-112.
15. Chen H.Y., Tse T.H., Chan F.T., Chen T.Y. In black and white: an integrated approach to class-level testing of object-oriented programs. ACM Transactions on Software Engineering and Methodology. 7:(3):1998;250-295.
16. Breu R. Algebraic specification techniques in object-oriented programming environments. Lecture Notes in Computer Science. 1991;Springer, Berlin.
17. Goguen J.A., Diaconescu R. Towards an algebraic semantics for the object paradigm. Ehrig H., Orejas F., Recent Trends in Data Type Specification: Proceedings of the 9th International Workshop on Specification of Abstract Data Types. Lecture Notes in Computer Science. 1994;1-29 Springer, Berlin.
18. Goguen J.A., Meseguer J. Unifying functional, object-oriented, and relational programming with logical semantics. Shriver B., Wegner P., Research Directions in Object-Oriented Programming. 1987;417-477 MIT Press, Cambridge, MA.
19. Wolfram D.A., Goguen J.A. A sheaf semantics for FOOPS expressions. Tokoro M., Nierstrasz O.M., Wegner P., Object-Based Concurrent Programming: Proceedings of ECOOP'91 Workshop. Lecture Notes in Computer Science. 1992;81-98 Springer, Berlin.
20. Schildt H. The Craft of C: Take-Charge Programming. 1992;Osborne McGraw-Hill, Berkeley, CA.
21. White L.J., Cohen E.I. A domain strategy for computer program testing. IEEE Transactions on Software Engineering. SE-6:(3):1980;247-257.