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

基于CSM面向对象程序测试用例的自动生成

A Method for an Automatic Generation for the Test Cases of the Object-oriented Program Based on CSM
下载PDF
导出
摘要 为了保证程序测试的质量和降低测试费用 ,基于规格的测试方法越来越受到重视。在利用有限状态机描述面向对象程序基础上给出了状态覆盖测试算法 。 To guarantee the testing quality and decrease the testing cost , a dynamic domain reduction method is introduced to the automatically generated test cases on CSM, which is used to specify object oriented program .These test cases are designed for the state coverage testing.
作者 廖伟志 蔡国永 古天龙 董荣胜
机构地区 桂林电子工业学院计算机系
出处 《桂林电子工业学院学报》 2001年第3期49-52,共4页 Journal of Guilin Institute of Electronic Technology
基金 广西跨世纪人才基金资助项目
关键词 面向对象 程序测试 CS object oriented,testing, CSM, dynamic domain reduction
分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献6

  • 1[1]Ugo Buy,et al. Automated testing of classes[J]. IEEE Software Engineering Note,2000,25(5):39-48.
  • 2[2]Bouge L, et al. Test Sets generation from algebraic specification using logic program[J]. Journal of Systems and Software, 1986,1(6):343-360.
  • 3[3]Jia X. Model-based formal specification directed testing of abstract data type[J]. In Proceedings of Computer Software and Applications Conference,1993:360-366.
  • 4[4]David Lee. Testing finite-state machines: state identification and verification[J]. IEEE Transactions on Computers,1994,43(3):306-320.
  • 5[5]Hyoung Seok Hong,et al. Testing of object-oriented programs based on finite state machines[A]. Proceedings of Asia-Pacific Software Engineering Conference'95,1995.
  • 6[6]Jerfferson Offut A, et al. The dynamic domain reduction procedure for test data generation[J]. Software Practice and Experience ,1999,29(2):167-193.
桂林电子工业学院学报
2001年 第3期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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