-
题名元数据在构件软件测试用例生成中的应用研究
被引量：1
- 1
-
-
作者
马良荔
卢炎生
刘孟仁
-
机构
华中科技大学计算机科学与技术学院
海军工程大学计算机工程系
海军工程大学计算机工程系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2006年第12期2228-2231,共4页
-
基金
海军工程大学科研基金项目(E983)资助.
-
文摘
首先分析了构件测试的基本过程,在对元数据的基本概念进行概述的基础上,给出了用例元模型、测试用例元模型以及用例到测试用例的转换.构造了元数据的组成元素,以及嵌入该元数据后的测试模型,最后,给出了一个用上述方法实现的一个实例.
-
关键词
构件
构件软件测试
构件元数据
UML
-
Keywords
component
component-based software testing
component metadata
unified modeling language.
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于免疫遗传算法的构件化软件测试用例生成
被引量：6
- 2
-
-
作者
马臻
张毅坤
梁荣
鲁晓锋
徐艳丽
解建仓
-
机构
西安理工大学计算机科学与工程学院
西安科技大学计算机系
西安理工大学水利水电学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第23期64-67,共4页
-
基金
国家"863"计划基金资助项目(2005AA113150)
-
文摘
提出了一种基于免疫遗传算法(GA)的构件化软件测试用例生成模型(MTCGCBS),介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在水利构件化软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时也进一步验证了模型的正确性、可行性。
-
关键词
免疫遗传算法
构件化软件测试用例生成模型
疫苗
-
Keywords
Immune genetic algorithm （IGA）
Model of test case generation of component-based software（MTCGCBS）
Vaccine
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向构件化软件的合约检查测试框架
被引量：5
- 3
-
-
作者
张毅坤
叶涛
邢传玉
-
机构
西安理工大学计算机科学与工程学院
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第20期78-80,83,共4页
-
基金
陕西省自然科学基金资助项目(2001x20)
陕西省教育厅科研基金资助项目(00JK265)
-
文摘
基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架(contract-checkingtestframework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。
-
关键词
构件
合约检查
CCTF
构件化软件集成测试
-
Keywords
Component
Contract-checking
CCTF
Components.based software integration test
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名软件测试构件库
被引量：11
- 4
-
-
作者
张海飞
杨娟
-
机构
复旦大学计算机系
-
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第9期1102-1106,共5页
-
基金
国家九五项目构件库项目的研究和开发 .
-
文摘
本文将详细讨论软件测试复用的各个方面 ,建立面向复用的测试模型 ,制定测试构件库的各种推荐策略 ,设计库结构并且使用场景技术讨论了软件测试构件库的运行模型 .
-
关键词
构件库管理系统
软件开发
软件工程
软件测试构件库
-
Keywords
RSC
CRMS
NATO
Facet
RSR
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于元数据和UML的构件测试用例生成技术研究
被引量：2
- 5
-
-
作者
马良荔
卢炎生
刘孟仁
-
机构
华中科技大学计算机学院
海军工程大学计算机系
-
出处
《计算机工程与设计》
CSCD
北大核心
2006年第23期4444-4446,4578,共4页
-
基金
海军工程大学科研基金项目(E983)
-
文摘
概述了构件及其测试技术的基本概念和特征,并在对元数据的基本概念和含义进行概述的基础上,使用UML方法给出了相应的元模型,根据上述模型的具体概念描述了UML用例到测试用例的映射方法。构造了构件元数据的组成元素,给出了嵌入该元数据后的测试模型。详细描述了用上述方法实现的一个实例——学生成绩管理构件,并针对该实例的应用提出了相应的测试框架,最后给出相应的结论。
-
关键词
构件
构件软件测试
构件元数据
UML
测试用例
-
Keywords
component
component-based software testing
component metadata
unified modeling language
test case
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名用于构件集成测试的分层元数据的设计与实现
被引量：1
- 6
-
-
作者
马良荔
卢炎生
刘孟仁
-
机构
华中科技大学计算机科学与技术学院
海军工程大学计算机工程系
-
出处
《计算机应用研究》
CSCD
北大核心
2007年第2期272-274,共3页
-
基金
海军工程大学科研基金资助项目(E983)
-
文摘
在对构件元数据的基本思想进行概述的基础上,提出了一种分层元数据的概念,并从构件使用方和构件开发方两个角度分析了对构件的需求。设计了分层元数据对象的模型以及分层元数据的层次结构,并进一步给出了元数据的具体内容及其XML表示的实现思想。最后结合一个描述构件硬件运行环境的元数据实例,给出了相关的XML代码。
-
关键词
构件
构件软件测试
构件元数据
UML
-
Keywords
Component
Component-based Software Testing
Component Metadata
Unified Modeling Language（UML）
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
