-
题名基于MDA的软件测试用例生成
被引量:2
- 1
-
-
作者
蒋忠炜
张云华
谢轩昂
-
机构
浙江理工大学信电学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2007年第17期97-99,共3页
-
文摘
将MDA中模型驱动的软件代码自动化生成思想应用于模型驱动的软件测试用例自动化生成。从UML/OCL模型出发,采用缺陷测试理论、变异分析技术,结合约束处理规则,开发一个可以自动生成单元测试用例的框架,提高软件测试的自动化程度,从整体上提高软件的开发效率。
-
关键词
MDA
OCL
缺陷测试
测试用例生成
-
Keywords
MDA
OCL
fault-based test
test case generation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于OCL文法的测试用例自动生成方法研究
- 2
-
-
作者
谢轩昂
张云华
蒋忠炜
-
机构
浙江理工大学信电学院
-
出处
《微计算机信息》
北大核心
2007年第03X期244-246,共3页
-
文摘
随着软件测试技术的飞速发展,很多自动生成和执行测试用例的方法的技术已经发展起来。对于自动生成测试用例的约束的形式化定义也有很多方法,其中,对象约束语言(OCL)就是其中最具代表性的。OCL能够弥补UML模型的不足,精确地定义约束条件。本文将着重介绍一种从OCL文法解析到约束条件分离的方法的研究结果,通过与OCL文法比较,解析输入的OCL文本,提取OCL表达式,构建约束条件树,实现约束条件分离,最终实现测试用例集的自动生成。
-
关键词
对象约束语言
文法分析
约束条件分离
UML图
自动生成测试用例
-
Keywords
Object Constraint Language, Grammar Parser, UML Diagram, Automatic Generation of Test Cases
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-