Skip to main content
SpringerLink
Log in

A Case Study in Statistical Testing of Reusable Concurrent Objects

  • Conference paper
  • First Online:
Dependable Computing — EDCC-3 (EDCC 1999)

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

Included in the following conference series:

Abstract

A test strategy is presented which makes use of the information got from OO analysis and design documents to determine the testing levels (unit, integration) and the associated test objectives. It defines solutions for some of the OO testing issues: here, emphasis is put on applications which consist of concurrent objects linked by client-server relationships. Two major concerns have guided the choice of the proposed techniques: component reusability, and nondeterminism induced by asynchronous communication between objects. The strategy is illustrated on a control program for an existing production cell taken from a metal-processing plant in Karlsruhe. The program was developed using the Fusion method and implemented in Ada 95. We used a probabilistic method for generating test inputs, called statistical testing. Test experiments were conducted from the unit to the system levels, and a few errors were detected.

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. Barbey, S., Buchs, D., Péraire, C.: Modelling the Production Cell Case Study Using the Fusion Method. Technical Report 98/298, EPFL-DI, 1998

    Google Scholar 

  2. Barbey, S., Buchs, D., Gaudel, M-C., Marre, B., Péraire, C., Thévenod-Fosse, P., Waeselynck, H.: From Requirements to Tests via Object-Oriented Design. DeVa Year 3 Deliverables (1998) 331–383. Also available as LAAS Report no 98476

    Google Scholar 

  3. Beizer, B.: Software Testing Techniques. 2nd edn. Van Nostrand Reinhold, New York (1990)

    Google Scholar 

  4. Binder, R.: Design for Testability in Object-Oriented Systems. Communications of the ACM 37 (1994) 87–101. Also available in 12

    Article  Google Scholar 

  5. Binder, R.: Testing Object-Oriented Software-A Survey. Software Testing, Verification & Reliability 6 (1996) 125–252

    Article  Google Scholar 

  6. Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F., Jeremaes, P.: Object-Oriented Development-The Fusion Method. Object-Oriented Series, Prentice Hall (1994)

    Google Scholar 

  7. Fabre, J-C., Salles, F., Rodriguez Moreno, M., Arlat, J.: Assessment of COTS Microkernels by Fault Injection. In Proc. 7th IFIP International Working Conference on Dependable Computing for Critical Applications (DCCA-7), San Jose (1999) 19–38

    Google Scholar 

  8. Harrold, M-J., McGregor, J., Fitzpatrick, K.: Incremental Testing of Object-Oriented Class Structures. In Proc. 14th IEEE Int. Conf. on Software Engineering (ICSE-14), Melbourne (1992) 68–80. Also available in 12 i]9._ Jorgensen, P., Erickson, C.: Object-Oriented Integration Testing. Communications of the ACM 37 (1994) 30–38. Also available in 12

    Google Scholar 

  9. Kung, D., Gao, J., Hsia, P., Toyoshima, Y., Chen, C., Kim, Y-S., Song, Y-K.: Developping an Object-Oriented Software Testing and Maintenance Environment. Communications of the ACM 38 (1995) 75–87. Also available in 12

    Article  Google Scholar 

  10. Kung, D., Lu, Y., Venugopala, N., Hsia, P., Toyoshima, Y., Chen, C., Gao, J.: Object State Testing and Fault Analysis for Reliable Software Systems. In Proc. 7th IEEE International Symposium on Software Reliability Engineering (ISSRE’96), White Plains (1996) 76–85. Also available in 12

    Google Scholar 

  11. Kung, D., Hsia, P., Gao, J. (eds): Testing Object-Oriented Software. IEEE Computer Society (1998)

    Google Scholar 

  12. Lewerens, C., Linder, T. (eds): Formal Development of Reactive Systems-Case Study Production Cell. Lecture Notes in Computer Science, Vol. 891, Springer-Verlag (1995)

    Google Scholar 

  13. Luo, G., Bochman, G. v., Petrenko, A.: Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized Wp-Method. IEEE Trans. On Software Engineering 20 (1994) 149–162

    Article  Google Scholar 

  14. Thévenod-Fosse, P., Waeselynck, H., Crouzet, Y.: Software Statistical Testing. In: Randell, B., Laprie, J-C., Kopetz, H., Littlewood, B. (eds): Predictably Dependable Computing Systems. Springer-Verlag (1995) 253–272

    Google Scholar 

  15. Turner, C., Robson, D.: The State-Based Testing of Object-Oriented Programs. In Proc. IEEE Conference on Software Maintenance (1993) 302–310. Also available in 12

    Google Scholar 

  16. Voas, J.: Object-Oriented Software Testability. In Proc. 3rd International Conference on Achieving Quality in Software, Chapman & Hall (1996) 279–290

    Google Scholar 

  17. Voas, J.: Certifying Off-the-Shelf Software Components. IEEE Computer 31 (June 1998) 53–59.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LAAS - CNRS, 7 Avenue du Colonel Roche, 31077, Toulouse Cedex 4, FRANCE

    Hélène Waeselynck & Pascale Thévenod-Fosse

Authors
  1. Hélène Waeselynck
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pascale Thévenod-Fosse
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science and Engineering, Czech Technical University in Prague, Karlovo nam 13, CZ-12135, Prague 2, Czech Republic

    Jan Hlavička

  2. Institut für Technische Informatik, Medizinische Universität zu Lübeck, Ratzeburger Allee 160, 23538, Lübeck, Germany

    Erik Maehle

  3. Department of Measurement and Information Systems, Technical University of Budapest, Pázmány P. sétány 1/d, H-1521, Budapest, Hungary

    András Pataricza

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Waeselynck, H., Thévenod-Fosse, P. (1999). A Case Study in Statistical Testing of Reusable Concurrent Objects. In: Hlavička, J., Maehle, E., Pataricza, A. (eds) Dependable Computing — EDCC-3. EDCC 1999. Lecture Notes in Computer Science, vol 1667. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48254-7_27

Download citation

  • DOI: https://doi.org/10.1007/3-540-48254-7_27

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66483-3

  • Online ISBN: 978-3-540-48254-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation