Xiaohan Qiu
ABSTRACT
Software testing is an important part of the software development process, and test efficiency seriously affects the progress of the entire software development. In this paper, methods for improving test efficiency in practical engineering are studied. There are two aspects need to be studied. In the algorithm aspect, an Update-IPO strategy was proposed to generate smaller pairwise test case sets by improving the IPO strategy. Further to increase error detection capability, the test case sets are extended and supplemented by introducing an ant colony algorithm. In the practical testing aspect, we have built a test case generation platform by encapsulating our strategy and combined it with test tools into a test suite. And apply several practical aviation software to the test suite for verification. The results show that the improved combinatorial test strategy can be used to generate test cases for actual aviation software and achieve full coverage of 2,3-way combinations in an acceptable time. The work of this paper has promoted and helped the application of test cases generation in practical engineering.
- Cui Yingxia, Li Longshu, Yao Sheng. 2009. "A new strategy for pairwise test case generation" The 3rd International Symposium on Intelligent Information Technology Application:303--306. Google Scholar
Digital Library
- Dorigo. M, Maniezzo. V, and Colorni. A.1996. "The ant system: Optimization by a colony of cooperating agents" IEEE Trans. Systems, Man and Cybernetics, Part B (Cybernetics). Google ScholarDigital Library
- Kuhn. D.R., Reilly, M.J. 2002. An study of the applicability of the design of experiments to software testing. Proceedings of the Annual NASA/IEEE software Engineering Workshop (the SEW). IEEE, Los Alamitos (2002), pp: 91--95 Google ScholarDigital Library
- Lei Y, Kacker R, Kuhn DR, Okun V, Lawrence J. 2007. IPOG: A general strategy for t-way software testing. 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Tucson, AZ, 2007, pp:549--556 Google ScholarDigital Library
- Rayadurgam. S and Heimdahl. M. P. 2003. Generating MC/DC Adequate Test Sequences Through Model Checking. In SEW, pp. 91Google ScholarCross Ref
- Shiba. T, Tsuchiya. T, Kikuno. T. 2003. "Using artificial life techniques to generate test cases for combinatorial test" Proc of the 28th International Computer Software and Applications Conference. 2003, pp:72--78 Google ScholarDigital Library
- Yan, J., Jian, Z.2009. Combination test: the principle and method. J. Softw. 20(6), 1393--1405 (2009)Google ScholarCross Ref
- Y. Lei and K. Tai. 1998. "In-parameter-order: a test generation strategy for pairwise testing," in Proceedings of the Third IEEE International High Assurance Systems Engineering Symposium, (November 12-14, 1998, Washington, DC.) IEEE Computer Society, 1998, pp. 254--261. Google ScholarDigital Library
- Zhang Niankun. 2016. Research and implementation of automatic test cases generation of airborne UAV flight control software. University of Electronic Science and Technology of China, Chengdu, 2016, pp:35--43.Google Scholar
Index Terms
- Application of an Improved Combinatorial Test Strategy in Test Case Generation for Aviation Software
Recommendations
Literature Review on Test Case Generation Approach
ICSIM '19: Proceedings of the 2nd International Conference on Software Engineering and Information ManagementTest case generation is a testing stage that requires the greatest resources among other stages so it has significant impact on the effectiveness and efficiency of software testing. Test case is a pair of input and output that will be executed by the ...
Automated Regression Test Case Generation for Web Application: A Survey
Testing is one of the most important phases in the development of any product or software. Various types of software testing exist that have to be done to meet the need of the software. Regression testing is one of the crucial phases of testing where ...
Achieving scalable mutation-based generation of whole test suites
Without complete formal specification, automatically generated software tests need to be manually checked in order to detect faults. This makes it desirable to produce the strongest possible test set while keeping the number of tests as small as ...
Comments