Introduction

This case study is part of the DeVa (Design for Validation) Esprit Project.

The aim is to evaluate and compare, by means of a common case study, two different testing methods for object-oriented software: a statistical testing method developped at LAAS-CNRS and a functional testing method developed at the Software Engineering Laboratory of EPFL. For that purpose we propose the development of an object-oriented application of realistic size, addressing all the phases of the software life cycle: requirements, analysis, design, specification, implementation and testing. Analysis and design are done with the Fusion method, specification with the CO-OPN/2 language, implementation with Ada 95 and testing with the two testing methods. The common case study chosen for this work is the FZI production cell.

• Presentation for the DeVA Meeting in Bruxelle, December 1998
• Presentation for the DeVA Meeting in York, March 1997
• Presentation for the DeVa Working Group in Newcastle, May 1997
• Presentation for the DeVa Meeting in Ulm, 1996
• Technical Report (postscript)
• Implementation (open production cell simulator - February 24, 1998)

  Team Members

  • Software Engineering Laboratory, EPFL
  • LAAS
  • LRI

  Other Efforts in the DeVa Projects
  wrt the Production Cell

  • Case Study Group Meeting - Newcastle (UK), 21-23 May 1997 (restricted access)
  • Production Cell design using CA Actions - Newcastle

  Other Links

  • Original Case Study Definition
  • EPFL CCS Controller (nice simulator)
  • DeVa Home Page