Skip to main content
SpringerLink
Log in

Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation

  • Conference paper
Reliable Software Technologies Ada-Europe 2000 (Ada-Europe 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1845))

Included in the following conference series:

  • 223 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Binder, R.: State-based testing. Object Magazine, 75–78 (August 1995)

    Google Scholar 

  2. Booch, G.: Object-Oriented Analysis and Design with Applications. Addison-Wesley, Reading (1994)

    Google Scholar 

  3. Chow, T.S.: Testing software design modeled by finite-state machines. IEEE Trans. on Software Engineering 4(3), 178–187 (1978)

    Article  Google Scholar 

  4. Deshpande, M.: Detecting design violations in the use of design patterns, Masters Thesis, CSE Department, SouthernMethodist University, Dallas, Texas (December 1998)

    Google Scholar 

  5. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)

    Google Scholar 

  6. Lyu, M.R. (ed.): Handbook of Software Reliability Engineering. McGraw-Hill, New York (1995)

    Google Scholar 

  7. Robson, D.J., Turner, C.D.: The state based testing of object-oriented programs. In: Proc. Int. Conf. Software Maintenance, pp. 302–311 (1993)

    Google Scholar 

  8. 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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science and Engineering, Southern Methodist University, Dallas, Texas, 75275, USA

    Mahesh Deshpande, Frank Coyle & Jeff Tian

Authors
  1. Mahesh Deshpande
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Frank Coyle
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jeff Tian
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1.  ,  

    Hubert B. Keller

  2. Institute of Software Technology, University of Stuttgart, Universitätsstr. 38, 70569, Stuttgart, Germany

    Erhard Plödereder

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation