Automatic Testing of SCR Specifications

The SCR (software cost reduction) requirements method has been used in industrial environments to specify the requirements of many practical systems. To evaluate the correctness of a software implementation, one can apply black-box testing to determine whether the implementation satisfies a system requirements specification, i.e., given a sequence of system inputs, it produces the correct system outputs. A static approach consists in selecting feasible paths through the use of static analysis techniques. Use of paths with lower numbers of traversed predicates ease the feasibility analysis. Our primary goal is to test whether the relation REQ is satisfied by a corresponding system, and in particular, whether critical properties defined by the specification assertions are conserved. Our second goal is to keep the cost of the testing process relatively low