• Article
  • | |
  • Metrics
  • |
  • Reference [41]
  • |
  • Related [20]
  • |
  • Cited by [6]
  • | |
  • Comments
    Abstract:

    Nowadays many researches have focused on structural ET based on statement and branch coverage and there are few researches on path-oriented ET. To solve this problem, this paper provokes an approach to construct the fitness function for test case generation in path-oriented ET based on the similarity evaluation techniques. First, a basic model for fitness function design is provided. The core of the model is to evaluate the similarity between the execution track and the target path. Accordingly three different algorithms for the similarity evaluation are provided. This model can automatically generate fitness function for each target path. The empirical studies present the superiority of the approach over several other path-oriented testing techniques, especially for the complex paths. Besides, the limitation and the applicable scope of the approach are pointed out.

    Reference
    [1] Back T. Evolutionary Algorithms in Theory and Practice. London: Oxford University Press, 1996.
    [2] Michael C, McGraw G, Schatz M. Generating software test data by evolution. IEEE Trans. on Software Engineering, 2001,27(12): 1085-1110.
    [3] Lefticaru R, Ipate F. Functional search-based testing from state machines. In: Proc. of the 1st Int’l Conf. on Software Testing, Verification and Validation. 2008. 525-528.
    [4] Tracey N, Clark J, Mander K, McDermid J. An automated framework for structural test-data generation. In: Proc. of the 13th IEEE Conf. on Automated Software Engineering. 1998. 285-288.
    [5] Wappler S, Wegener J. Evolutionary unit testing of object-oriented software using strongly-typed genetic programming. In: Proc. of the 8th Genetic and Evolutionary Computation Conf. 2006. 1925-1932.
    [6] Wegener J, Sthamer H, Baresel A. Application fields for evolutionary testing. In: Proc. of the 9th European Software Testing Analysis & Review. 2001.
    [7] Wegener J, Buhr K, Pohlheim H. Automatic test data generation for structural testing of embedded software systems by evolutionary testing. In: Proc. of the 4th Genetic and Evolutionary Computation Conf. 2002. 1233-1240.
    [8] Wegener J, Bühler O. Evaluation of different fitness functions for the evolutionary testing of an autonomous parking system. In: Proc. of the 6th Genetic and Evolutionary Computation Conf. 2004. 1400-1412.
    [9] Jones B, Sthamer H, Eyres D. Automatic structural testing using genetic algorithm. Software Engineering Journal, 1996,11(5): 299-306.
    [10] Jones B, Eyres D, Sthamer H. A strategy for using genetic algorithms to automate branch and fault-based testing. Computer Journal, 1998,41(2):98-107.
    [11] Sthamer H. The automatic generation of software test data using genetic algorithms [Ph.D. Thesis]. Pontyprid: University of Glamorgan, 1996.
    [12] Harman M. The current state and future of search based software engineering. In: Proc. of the Future of Software Engineering. 2007. 342-357.
    [13] Myers GJ. The Art of Software Testing. 2nd ed., John Wiley & Sons, Inc., 2004.
    [14] Ferguson R, Korel B. The chaining approach for software test data generation. ACM Trans. on Software Engineering and Methodology, 1996,5(1):63-86.
    [15] King J. Symbolic execution and program testing. Communications of the ACM, 1976,19(7):385-394.
    [16] Mueller F, Wegener J. A comparison of static analysis and evolutionary testing for the verification of timing constraints. In: Proc. of the 4th IEEE Real-Time Technology and Applications Symp. 1998. 144-154.
    [17] Shan JH, Wang J, Qi ZH. Survey on path-wise automatic generation of test data. Acta Electronica Sinica, 2004,32(1):109-113 (in Chinese with English abstract).
    [18] Zhang J, Xu C, Wang XL. Path-Oriented test data generation using symbolic execution and constraint solving techniques. In: Proc. of the 2nd Int’l Conf. on Software Engineering and Formal Methods. 2004. 242-250.
    [19] Clark J, Dolado J, Harman M, Hierons R, Jones B, Lumkin M, Mitchell B, Mancoridis S, Rees K, Roper M, Shepperd M. Reformulating software engineering as a search problem. IEE Proc.-Software, 2003,150(3):161-175.
    [20] Wegener J, Baresel A, Sthamer H. Suitability of evolutionary algorithms for evolutionary testing. In: Proc. of the 26th Annual Int’l Computer Software and Applications Conf. 2002. 287-289.
    [21] Baresel A, Sthamer H, Schmidt M. Fitness function design to improve evolutionary structural testing. In: Proc. of the 4th Genetic and Evolutionary Computation Conf. 2002. 1329-1336.
    [22] Harman M. Automated test data generation using search based software engineering. In: Proc. of the 2nd Int’l Workshop on Automation of Software Test. 2007. 2-3.
    [23] Pargas R, Harrold M, Peck R. Test-Data generation using genetic algorithm. Software Testing, Verification and Reliability, 1999, 9(4):263-282.
    [24] Sthamer H, Wegener J, Baresel A. Using evolutionary testing to improve efficiency and quality in software testing. In: Proc. of the 2nd Asia-Pacific Conf. on Software Testing Analysis and Review. 2002.
    [25] Wegener J, Baresel A, Sthamer H. Evolutionary test environment for automatic structural testing, information and software technology special issue on software eng. Using Metaheuristic Innovative Algorithms, 2001,43(14):841-854.
    [26] Xu BW, Xie XY, Shi L, Nie CH. Application of genetic algorithms in software testing. In: Proc. of the Advances in Machine Learning Application in Software Engineering. IGI Global, 2007. 287-317.
    [27] Harman M, Hu L, Hierons R, Wegener J, Sthamer H, Baresel A, Roper M. Testability transformation. IEEE Trans. on Software Engineering, 2004,30(1):3-16.
    [28] Pustell J, Kafatos F. A high speed, high capacity homology matrix: Zooming through SV40 and Polyoma. Nucleid Acids Research, 1994,10(15):42-49.
    [29] Ducasse S, Matthias R, Serge D. A language independent approach for detecting duplicated code. In: Proc. of the Int’l Conf. on Software Maintenance. 1999. 109-108.
    [30] Shi L, Xu BW, Xie XY. An empirical study of configuration strategies of evolutionary testing. Int’l Journal of Computer Science and Network Security, 2006,6(1):44-49.
    [31] Xie XY, Xu BW, Shi L, Nie CH, He YX. A dynamic optimization strategy for evolutionary testing. In: Proc. of the 12th Asia- Pacific Software Engineering Conf. 2005. 568-575.
    [32] Anand S, Pǎsǎreanu C, Visser W. JPF-SE: A symbolic execution extension to Java PathFinder. In: Proc. of the 13th Int’l Conf. on Tools and Algorithms for the Construction and Analysis of Systems. 2007. 134-138.
    [33] P?s?reanu C, Mehlitz P, Bushnell D, Gundy-Burlet K, Lowry M, Person S, Pape M. Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. In: Proc. of the Int’l Symp. on Software Testing and Analysis. 2008. 15-26.
    [34] Kannan Y, Sen K, Universal symbolic execution and its application to likely data structure invariant generation. In: Proc. of the Int’l Symp. on Software Testing and Analysis. 2008. 283-294.
    [35] Zhao RL. Search-Based automatic path test generation method for character string data. Journal of Computer-Aided Design and Computer Graphics, 2008,20(5):671-677 (in Chinese with English abstract).
    [36] Xie XY, Xu L, Xu BW, Nie CH, Shi L. Survey of evolutionary testing. Journal of Frontiers of Computer Science and Technology, 2008,2(5):449-466 (in Chinese with English abstract).
    [37] Sutter H. The free lunch is over: A fundamental turn toward concurrency in software. Dr. Dobb’s Journal, 2005,30(3). http://www.gotw.ca/publications/concurrency-ddj.htm
    [38] Sutter H, Larus J. Software and the concurrency revolution. ACM Queue, 2005,3(7):56-62.
    附中文参考文献: [17] 单锦辉,王戟,齐治昌.面向路径的测试数据自动生成方法述评.电子学报,2004,32(1):109-113.
    [35] 赵瑞莲.基于搜索的面向路径字符串测试数据自动生成方法.计算机辅助设计与图形学学报,2008,20(5):671-677.
    [36] 谢晓园,许蕾,徐宝文,聂长海,史亮.演化测试技术的研究.计算机科学与探索,2008,2(5):449-466.
    Comments
    Comments
    分享到微博
    Submit
Get Citation

谢晓园,徐宝文,史 亮,聂长海.面向路径覆盖的演化测试用例生成技术.软件学报,2009,20(12):3117-3136

Copy
Share
Article Metrics
  • Abstract:5567
  • PDF: 7480
  • HTML: 0
  • Cited by: 0
History
  • Received:June 11,2008
  • Revised:February 24,2009
You are the first2037899Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063