Large systems such as telecommunications systems may involve several million lines of executable code and tend to evolve incrementally, thus rendering testing and maintainability a very complex task. For this reason, testing and verification requirements must be defined and incorporated into the development process early in the software development cycle. Thus, design becomes a key component of these systems. An approach to assist in enhancing the testability of software designs is proposed, termed grey-box testing. One particular grey-box testing paradigm named semantic instrumentation is illustrated. Designs are represented as design machines, an extension of finite-state machines. A design-level plan for verification/test is then derived to guarantee branch coverage of the design machine for both normal behaviors and for processing of exceptions. Finally, semantic probes are defined to provide a mapping from the design machine to implemented code. These probes are used to document design decisions, implementation decisions, and execution traces during code verification and test. The process of semantic instrumentation is illustrated on communications services, more precisely, on the service of the alternating bit protocol.
Electrical and Computer Engineering, Volumes 1 and 2 4 p (SEE N93-30215 11-31)
- Pub Date:
- Design Analysis;
- Program Verification (Computers);
- Software Engineering;
- Computer Programming;
- Communications and Radar