Object-Oriented Software Testing and Metric in Z Specification

Information Sciences

Volumn 98, Issue 1-4, 1997, Pages 175-202

  Chung, Chi Ming ^a   Shih, Timothy K ^a   Wang, Chun Chia ^a  

^a TAMKANG UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; ERROR DETECTION; OBJECT ORIENTED PROGRAMMING; QUALITY ASSURANCE; SOFTWARE ENGINEERING; SPECIFICATIONS; SYSTEMS ANALYSIS;

INHERITANCE LEVEL TECHNIQUE; OBJECT ORIENTED SOFTWARE METRIC; OBJECT ORIENTED SOFTWARE TESTING; UNIT REPEATED INHERITANCE; Z SPECIFICATION;

COMPUTER SOFTWARE;

EID: 0031148398     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0255(96)00154-5     Document Type: Article

References (23)

1. S. R. Chidamber and C. F. Kemerer, Towards a metrics suite for object-oriented design, OOPSLA'91 Proceedings, 1991, pp. 197-211.
2. S. R. Chidamber and C. F. Kemerer, A metrics suite for object-oriented design, IEEE Trans. Software Engrg. 6:476-493 (1994).
3. C. M. Chung, W. R. Edwards, and M. G. Yang, Static and dynamic data flow metrics, J. Policy Inform. June (1989).
4. C. M. Chung and M. C. Lee, Inheritance-based metric for complexity analysis in object-oriented design, J. Inform. Sci. Engrg. 8:431-447 (1992).
5. H. E. Dunsmore and J. D. Gannon, Data referencing: An empirical investigation, IEEE Computer December:50-59 (1983).
6. W. A. Harrison and K. I. Magel, A complexity measure based on nesting level, ACM SIGPLAN Not. 16(3):63-74 (1981).
7. M. E. Kim, B. O. Chang, S. Kusumoto, and T. Kikuno, Analysis of metrics for object-oriented program complexity, Proceedings of COMPSAC'94, IEEE Computer, 1994, pp. 201-207.
8. W. Li and S. Henry, Object-oriented metrics that predict maintainability, J. Systems and Software 23:111-122 (1993).
9. I. Jacobson, M. Christerson, P. Jonsson, and G. Overgaard, Object-Oriented Software Engineering: A Use Case Driven Approach, Addison-Wesley, Reading, MA, 1992.
10. M. Lorenz, Object-Oriented Software Development: A Practical Guide, Prentice-Hall, Englewood Cliffs, NJ, 1993.
11. T. J. McCabe, A complexity measurement, IEEE Trans. Software Engrg. SE-2(4):302-308 (1976).
12. T. J. McCabe, Design complexity measurement and testing, ACM 32:1415-1425 (1989).
13. B. Meyer, Object-Oriented Software Construction, Prentice-Hall, Englewood Cliffs, NJ, 1988.
14. S. C. Ntafos, On required element testing, IEEE Trans. Software Engrg. SE-10(6):795-803 (1984).
15. D. E. Perry and E. G. Kaiser, Adequate testing and object-oriented programming, J. Object-Oriented Programming 2(5):13-19 (1990).
16. S. Rapps and E. J. Weyuker, Selection software test data using data flow information, IEEE Trans. Software Engrg. SE-11(4):367-375 (1985).
17. M. D. Smith and D. J. Robson, A framework for testing object-oriented programs, J. Object-Oriented Programming 5(3):45-63 (1992).
18. M. Harrold, J. D. McGregor, and K. Fitzpatrick, Incremental testing of object-oriented class structure, Proceedings of the 14th International Conference on Software Engineering, 1992, pp. 68-80.
19. S. Kirani and W. T. Tsai, Method sequence specificiation and verification of class, J. Object-Oriented Programming 7(5):28-38 (1994).
20. J. M. Spivey, Understanding Z: A Specification Language and Its Formal Semantics, Vol. 3, Cambridge Tracts in Theoretical Computer Science, Cambridge Press, 1988.
21. J. M. Spivey, The Z Notation: A Reference Manual, International Series in Computer Science, Prentice-Hall, Englewood Cliffs, NJ, 1989.
22. J. M. Spivey, A guide to the Zed style option, Technical Report, Oxford University Computing Laboratory, 1990.
23. C. Berge, Graph and Hypergraphs, North-Holland, Amsterdam, 1973.