Fault Based Techniques for Testing Boolean Expressions: A Survey

Boolean expressions are major focus of specifications and they are very much prone to introduction of faults, this survey presents various fault based testing techniques. It identifies that the techniques differ in their fault detection capabilities and generation of test suite. The various techniques like Cause effect graph, meaningful impact strategy, Branch Operator Strategy (BOR), BOR+MI, MUMCUT, Modified Condition/ Decision Coverage (MCDC) has been considered. This survey describes the basic algorithms and fault categories used by these strategies for evaluating their performance. Finally, it contains short summaries of the papers that use Boolean expressions used to specify the requirements for detecting faults. These techniques have been empirically evaluated by various researchers on a simplified safety related real time control system.Comment: 10 pages, 4 figures, 2 table

Iterative Design and Testing within the Software Development Life Cycle

The activity of testing begins during system development and spans all subsequent phases. Some system development life cycles describe testing which is performed after the coding phase, but this may cause the software to be delivered without sufficiently testing. In this paper, we present a software system development life cycle model, called the Test design Stages Processed model (TSP model), in which we emphasise that iterative test design stages should be processed during each phase of the software development life cycle. Therefore, when a phase has been completed, the testing for the phase should also be completed at that time. Furthermore, within this paper we have added unit, integration and system testing processes into Booch’s micro design process to generate a new design and test model. This shows the process of iterative and incremental software development. Comparing this with our model, we explain how the TSP model can be used for developing and testing an object-oriented software system