Abstract
This paper presents a method for automated control flow testing of unit programs. The key idea of this method is to combine the black-box and white-box techniques in order to minimize the complexity of white-box testing. Instead of performing black-box and white-box separately, the proposed method uses the test inputs that are generated by black-box to reduce searching space of white-box testing. The method then continually eliminates arcs in remaining space to find non-duplicated test paths. Therefore, the proposed method is able to operate white-box testing with less effort than the current method.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-3-319-05939-6_37
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
McCabe, T., Thomas, J.: Structural testing: a software testing methodology using the cyclomatic complexity metric. NIST Special Publication 500–99, Washington, D.C. (1982)
Bertolino, A., Marre, M.: Automatic generation of path covers based on the control flow analysis of computer programs. IEEE Trans. Softw. Eng. 20(12), 885–899 (1994)
Guangmei, Z., Rui, C., Xiaowei, L., Congying, H.: The automatic generation of basis set of path for path testing. In: Proceedings of the 14th Asian Test Symposium (ATS’05) (2005)
Marre, M., Bertolino, A.: Using spanning sets for coverage testing. IEEE Trans. Softw. Eng. 29(11), 974–984 (1993)
Gupta, R., Soffa, M.L.: Employing static information in the generation of test cases. Softw. Test. Verification Reliab. 3(1), 29–48 (1993)
Ghiduk, A.S., Said, O., Aljahdali, S.: Basis test paths generation using genetic algorithm. In: International Conference on Computing The Information Technology (ICCIT), pp. 303–308 (2012)
King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385–394 (1976)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Nguyen, QT., Ngoc-Hung, P. (2014). An Efficient Method for Automated Control Flow Testing of Programs. In: Vinh, P., Alagar, V., Vassev, E., Khare, A. (eds) Context-Aware Systems and Applications. ICCASA 2013. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 128. Springer, Cham. https://doi.org/10.1007/978-3-319-05939-6_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-05939-6_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-05938-9
Online ISBN: 978-3-319-05939-6
eBook Packages: Computer ScienceComputer Science (R0)