-
题名基于耦合测试信息元数据模型的构件集成测试
被引量：3
- 1
-
-
作者
马良荔
郭福亮
李永杰
-
机构
海军工程大学计算机工程系
-
出处
《计算机学报》
EI
CSCD
北大核心
2007年第10期1705-1712,共8页
-
基金
湖北省自然科学基金(2005ABA266)资助
-
文摘
文中提出一个方法,由构件开发方提供有关构件内接口变量定义和使用的信息,以提高构件的可测试性和可理解性.形式化地定义了构件耦合测试准则,定义-使用属性和观察点值.在此基础上,引入包含上述两项属性的定义-使用表(DU表),给出基于该表的构件框架.最后将上述方法应用于自主开发的构件中,并生成了相应的测试用例.将文中提出的方法与Orso方法和Kan方法进行了相关的比较,结果表明文中方法无论在测试用例生成,还是在变异发现上都更有效.
-
关键词
构件
构件系统
构件集成测试
构件耦合测试
构件元数据
-
Keywords
component
component system
component-based software integration testing
component coupling testing
component metadata
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于变更模型的元数据在构件回归测试中的应用研究
- 2
-
-
作者
马良荔
郭福亮
李永杰
-
机构
海军工程大学计算机工程系
-
出处
《计算机科学》
CSCD
北大核心
2008年第5期280-283,共4页
-
基金
湖北省自然科学基金资助(2005ABA266)
-
文摘
本文针对Orso元数据方法的不足,对构件可能的变更进行了充分分析和分类,并按照分类情况对相关的构件变更处理方法进行了详尽的形式化描述,构造了构件变更模型,描述了每个变更的具体表现形式,论述了方法变更到构件接口变更的映射机制和算法,给出了算法实现的框架,并将这些理论模型应用到自主开发的构件Register- StuGrade中,与没有元数据情况下的回归测试用例生成技术以及Orso方法进行回归测试用例教和回归测试运行时间两方面的分析和对比,给出了比较结果。
-
关键词
构件
构件集成测试
构件回归测试
构件元数据
构件变更
-
Keywords
Component, Component-based software integration testing, Component-based software regression testing,Component metadata, Component change.
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种面向交互代码的构件合约化测试方法
- 3
-
-
作者
赵艳妮
郭华磊
-
机构
陕西职业技术学院计算机科学系
西安通信学院信息服务系
-
出处
《西安科技大学学报》
CAS
2014年第3期290-295,共6页
-
基金
国家自然科学基金(61272284)
陕西省教育厅自然科学专项(2013JK1202)
-
文摘
构件技术是软件复用的关键技术,构件测试是检测构件故障保证构件质量的重要手段。构件故障分为构件本身的故障和构件化软件集成时的故障,前者由于构件开发者熟悉源代码而易于测试和定位;后者由于软件复用者对构件的不清楚和集成的复杂性导致故障往往难以检测和发现,因此构件集成测试中的故障测试是目前研究的难点问题之一。构件集成测试离不开交互代码(粘贴代码),文中提出了一种面向粘贴代码的构件合约化测试方法。分析了基于粘贴代码的构件测试中的四种故障类型;针对这四种故障类型,依据合约的适应性,阐述了基于XML的粘贴代码合约的构造机理;并且给出了构件集成中基于合约检查的测试过程;最后以网络购物系统为应用实例,验证了该方法的有效性和实用性。该方法为捕捉错误,抛出异常信息,快速定位构件集成中的故障位置,准确发现故障原因提供了一种非常有效的途径。该方法的使用减少了构件集成测试中粘贴代码产生的冗余,提高了测试的灵活性,实现了高效的软件复用,缩短了软件开发周期,降低了开发成本。
-
关键词
构件集成测试
合约检查
粘贴代码
插桩
-
Keywords
component integration testing
contract checking
paste code
instrumentation
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向构件化软件的合约检查测试框架
被引量：5
- 4
-
-
作者
张毅坤
叶涛
邢传玉
-
机构
西安理工大学计算机科学与工程学院
-
出处
《计算机工程》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向测试的构件系统模型及测试用例生成方法
被引量：2
- 5
-
-
作者
曹真
曹旻
-
机构
上海大学计算机工程与科学学院
-
出处
《计算机工程与应用》
CSCD
2014年第22期59-64,共6页
-
基金
上海市教委创新项目资助(No.12ZZ094)
-
文摘
随着面向构件的软件开发方法的广泛应用,构件系统的描述和测试成为保证软件质量的关键所在。由于构件系统的复杂性和开发方法的特殊性,用传统方法对构件系统进行集成测试往往面对很多困难。提出了一种改进的面向测试的构件描述模型,称为TCSM,它着重对构件系统中的构件间的交互和约束进行了动态描述,为构件系统集成测试阶段的功能测试和边界测试等提供了大量可用信息。在此基础上,进一步提出一种把TCSM转换成测试模型的方法,以UML协作图模型为原型,实现了构件系统从描述模型到测试模型的自动转换。最后,实现了一种在所产生的测试模型上自动生成测试用例的算法。TCSM更好地描述了构件的交互行为信息,进一步实现了系统的自动化测试,减少了通常需要在构件系统搭建完成后,针对测试对系统手工建立测试模型的工作,提高了构件系统开发的效率和可靠性。
-
关键词
构件系统集成测试
构件系统测试模型
模型转换
测试用例生成
-
Keywords
component system integration testing
component system test model
model conversion
test case generation
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名构件分层元数据对象参考模型的设计
被引量：2
- 6
-
-
作者
马良荔
汪厚祥
李永杰
-
机构
海军工程大学计算机工程系
-
出处
《计算机应用研究》
CSCD
北大核心
2007年第10期282-285,共4页
-
文摘
在概述构件元数据的基本定义基础上,引入了分层元数据对象的概念,将其分为描述性元数据和操作性元数据两种类型,进一步对其中的具体内容按照层次概念进行了详细描述,并给出了其形式化定义。基于此,用UML的类图给出了构件元数据对象的形式化描述,并结合构件使用方对元数据系统的需求,给出了一个分层元数据系统的结构框架。
-
关键词
构件
构件集成测试
构件元数据
统一建模语言
类图
-
Keywords
. component
component-based software integration testing
component metadata
UML
class diagram
-
分类号
TP311.12
[自动化与计算机技术—计算机软件与理论]
-
-
题名构造基于构件依赖关系矩阵的元数据模型
- 7
-
-
作者
马良荔
刘杰生
李娟
-
机构
海军工程大学计算机工程系
武汉
-
出处
《计算机科学》
CSCD
北大核心
2008年第7期269-273,共5页
-
基金
湖北省自然科学基金资助(编号2005ABA266)
-
文摘
构件集成到应用环境中实施集成测试时,会与其它构件产生相应的依赖关系。本文在对这些依赖关系进行概述的基础上,给出了构件直接依赖图、构件间接依赖图和构件依赖图的定义,并依据这些定义,提出了构件依赖矩阵(CmDM)的概念,用以描述构件Cm与构件系统中其它构件之间的依赖关系,接着进一步定义了复杂依赖关系矩阵(CmDDM),用以对依赖关系矩阵(CmDM)进行更为详细的描述。对依赖矩阵方法在回归测试、构件变更处理和软件重用的应用方法进行了形式化的描述,进一步将基于依赖关系矩阵的方法应用于学校内部开发的构件Register-StuGrade中,并另外选取了三个与之有关的构件,对其依赖关系进行分析,建立相应的构件依赖关系矩阵和复杂依赖关系矩阵,并与Orso方法、Spec方法(基于规范说明的方法)所生成的测试用例对于构件RegisterStuGrade源代码的覆盖情况进行了对比,从而证明了本方法的有效性。
-
关键词
构件
构件集成测试
构件依赖关系
构件元数据
-
Keywords
Component, Component-based software integration testing, Component dependency relationship, component Metadata
-
分类号
TP311.13
[自动化与计算机技术—计算机软件与理论]
O158
[理学—基础数学]
-
