期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于依赖性分析的回归测试用例选择 被引量：9

Test Cases Selection in Regression Testing Based on Dependence Analysis of EFSM
下载PDF
导出
摘要 在面向对象程序功能性测试中,扩展有限状态自动机(ESFM)是一种有效的建模表示方式。本文主要探讨面向对象程序回归测试中的用例选择技术,对程序对应的EFSM模型进行数据依赖和控制依赖分析,确定程序中修改部分的波及影响,再进行测试用例的选择。 The extended finite state machine （EFSM） is widely used in object-oriented testing .In regression testing we can confirm the modified part by using the data depengdence and control dependence analysis .Then select the test case.
作者 黄若艺 毛澄映
机构地区 武汉华中科技大学计算机科学与技术学院
出处 《微计算机信息》 北大核心 2005年第11X期184-185,共2页 Control & Automation
基金 "十五"国防科技预研项目资助
关键词 扩展有限状态机.后置支配.控制(数据)依赖 回归测试 EFSM, post-dominate, control （data） dependence,regression testing
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献2

  • 1Korel, B,, Tahat, L,H,, and Vaysburg, B. Dependence analysis in reduction of requirement based test suites, In: Proc, of the 2002 ACM SIGSOFI" international symposium on Software testing and analysis, 2002,pp.107-111.
  • 2Dssouli ,R. , Saleh, K,, and Aboulhamid ,E, Test development for communication protocols: towards automation. In: Computer Networks, Vol.31, 1999 pp, 1835-1872.

同被引文献38

  • 1蒋彬,刘超.C++静态分析中对泛型构件的识别与表示方法[J].微计算机信息,2005,21(09X):123-125. 被引量：7
  • 2朱菊,王志坚,杨雪.基于数据驱动的软件自动化测试框架[J].计算机技术与发展,2006,16(5):68-70. 被引量：69
  • 3马雪英,盛斌奎,叶澄清.用遗传算法的测试用例最小化[J].计算机科学,2007,34(1):285-288. 被引量：8
  • 4R.W.Floyd, "Assigning meanings to programs," [C] in Proc. Symp. Appl. Math., vol. XIX, American Mathematical Society, Apr. 1967, pp. 19-32.
  • 5Bertrand Meyer. Applying "design by contract". [J]Computer, October 1992, 25(10):40 - 51.
  • 6David R. Rosenblum. A practical approach to programming with assertions. [J] IEEE Transactions on Software Engineering, January 1995, 21(1):19 - 31.
  • 7Yoonsik Cheon and Gary T. Leavens. A Simple and Practical Approach to Unit Testing: The JML and JUnit Way. [C] ECOOP 2002, Proceedings. Volume 2374 of Lecture Notes in Computer Science, Springer Verlag, 2002:231-255.
  • 8Chandrasekhar Boyapati, Sarfraz Khurshid, and Darko Marinov. Korat: Automated Testing Based on Java Predicates.[C] In Proceedings International Symposium on Software Testing and Analysis (ISSTA), ACM, July 2002.pages 123-133.
  • 9[2]Ren F,Shash F,Tip F,et al.A Tool for Change Impact Analysis of Java Programs[J].Technical Report DCS-TR-551,Department of Computer Science,Rutgers University,2004,4(6):152-173.
  • 10[3]Rothermel G,Harrold M J,Dedhia J.Regression Test Selection for C++ Software[J].Journal of Software Testing Verication,and Reliability,2000,10(6):77-109.

引证文献9

二级引证文献20

微计算机信息
2005年 第11X期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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