期刊名称：International Journal of Education and Management Engineering(IJEME)
印刷版ISSN：2305-3623
电子版ISSN：2305-8463
出版年度：2017
卷号：7
期号：4
页码：21-28
DOI：10.5815/ijeme.2017.04.03
出版社：MECS Publisher
摘要：Software testing is an integral part of the software development cycle. Software testing involves designing a set of test cases. In white box testing, test cases are usually designed based using path testing. The basis path testing approach involves generation of test cases from a set of independent paths. Each test case is forced to execute a certain test path of the control flow graph. Some cases might arise paths of the control flow graph have no test data to force execution. These paths are infeasible paths. Identification and removal of infeasible paths earlier will reduce testing efforts and cost. In the present work, we used Unified Modeling Language (UML) for detecting of these infeasible paths. For detection of these infeasible paths, the author builds the control flow graph from sequence diagram and then generated independent paths from it. Each path is converted into a set of a linear equation and solved. If there is an inconsistent solution, then the corresponding path is infeasible. The presented approach is evaluated on a case study of an automatic gold vending machine.
