A Case Study in Statistical Testing of Reusable Concurrent Objects

  • Hélène Waeselynck
  • Pascale Thévenod-Fosse
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1667)


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.


Interface Model Safety Requirement Operational Context Load Profile Input Event 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Barbey, S., Buchs, D., Péraire, C.: Modelling the Production Cell Case Study Using the Fusion Method. Technical Report 98/298, EPFL-DI, 1998Google Scholar
  2. 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 98476Google Scholar
  3. 3.
    Beizer, B.: Software Testing Techniques. 2nd edn. Van Nostrand Reinhold, New York (1990)Google Scholar
  4. 4.
    Binder, R.: Design for Testability in Object-Oriented Systems. Communications of the ACM 37 (1994) 87–101. Also available in 12CrossRefGoogle Scholar
  5. 5.
    Binder, R.: Testing Object-Oriented Software-A Survey. Software Testing, Verification & Reliability 6 (1996) 125–252CrossRefGoogle Scholar
  6. 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. 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–38Google Scholar
  8. 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 12Google Scholar
  9. 10.
    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 12CrossRefGoogle Scholar
  10. 11.
    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 12Google Scholar
  11. 12.
    Kung, D., Hsia, P., Gao, J. (eds): Testing Object-Oriented Software. IEEE Computer Society (1998)Google Scholar
  12. 13.
    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. 14.
    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–162CrossRefGoogle Scholar
  14. 15.
    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–272Google Scholar
  15. 16.
    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 12Google Scholar
  16. 17.
    Voas, J.: Object-Oriented Software Testability. In Proc. 3rd International Conference on Achieving Quality in Software, Chapman & Hall (1996) 279–290Google Scholar
  17. 18.
    Voas, J.: Certifying Off-the-Shelf Software Components. IEEE Computer 31 (June 1998) 53–59.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1999

Authors and Affiliations

  • Hélène Waeselynck
    • 1
  • Pascale Thévenod-Fosse
    • 1
  1. 1.LAAS - CNRSToulouse Cedex 4FRANCE

Personalised recommendations