期刊文献+

一种有效的边界测试点选取策略 被引量:2

An Effective Strategy for Selecting Boundary Test Points
下载PDF
导出
摘要 借鉴组合逻辑电路固定型故障的诊断原理,提出一种软件边界测试点选取策略.根据RSDIMU容错软件需求规范开发出52个测试用例,同时采用边界值分析、健壮性测试等边界值测试方法设计了2组测试用例,对34个版本的RSDIMU程序和429个变异体进行了测试.实验结果表明:该方法是一种有效的边界测试点选取策略,可以克服测试的盲目性,降低测试成本,明显地提高故障覆盖程度. By using the principle of stuck-at fault diagnosis in combinational logic circuits, this paper present a strategy to select boundary test points for software system, 52 test cases were developed according to the RSDIMU specification. 2 boundary test suites were designed by adopting boundary value analysis and robustness testing techniques. 34 RSDIMU program versions and 429 mutants were tested by these test suites. Experimental results show that the proposed strategy is effective in software testing for conquering test blindness, reducing test cost and improving fault coverage.
出处 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2007年第2期251-256,共6页 Journal of Computer-Aided Design & Computer Graphics
基金 国家自然科学基金(60473032) 教育部科学技术重点项目(105018) 中国科学院软件研究所计算机科学国家重点实验室开放课题基金(SYSKF0605)
关键词 边界测试点 测试数据生成 RSDIMU 变异体 boundary test point test data generation RSDIMU mutants
  • 相关文献

参考文献8

  • 1Alshraideh M,Bottaci L.Automatic software test data generation for string data using heuristic search with domain specific operators[C]//Proceedings of the 3rd Workshop on UK Software Testing Research,Sheffield,2005:137-149.
  • 2黄光燕,李晓维.软件的变量完整性测试方法[J].计算机辅助设计与图形学学报,2004,16(11):1584-1589. 被引量:3
  • 3Kuhn D R,Gallo A M.Software fault interactions and implications for software testing[J].IEEE Transactions on Software Engineering,2004,30 (6):418-421.
  • 4Korel B.Automated software test data generation[J].IEEE Transactions on Software Engineering,1990,16(8):870-879.
  • 5Xu Shiyi.Build-in-self-test for software[C]//Proceedings of the Asian Test Symposium,Xi'an,2003:220-223.
  • 6Eckhardt D E,Caglavan A K,et al.An experimental evaluation of software redundancy as a strategy for improving reliability[R].Hampton:Langley Research Center,1990.
  • 7Lyu Michael R,Huang Zubin,Sze Sam K S,et al.An empirical study on testing and fault tolerance for software reliability engineering[C] //Proceedings of the 14th International Symposium on Software Reliability Engineering,Denver,2003:119-130.
  • 8Cai Xia,Lyu Michael R.An empirical study on reliability modeling for diverse software systems[C] //Proceedings of the 15th International Symposium on Software Reliability Engineering,Rennes and Saint-Malo,2004:125-136.

二级参考文献9

  • 1Jorgensen Paul C. Software Testing: A Craftsman's Approach [M]. 2nd ed. Beijing: China Machine Press, 2003. 143~158(in Chinese)(Jorgensen Paul C. 韩柯, 杜旭涛, 译.软件测试 [M]. 第2版.北京: 机械工业出版社, 2003. 143~158)
  • 2Mosley Daniel J. The Handbook of MIS Application Software Testing [M]. Englewood Cliffs: Yourdon Press, Prentice Hall, 1993
  • 3Elmendorf William R. Cause-effect graphs in functional testing [R]. Poughkeepsie, NY: IBM System Development Division, TR-00.2487, 1973
  • 4Huang J C. Detection of dataflow anomaly through program instrumentation [J]. IEEE Transactions on Software Engineering, 1979, SE-5(3): 226~236
  • 5Rapps S, Weyuker E j. Selecting software test data using data flow information [J]. IEEE Transactions on Software Engineering, 1985, SE-11(4): 367~375
  • 6Evans David. Splint manual [OL]. http:∥www.splint.org, 2003
  • 7IBM. Rational purifyplus [OL]. http:∥www-900.ibm.com/cn/software/rational/products/purifyplus, 2004
  • 8Wei Yongming. MiniGUI [OL]. http:∥www.minigui.com, 2003
  • 9赵瑞莲,闵应骅.一种基于数据流分析的程序定义域自动确定方法[J].计算机辅助设计与图形学学报,2001,13(8):762-768. 被引量:3

共引文献2

同被引文献7

引证文献2

二级引证文献12

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部