An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm

Software testing is one of the most important techniques to examine the behavior of the software products to assure their quality. An effective and efficient testing approach must balance two important but conflicting requirements. One of them is the accuracy that needs a large number of test cases for testing, and the second one is reducing the time and cost, which requires a few test cases. Even for small software, the number of possible test cases is typically very large, and exhaustive testing is impractical. Hence, selecting appropriate test suite is necessary. Cause–effect graph testing is a common black‐box testing technique, which is equivalently representing Boolean relations between input parameters. However, the other traditional black‐box strategies cannot identify the relations that it may result in loss of some of the important test cases. Although the cause–effect graph is regarded very promising in specification testing, it is observed that most of the proposed approaches using the graph are complex or generate impossible and a large number of test cases. This observation has motivated our research to propose an efficient strategy to generate minimal test suite that simultaneously achieves high coverage of input parameters. To do so, at first, we identify major effects from the cause–effect graph using reduced ordered binary decision diagram (ROBDD). ROBDD makes the related Boolean expression of the graph concise and obtains a unique representation of the expression. Using the ROBDD, it is possible to reduce the size of the generated test suite and to perform testing faster. After that, our proposed method utilizes particle swarm optimization (PSO) algorithm to select the optimal test suite, which covers all pairwise combinations of input parameters. The experimental results show that our approach simultaneously achieves high efficacy and reduces cost of testing by selecting appropriate test cases, respectively, to both test size and coverage size. Also, it outperforms some existing state‐of‐the‐art strategies in the black‐box testing.