Code and Model Based Test Sequence Generation for Multithreaded Programs

Abstract

Test sequence generation is considered as an important sub-phase of testing and its automation makes the process of testing easier. Test sequence generation through code involve a flow graph viz. control flow graph (CFG), concurrent control flow graph (CCFG), event graph etc. as an intermediate form. In this thesis, work in the area of test sequence generation using code and UML is analyzed in a systematic way. A novel approach has been proposed to generate test sequences for Java7 fork/join concept. Interference dependence with all path and all node coverage criteria metrics has been used for generating test sequences. Almost all the previously presented approaches for test sequence generation from UML need a flow graph as an intermediate representation. An approach has been proposed for test sequence generation from UML activity diagram without any intermediate graph. Here, an activity diagram is first converted to equivalent XML file, which is then traversed to find test sequences by applying a combined form of depth first search (DFS) and breadth first search (BFS) with an optimization. Infeasible test sequences and additional transformation costs are avoided in the proposed approach.