Automating Scenario-Driven Structured Requirements Engineering
COMPSAC '00 24th International Computer Software and Applications Conference
| Hi-index | 0.00 |
As a baseline of software development, a correct and complete requirements definition is a foundation of software quality. Previously, a novel approach to static testing of software requirements was proposed in which requirements definitions are tested on a set of task scenarios by examining software behaviour in each scenario described by an activity list. Such descriptions of software behaviour can be generated automatically from requirements models. This paper investigates various testing methods for selecting test scenarios. Data flow testing, state transition testing and entity testing methods are studied. A variety of test adequacy criteria and their combinations are formally defined and the subsume relations between the criteria are proved. Empirical studies of the testing methods and the construction of a prototype testing tool are reported.