测试含有标志变量程序的占优语句(集)选择
作者:
基金项目:

国家自然科学基金(61375067, 61203304); 江苏省自然科学基金(BK2012566)


Dominant Statement(s) Selection in Testing Programs with Flag Variables
Author:
  • 摘要
  • | |
  • 访问统计
  • |
  • 参考文献 [23]
  • |
  • 相似文献 [20]
  • | | |
  • 文章评论
    摘要:

    基于占优关系的可测试性转化,是将目标语句覆盖问题转化为位于该语句之前的占优语句(集)覆盖问题,能够对含有标志变量的程序进行测试.但是当占优语句(集)不止一个时,如何从这些语句(集)中选择最容易覆盖的作为新的目标语句(集),至今没有有效的方法,从而限制了可测试性转化的应用范围.研究了占优语句(集)选择问题,提出了基于覆盖难度的占优语句(集)选择方法.首先,提出评价语句覆盖难度的4个指标,并给出这些指标的计算方法;然后,基于上述指标,利用Topsis方法排序,选择最容易覆盖的占优语句(集);最后,将所提出的方法应用于多个基准与工业程序测试,实验结果表明,覆盖基于该方法选择的占优语句(集)能够显著提高测试数据生成的效率.

    Abstract:

    Testability transformation based on dominant relationship, which transforms the problem of covering the target statement into the problem of covering the dominant statement(s) preceding the target statement, can test programs with flag variables. When more than one dominant statement exist, however, there have been no effective methods for selecting a statement subset with best coverage as the new target(s), which limits the scope of applying the testability transformation method. The problem of selecting dominant statement(s) is investigated in this paper, and a method of choosing dominant statement(s) is presented based on the coverage difficulty. First, four indicators for evaluating the coverage difficulty of a statement are presented, and the approaches to calculating them are provided. Then, the dominant statement(s) with best coverage is (are) chosen using Topsis sorting based on the above indicators. Finally, the proposed method is applied to test several benchmarks and industrial programs, and the experimental results show that coverage from the dominant statement(s) selected by the proposed method can greatly improve the efficiency of generating test data.

    参考文献
    [1] Xu RZ. Software Reliability Engineering. Beijing: Tsinghua University Press, 2007 (in Chinese).
    [2] Sagarna R, Yao X. Handling constraints for search based software test data generation. In: Lars F, Mercedes GM, Manuel N, eds. Proc. of the IEEE Int'l Conf. on Software Testing, Verification, and Validation Workshop. Washington: IEEE-Computer Society, 2008. 232-240. [doi: 10.1109/ICSTW.2008.19]
    [3] 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. [doi: 10.1109/TSE.2004.1265732]
    [4] Harman M, Hu L, Hierons R, Baresel A, Sthamer H. Improving evolutionary testing by flag removal. In: Langdon WB, ed. Proc. of the Genetic and Evolutionary Computation Conf. Amsterdam: Elsevier Science and Technology, 2002. 1359-1366.
    [5] Yao XJ, Gong DW. Testability transformation based on dominant relationship of target statements. Acta Electronic Sinica, 2013,41 (12):2523-2528 (in Chinese with English abstract). [doi: 10.3969/j.issn.0372-2112.2013.12.033]
    [6] Lammermann F, Baresel A, Wegener J. Evaluating evolutionary testability for structure-oriented testing with software measurements. Applied Soft Computing, 2008,8(2):1018-1028. [doi: 10.1016/j.asoc.2006.06.010]
    [7] Wappler S, Wegener J, Baresel A. Evolutionary testing of software with function-assigned flags. The Journal of Systems and Software, 2009,82(11):1767-1779. [doi: 10.1016/j.jss.2009.06.037]
    [8] Binkley DW, Harman M, Lakhotia K. FlagRemover: A testability transformation for transforming loop assigned flags. ACM Trans. on Software Engineering and Methodology, 2011,20(3):1-33. [doi: 10.1145/2000791.2000796]
    [9] Jiang S, Lu Y. Evolutionary testing of unstructured programs using a testability transformation approach. In: Yu ZB, ed. Proc. of the Japan-China Joint Workshop on Frontier of Computer Science and Technology. Washington: IEEE-Computer Society, 2008. 59-66. [doi: 10.1109/FCST.2008.21]
    [10] McMinn P, Binkley D, Harman M. Empirical evaluation of a nesting testability transformation for evolutionary testing. ACM Trans. on Software Engineering and Methodology, 2009,18(3):1-27. [doi: 10.1145/1525880.1525884]
    [11] Arcuri A. Full theoretical runtime analysis of alternating variable method on the triangle classification problem. In: Massimiliano DP, Simon P, eds. Proc. of the Int'l Symp. on Search Based Software Engineering. Washington: IEEE-Computer Society, 2009. 113-121. [doi: 10.1109/SSBSE.2009.16]
    [12] McMinn P, Harman M, Lakhotia K, Hassoun Y, Wegener J. Input domain reduction through irrelevant variable removal and its effect on local, global, and hybrid search based structural test data generation. IEEE Trans. on Software Engineering, 2012,38(2): 453-477. [doi: 10.1109/TSE.2011.18]
    [13] Korel B. Automated software test data generation. IEEE Trans. on Software Engineering, 1990,16(8):870-879. [doi: 10.1109/32. 57624]
    [14] Bottaci L. Predicate expression cost functions to guide evolutionary search for test data. In: Cantú-Paz E, Foster JA, Deb K, et al., eds. Proc. of the Genetic and Evolutionary Computation Conf. Heidelberg: Springer-Verlag, 2003. 2455-2464. [doi: 10.1007/3- 540-45110-2_149]
    [15] Cheng SH. MeasureTheory and Probability Theory. Beijing: Peking University Press, 2007. 23-56 (in Chinese).
    [16] Debbarma MK, Tiwari S, Misra AK. Efficient path selection strategy based on static analysis for regression testing. Int'l Journal of Computer Theory and Engineering, 2013,5(2):248-252. [doi: 10.7763/IJCTE.2013.V5.687]
    [17] Debbarma MK, Kar N, Saha A. Static and dynamic software metrics complexity analysis in regression testing. In: Sambasivam SH, ed. Proc. of the Int'l Conf. on Computer Communication and Informatics. Washington: IEEE-Computer Society, 2012. 1-6. [doi: 10.1109/ICCCI.2012.6158825]
    [18] Nejmeh BA. NPATH: A measure of execution path complexity and its applications. Communications of the ACM, 1988,31(2): 188-210. [doi: 10.1145/42372.42379]
    [19] Halstead MH. Elements of Software Science. Amsterdam: Elsevier Science Ltd., 1977.
    [20] Deng H, Yeh CH, Willis RJ. Inter-Company comparison using modified TOPSIS with objective weights. Computers and Operations Research, 2000,27(10):963-973. [doi: 10.1016/S0305-0548(99)00069-6]
    [21] Liu YL, Feng DG, Wu LH, Lian YF. Performance evaluation of worm attack and defense strategies based on static Bayesian game. Ruan Jian Xue Bao/Journal of Software, 2012,23(3):712-723 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/ 3997.htm [doi: 10.3724/SP.J.1001.2012.03997]
    [22] McMinn P. Evolutionary search for test data in the presence of state behaviour [Ph.D. Thesis]. Sheffield: The University of Sheffield, 2005.
    [23] Code visual to flowchart 6.0. 2011. http://code-visual-to-flowchart.soft32.com/
    引证文献
    网友评论
    网友评论
    分享到微博
    发 布
引用本文

巩敦卫,钟超群,姚香娟.测试含有标志变量程序的占优语句(集)选择.软件学报,2015,26(8):1925-1936

复制
分享
文章指标
  • 点击次数:3136
  • 下载次数: 4586
  • HTML阅读次数: 1386
  • 引用次数: 0
历史
  • 收稿日期:2014-02-17
  • 最后修改日期:2014-05-29
  • 在线发布日期: 2015-08-05
文章二维码
您是第19938119位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号