WATIS/sup 2/: design and application of an environment simulation system for test improvement of control software for automatic logistic systems

Control computer systems for automatic logistic systems contain reactive modules, which are usually tested on-site, in conjunction with the real environment. This leads to high test costs and unsatisfactory test coverage. Environment simulation models offer an execution environment for customizable, in-house testing. The architecture and process model of WATIS/sup 2/, a flexible, efficient and expansible environment simulation system for automatic logistic systems are presented. Experiments in an industrial environment show a high model reuse rate and a significant improvement of baseline software development regarding software quality and project cost, in this way justifying a systematic application of WATIS/sup 2/.

[1]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[2]  Hannu Honka.  A simulation-based approach to testing embedded software , 1992 .

[3]  E. J. Fletcher,et al.  Using a Simulation Model to Test the Functionality of a Decision Support System Which Designs the Interface between a Logistic Centre and other Company Systems , 1995, EUROSIM.

[4]  Jaap. A. Ottjes,et al.  DESIGN AND CONTROL OF MULTI-AGV SYSTEMS REUSE OF SIMULATION SOFTWARE , 1996 .

[5]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[6]  David Harel,et al.  Modeling Reactive Systems With Statecharts : The Statemate Approach , 1998 .

[7]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[8]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[9]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[10]  Victor R. Basili,et al.  The TAME Project: Towards Improvement-Oriented Software Environments , 1988, IEEE Trans. Software Eng..

[11]  Christian Kreiner,et al.  A lean metric acquisition and presentation environment for the assessment of a test process improvement experiment , 1999, Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium.

[12]  Christian Steger,et al.  Improvement of control software for automatic logistic systems using executable environment models , 1998, Proceedings. 24th EUROMICRO Conference (Cat. No.98EX204).

[13]  Christian Steger,et al.  Model-Based Verification of Real-Time Software for Automatic Logistic Systems , 1998 .