期刊文献+

类状态测试模型

Test model of class state
下载PDF
导出
摘要 针对类状态测试可能遗漏数据错误问题,利用数据流分析技术对生成的测试序列进行分析,找出数据流异常进而对其改进,能较好地解决数据错误问题。为解决在状态测试执行时需要插装代码来跟踪状态转换以便进行可行性检测分析,以及需要通过改写被测类代码来解决类封装性限制进行类状态验证,导致测试脚本臃肿、强聚合和被测类代码版本不一致问题,提出了一种基于AOP类状态测试执行方法,它通过分离关注点、突破类封装性限制,能有效地解决这些问题。基于上述技术和方法,提出一种类状态测试模型,实例分析和实验结果表明,该模型能较好地实现类状态测试。 Aiming at the problems of data errors may be ignored in class state testing,the generated test sequences is analyzed based on the data flow analysis techniques to find out data flow anomaly and correct.It can solve the problem effectively.The state transitions can be tracked by injecting tracking code into source code in order to analysis the feasibility,and break encapsulation restriction of classes by rewriting the codes of classes to certificate their states.These will lead the test scripts becoming out of bloated,strong aggregation and the version of classes is inconsistent.An innovation class state test execute method based on the AOP is proposed to solve these challenges effectively by separating concerns and breaking the class encapsulation restriction.On the basis of the above technique and method, a class state test model is presented.Case study and experimental results show that the model can achieve better class state tests.
出处 《计算机工程与设计》 CSCD 北大核心 2011年第1期188-191,196,共5页 Computer Engineering and Design
关键词 类状态测试 状态测试序列 数据流分析 测试执行 AOP class state test state test sequence data-flow analysis test implementation AOP
  • 相关文献

参考文献7

二级参考文献26

  • 1BinderR V 华庆一 王斌君 陈莉译.面向对象系统的测试[M].北京:人民邮电出版社,2001-04..
  • 2Huang J C,IEEE Trans Software Engineering,1979年,5卷,2期,226页
  • 3Mosley D J,Posey B A软件测试自动化.邓波,黄丽娟,曹青春,等译.北京:机械工业出版社,2003
  • 4Barbey S, Strohmeier A. The problernatics of testing object-oriented software. In: SQM'94 Second Conference on Software Quality Management, 1994,2. 411-426
  • 5Object Management Group. UML Specification V1. 5, 2003. http://www.omg.org/cgi-bin/apps/doc? formal/03-03-01. pdf
  • 6Gallagher L, Offutt J. Integration Testing of Object-oriented Components Using FSMS: Theory and Experimental Details:[Technical Report]. CMU/ISE TR 04-04, 2004
  • 7Offutt J, Abdurazik A. Generating Tests from UML Specifications. In: Proceedings of the 2^nd international on Unified Modelling Language. Beyond the Standard(UML'99), 1999
  • 81Robety V Binder[美],华庆一,王斌君,陈莉译.面向对象系统的测试[M].北京:人民邮电出版社,2001
  • 9RM Hierons,S Sadeghipour,H Singh.Testing a system specified using State Charts and Z[J].Information and Software Technology,2001,43(2):137~149
  • 10Latella D,Massink M.A formal testing framework for UML state diagrams behaviors:from theory to automatic Verification.http://portal.acm.org/citation.cfm

共引文献19

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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