%0 Conference Proceedings
%T Minimum Number of Test Paths for Prime Path and Other Structural Coverage Criteria
%+ Accenture Technology Labs [Bangalore]
%A Dwarakanath, Anurag
%A Jankiti, Aruna
%Z Part 1: Testing Methodologies
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 26th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Madrid, Spain
%Y Mercedes G. Merayo
%Y Edgardo Montes Oca
%I Springer
%3 Testing Software and Systems
%V LNCS-8763
%P 63-79
%8 2014-09-23
%D 2014
%R 10.1007/978-3-662-44857-1_5
%K Model Based Testing
%K Minimum Number of Test Paths
%K Prime Path Coverage
%K Minimum Flow
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X The software system under test can be modeled as a graph comprising of a set of vertices, V and a set of edges, E. Test Cases are Test Paths over the graph meeting a particular test criterion. In this paper, we present a method to achieve the minimum number of Test Paths needed to cover different structural coverage criteria. Our method can accommodate Prime Path, Edge-Pair, Simple & Complete Round Trip, Edge and Node coverage criteria. Our method obtains the optimal solution by transforming the graph into a flow graph and solving the minimum flow problem. We present an algorithm for the minimum flow problem that matches the best known solution complexity of$ O\left(\left\vert{V}\right\vert\left\vert{E}\right\vert\right)$. Our method is evaluated through two sets of tests. In the first, we test against graphs representing actual software. In the second test, we create random graphs of varying complexity. In each test we measure the number of Test Paths, the length of Test Paths, the lower bound on minimum number of Test Paths and the execution time.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01405275/document
%2 https://inria.hal.science/hal-01405275/file/978-3-662-44857-1_5_Chapter.pdf
%L hal-01405275
%U https://inria.hal.science/hal-01405275
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-LNCS-8763
%~ IFIP-ICTSS