-
题名类状态测试模型
- 1
-
-
作者
蒋林超
李军义
陈剑
-
机构
湖南大学计算机与通信学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2011年第1期188-191,196,共5页
-
文摘
针对类状态测试可能遗漏数据错误问题,利用数据流分析技术对生成的测试序列进行分析,找出数据流异常进而对其改进,能较好地解决数据错误问题。为解决在状态测试执行时需要插装代码来跟踪状态转换以便进行可行性检测分析,以及需要通过改写被测类代码来解决类封装性限制进行类状态验证,导致测试脚本臃肿、强聚合和被测类代码版本不一致问题,提出了一种基于AOP类状态测试执行方法,它通过分离关注点、突破类封装性限制,能有效地解决这些问题。基于上述技术和方法,提出一种类状态测试模型,实例分析和实验结果表明,该模型能较好地实现类状态测试。
-
关键词
类状态测试
状态测试序列
数据流分析
测试执行
AOP
-
Keywords
class state test
state test sequence
data-flow analysis
test implementation
AOP
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向对象的类的状态测试技术研究
被引量：5
- 2
-
-
作者
龚红仿
李军义
高捷
童小娇
-
机构
长沙理工大学数学与计算科学学院
湖南大学计算机与通信学院
长沙理工大学网络中心
-
出处
《计算机应用研究》
CSCD
北大核心
2005年第12期69-72,共4页
-
基金
国家自然科学基金资助项目(60474070)
湖南省教育厅科研项目(05C263)
-
文摘
从类的状态模式、状态转移图以及UML状态图等三方面讨论了类的状态测试问题,提出了基于UML类图的类的状态模式测试用例生成方法,介绍了基于状态转移图的类测试方法及其对象状态测试模式在类的状态测试中的运用,讨论了基于UML状态图的测试模型———EFSM模型的类测试方法。
-
关键词
类的状态测试
状态模式
状态转移图
EFSM
UML
-
Keywords
Classes Statement Testing
Statement Mode
Statement Transfer Diagram
EFSM
UML
-
分类号
TP391.76
[自动化与计算机技术—计算机应用技术]
-
-
题名一个C/C++程序集成测试平台的设计与实现
被引量：3
- 3
-
-
作者
毛澄映
卢炎生
谢晓东
江胜
顾海波
-
机构
华中科技大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2007年第6期1037-1043,共7页
-
基金
国家"十五"科技预研项目(413150902
10104010201)
湖北省自然科学基金项目(2005ABA266)资助
-
文摘
研制自动化或半自动化的测试工具将对软件的开发过程产生重大影响,并能有效提高软件生产率,是当今软件业界一个极具现实意义的课题.以目前广为使用的C/C++程序作为测试对象,从程序结构信息获取、插装、I/O重定向等方面探讨如何实现方法级结构性测试;按需求规约对类的状态转换行为运用EFSM建模,依据类状态转换图自动生成测试用例,在类测试驱动器的执行下实现基于状态的类测试.在系统级别上,运用等价类、边界值分析等常规策略进行黑盒测试.此外,运用聚类技术对失效执行进行聚类分析,并从中抽样出典型的测试执行用例用于指导程序的进一步诊断.所实现的原型系统CppTest具备多级别测试、测试项目化管理、自动化/可视化程度高、扩展性好等优点.
-
关键词
静态分析
结构性测试
基于状态的类测试
测试驱动器
聚类分析
-
Keywords
static analysis
structural testing
state-based class testing
test driver
clustering analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
