Test Generation Based On Control And Data Dependencies Within Multi-Process SDL Specifications

Control and data flow aspects of a distributed system can be identified through the analysis of control and data dependencies that exist not only within processes, but also across process boundaries. This paper proposes a non-interleaving model that exposes the intra-process as well as inter-process control and data dependencies in a specification of a distributed system given in SDL. The model facilitates the generation of tests through the application of controlflow as well as data-flow oriented test selection criteria.

• Type: Conference
• Year: 2000
• Where: SAM
• Authors: Olaf Henniger, Hasan Ural
• Keywords: Data Dependencies, Data Flow Aspects, Data-flow Oriented Test, SAM 2000, SAM 2004