Author(s)

D. Buchs

Abstract

The purpose of this paper is to introduce a methodology for testing concur- rent programs against their formal specifications, in particular the testing of units against their formal specifications [12]. This technique seems to be one of the most promising approach to improve the confidence in the implementation of critical systems. As an example of this study, we express the specifications using hierarchical algebraic Petri nets (in particular the CO-OPN language [5] based on an extension of Petri nets), that are used to model the intended behavior of the programs while the programs are in our case Ada concurrent programs. Our framework presents the principles that must be used to select valid tests th

Keywords