Detection of Infeasible Paths in Software Testing using UML Application to Gold Vending Machine
Автор: Gufran Ahmad Ansari
Журнал: International Journal of Education and Management Engineering(IJEME) @ijeme
Статья в выпуске: 4, 2017 года.
Бесплатный доступ
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.
UML, Design, Testing, Infeasible paths, Test cases
Короткий адрес: https://sciup.org/15014067
IDR: 15014067
Список литературы Detection of Infeasible Paths in Software Testing using UML Application to Gold Vending Machine
- http://technav.ieee.org/tag/1933/unified-modeling-language,[Accessedon 03-10-2016]
- G., Booch, J.Rumbaugh, and I Jacobson. "The Unified Modelling Language User Guide". Addison-Wesley, Reading, MA. 1999.
- Grady Booch "Object-Oriented Analysis and Design with Applications", second Edition, Addison-Wesley, 1994.
- Ashalatha Nayak and Debasis Samanta, "Automatic Test Data Synthesis using UML Sequence Diagrams", Journal of Object Technology, vol. 09, no. 2, March-April pp. 75(104), 2010
- Huaizhong Li and C. Peng Lam, "Software Test Data Generation using Ant Colony Optimization", World Academy of Science, Engineering and Technology 2005.
- Soma Sekhara Babu Lam et al. "Automated Generation of Independent Paths and Test Suite Optimization Using Artificial Bee Colony" Procedia Engineering, Elsevier pp. 191-200, 2012.
- Abhinandan H. Patil et.al "Regression Test Suite Prioritization using Residual Test Coverage Algorithm and Statistical Techniques" I.J. Education and Management Engineering, pp. 32-39, 2016
- Abhinandan H. Patil, Neena Goveas and Krishnan Rangarajan. "Test Suite Design Methodology using Combinatorial Approach for Internet of Things Operating Systems", Scientific Research Publishing, Journal of Software Engineering and Application, 2015.
- DebasishKundu, Monalisa Sharma and DebasisSamanta, A UML model Based Approach to detect infeasible paths, The Journal of System and Software, Vol. 107, pp. 71-92, 2015
- Minh Ngoc Ngo and HeeBengKuan Tan, Heuristic Based Infeasible Path detection for dynamic test data generation, Information and Software Technology, Vol. 50, Issue 7-8, pp. 641-655,2008
- D. Gong and X. Yao, Automatic Detection of Infeasible Paths in Software Testing, IET Software, Vol. 4, No. 5, pp. 361-370, 2010.
- BMinh Ngoc Ngo and Hee Beng Kuan Tan, "Detecting Large Number of Infeasible Paths through Recognizing their Patterns", ESEC/FSE07, September 3-7, Cavtat near Dubrovnik, roatia, 2007.
- Paulo Marcos, Siqueira Bueno and Mario Jino, Automatic Test Data Generation for Programs Paths using Genetic Algorithms, International Journal of Software Engineering and Knowledge Engineering, Vol. 12, No. 6, pp. 691–709, 2002
- Hovemeyer, D. and W. Pugh "Finding bugs is easy", ACM SIGPLAN Notices, 39: 92-106, 2004
- http://www.goldbarsworldwide.com/PDF/RT_8_Gold_Vending_Machines.pdf
