WIT Press


Test Selection Method To Validate Concurrent Programs Against Their Specifications

Price

Free (open access)

Paper DOI

10.2495/SQM950362

Volume

14

Pages

12

Published

1995

Size

1,139 kb

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