Abstract
In this paper we propose an Object-level Behavior Simulation Model (OBSM) that simulates the behavior of each object according to the message pattern exhibited by behavioral design pattern to verify it for its correctness. The model evaluates the existing reliability of the object-oriented software and allows developer to improve it during early phases of the development.
This work is supported in part by NSF/CAREER award CCR-9733588 and Nortel Networks.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Binder, R.: State-based testing. Object Magazine, 75–78 (August 1995)
Booch, G.: Object-Oriented Analysis and Design with Applications. Addison-Wesley, Reading (1994)
Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. on Software Engineering 4(3), 178–187 (1978)
Deshpande, M.: Detecting design violations in the use of design patterns, Masters Thesis, CSE Department, SouthernMethodist University, Dallas, Texas (December 1998)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
Lyu, M.R. (ed.): Handbook of Software Reliability Engineering. McGraw-Hill, New York (1995)
Robson, D.J., Turner, C.D.: The state based testing of object-oriented programs. In: Proc. Int. Conf. Software Maintenance, pp. 302–311 (1993)
Tian, J.: Integrating time domain and input domain analyses of software reliability using tree-based models. IEEE Trans. on Software Engineering 21(12), 945–958 (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Deshpande, M., Coyle, F., Tian, J. (2000). Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation. In: Keller, H.B., Plödereder, E. (eds) Reliable Software Technologies Ada-Europe 2000. Ada-Europe 2000. Lecture Notes in Computer Science, vol 1845. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722060_24
Download citation
DOI: https://doi.org/10.1007/10722060_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67669-0
Online ISBN: 978-3-540-45098-6
eBook Packages: Springer Book Archive