Foundations of Software Testing: Fundamental Algorithms and Techniques

Test Generation

2.1 INTRODUCTION

Requirements serve as the starting point for the generation of tests.

During the initial phases of development, requirements may exist only

in the minds of one or more people. These requirements, more aptly

ideas, are then specified rigorously using modeling elements such as use

cases, sequence diagrams, and statecharts in UML. Rigorously speci-

fied requirements are often transformed into formal requirements using

requirements specification languages such as Z, S, and RSML.

While a complete formal specification is a useful document, it is often

the case that aspects of requirements are captured using appropriate

modeling formalisms. For example, Petri nets and its variants are used

for specifying timing and concurrency