eCite Digital Repository
Validating inter-object interaction in object-oriented designs
Citation
Malhotra, V and Stanton, SC, Validating inter-object interaction in object-oriented designs, Proceedings of the Fourth IASTED International Conference on Modelling, Simulation and Optimization, 16-18 August 2004, Kauai, Hawaii, pp. 241-245. ISSN 1482-7905 (2004) [Refereed Conference Paper]
Abstract
Object classes are the building blocks for object-oriented software. Design methodologies have focused on methods, tools and representations to build classes taking advantages of inheritance and encapsulation properties. The guiding principle being that if all classes are correctly constructed a system consisting of objects in these classes will be correct. Efforts to include object constraints in object-oriented programs have not attained the role commensurate with the role invariants play in traditional imperative programs in understanding the programs and in establishing correctness properties. The paper describes use of a model checker to establish the correctness of an object-oriented design.
Item Details
Item Type: | Refereed Conference Paper |
---|---|
Research Division: | Information and Computing Sciences |
Research Group: | Software engineering |
Research Field: | Software testing, verification and validation |
Objective Division: | Expanding Knowledge |
Objective Group: | Expanding knowledge |
Objective Field: | Expanding knowledge in the mathematical sciences |
UTAS Author: | Malhotra, V (Dr Vishv Malhotra) |
UTAS Author: | Stanton, SC (Mr Simon Stanton) |
ID Code: | 30941 |
Year Published: | 2004 |
Deposited By: | Computing |
Deposited On: | 2004-08-01 |
Last Modified: | 2017-04-07 |
Downloads: | 0 |
Repository Staff Only: item control page