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
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
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)