期刊文献+

软件测试用例生成中的前置条件分析 被引量:7

Precondition Analysis in Software Test Case Generation
下载PDF
导出
摘要 在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性测试用例。结果表明对前置条件的研究能够促进测试用例的自动化生成过程。 Precondition, currently seldom mentioned in most test case developing methods, could guide software test case generation. By summarizing its application in test case generation, precondition was classified and parameterized. This study had been applied in a tool of automatic test case generation by which software reliability test cases have been produced. Result shows that precondition study can improve automatic test case generation process.
出处 《计算机应用研究》 CSCD 北大核心 2007年第3期103-105,共3页 Application Research of Computers
关键词 前置条件 测试用例 测试用例生成 测试用例自动生成 precondition test case test case generation automatic test case generation
  • 相关文献

参考文献11

二级参考文献18

  • 1李伟华,周兴社.实时并发软件的测试软件开发[J].西北工业大学学报,1995,13(3):449-452. 被引量:3
  • 2BinderR V 华庆一 王斌君 陈莉译.面向对象系统的测试[M].北京:人民邮电出版社,2001-04..
  • 3FURUKAWA Z, NOGI K, TOKUNAGA K.AGENT:an advanced test-case generation system for function testing[A].AFIPS press national computer conference[C].1985,54:525-535.
  • 4TSAI W, VOLOVIK D, KEEFE T. Automated test case generation for program specified by relational algebra queries[J].IEEE Transactions on Software Engineering, 1990,16(3): 316-324.
  • 5HIERONS R M. Testing from a Z specification[J].Journal of Software Testing, Verification and Reliability, 1997,7(1):19-33.
  • 6HIERONS R M. Using formal specification to enhance the software testing process[D].Ph D Thesis: Brunel University, 1993.
  • 7MICHAEL SPIVEY J. The Z notation: a reference manual[M].2nd ed. Englzwood:Prentice Hall, 1992.
  • 8HONG Zhu, PATRICK A V Hall, JOHN H R. May: software unit test coverage and adequacy[J].ACM Computing Surveys,1997,29(4): 366-427 .
  • 9李伟华,航空学报,1992年,8期,387页
  • 10郑人杰,计算机软件测试技术,1992年

共引文献70

同被引文献46

引证文献7

二级引证文献29

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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