一种基于内置合约检查和可配置接口的软构件测试技术 被引量：5

1

作者 余金山 刘志伟 《计算机应用研究》 CSCD 北大核心 2011年第5期1756-1760,共5页

从构件使用者和开发者的角度分析构件及构件化软件的测试,利用Meyer的合约化软件设计思想作为构件测试的理论基础,并在其上进行了扩展和改进,提出了一种基于内置合约检查和可配置接口的构件测试技术。该方法的优点是:当构件被部署到新... 从构件使用者和开发者的角度分析构件及构件化软件的测试,利用Meyer的合约化软件设计思想作为构件测试的理论基础,并在其上进行了扩展和改进,提出了一种基于内置合约检查和可配置接口的构件测试技术。该方法的优点是:当构件被部署到新的系统环境中时,能够自动测试其服务端是否遵守彼此之间合约,并验证自身在运行阶段履行其所声明的义务的能力;利用可配置接口,可以根据所部署环境和特定系统的需求,动态地选择测试强度;当构件集成出现问题时,能够从抛出的异常信息定位到出错的位置。 展开更多

关键词 软构件测试 合约检查 内置测试 测试接口设计

在线阅读 下载PDF 职称材料

基于XML描述的构件测试框架 被引量：2

2

作者 司品超 吴利 《计算机工程与设计》 CSCD 北大核心 2009年第15期3660-3663,共4页

针对构件技术的特点,提出并采用XML描述的方式实现构件自动测试。介绍了构件、XML、XML Schema的特性,并在分析了当前构件测试方法和所面临问题的基础上,对构件的测试技术和测试框架进行了深入研究,提出一个基于XML描述的构件测试框架... 针对构件技术的特点,提出并采用XML描述的方式实现构件自动测试。介绍了构件、XML、XML Schema的特性,并在分析了当前构件测试方法和所面临问题的基础上,对构件的测试技术和测试框架进行了深入研究,提出一个基于XML描述的构件测试框架。详细介绍了采用该方法设计的构件测试框架的体系结构、各单元之间的数据流和控制流关系以及各单元的功能和功能实现所采用的部分技术。工程实践应用表明了此框架的可行性及其特性。 展开更多

关键词 构件测试 测试框架 XML描述 语义分析 构件封装

在线阅读 下载PDF 职称材料

针对构件测试本体的语义相似度计算方法 被引量：1

3

作者 韩仙玉 姜瑛 《计算机应用》 CSCD 北大核心 2011年第6期1487-1490,1501,共5页

为了提高构件测试信息的检索效率,针对现有本体语义相似度计算方法作用于构件测试本体时容易出现漏检的问题,提出一种结合本体概念和属性的综合语义相似度计算方法。该方法首先结合概念的结构、层次、子代节点个数和祖先节点个数等因素... 为了提高构件测试信息的检索效率,针对现有本体语义相似度计算方法作用于构件测试本体时容易出现漏检的问题,提出一种结合本体概念和属性的综合语义相似度计算方法。该方法首先结合概念的结构、层次、子代节点个数和祖先节点个数等因素计算概念相似度;然后,结合属性的概念相似度和数据类型相似度计算属性相似度;最后,综合概念相似度和属性相似度计算本体的语义相似度。实验表明该方法可以有效应用于构件测试领域及其他领域的信息检索。 展开更多

关键词 本体 构件测试本体 语义相似度 概念相似度 属性相似度

在线阅读 下载PDF 职称材料

一个Java构件测试工具的设计与实现

4

作者 刘冬懿 潘越 +1 位作者 潘秋菊 金茂忠 《南京大学学报（自然科学版）》 CAS CSCD 北大核心 2005年第z1期686-692,共7页

为了支持构件开发者的白盒和黑盒构件测试,设计实现了QESat/Java中的构件测试工具.此工具辅助用户生成符合JUnit、Mock object、In Container等技术的测试脚本,在模拟的或实际的构件运行环境中执行测试脚本,获得构件执行的错误、失效等... 为了支持构件开发者的白盒和黑盒构件测试,设计实现了QESat/Java中的构件测试工具.此工具辅助用户生成符合JUnit、Mock object、In Container等技术的测试脚本,在模拟的或实际的构件运行环境中执行测试脚本,获得构件执行的错误、失效等功能测试信息,以及程序覆盖信息. 展开更多

关键词 构件测试 JUNIT MOCK OBJECT In CONTAINER 测试脚本 测试结果信息

在线阅读 下载PDF 职称材料

模型驱动的EJB构件测试建模研究 被引量：2

5

作者 邓雄 常创业 +2 位作者 吴际 金茂忠 刘超 《电子学报》 EI CAS CSCD 北大核心 2006年第B12期2467-2472,共6页

基于对Web系统的特点研究,提出了一个全面测试Web系统的框架.并基于模型驱动的软件测试思想(MDT),重点研究了此框架中的中间业务逻辑层的测试建模方法:定义了一个平台相关的测试模型(PSTM)——EJB构件测试模型;并给出了对它的模型复原... 基于对Web系统的特点研究,提出了一个全面测试Web系统的框架.并基于模型驱动的软件测试思想(MDT),重点研究了此框架中的中间业务逻辑层的测试建模方法:定义了一个平台相关的测试模型(PSTM)——EJB构件测试模型;并给出了对它的模型复原算法和模型一致性检测方法.该测试建模方法,从软件构件的层次,实现了EJB静态结构和动态行为的建模,并通过模型一致性检测实现EJB代码的潜在缺陷检查.这一测试模型将为测试用例和测试数据的生成提供有力的支持. 展开更多

关键词 EJB 构件测试 测试建模 模型驱动测试 构件识别 平台相关测试模型 模型复原 模型检查

在线阅读 下载PDF 职称材料

基于脚本的构件测试自动化框架 被引量：3

6

作者 倪铭 黄萍 《计算机工程》 CAS CSCD 北大核心 2010年第6期94-96,99,共4页

针对传统的测试自动化技术已不适用于构件的问题,提出基于脚本的构件测试自动化框架。将面向对象单元测试自动化框架xUnit与数据驱动的测试框架结合并改进,实现构件测试脚本自动生成、测试脚本自动执行、测试结果自动验证与记录。实例表... 针对传统的测试自动化技术已不适用于构件的问题,提出基于脚本的构件测试自动化框架。将面向对象单元测试自动化框架xUnit与数据驱动的测试框架结合并改进,实现构件测试脚本自动生成、测试脚本自动执行、测试结果自动验证与记录。实例表明,该框架能有效对构件进行自动化测试,自动化程度较高。 展开更多

关键词 构件测试 测试自动化 测试脚本 测试驱动

在线阅读 下载PDF 职称材料

基于元数据和UML的构件测试用例生成技术研究 被引量：2

7

作者 马良荔 卢炎生 刘孟仁 《计算机工程与设计》 CSCD 北大核心 2006年第23期4444-4446,4578,共4页

概述了构件及其测试技术的基本概念和特征,并在对元数据的基本概念和含义进行概述的基础上,使用UML方法给出了相应的元模型,根据上述模型的具体概念描述了UML用例到测试用例的映射方法。构造了构件元数据的组成元素,给出了嵌入该元数据... 概述了构件及其测试技术的基本概念和特征,并在对元数据的基本概念和含义进行概述的基础上,使用UML方法给出了相应的元模型,根据上述模型的具体概念描述了UML用例到测试用例的映射方法。构造了构件元数据的组成元素,给出了嵌入该元数据后的测试模型。详细描述了用上述方法实现的一个实例——学生成绩管理构件,并针对该实例的应用提出了相应的测试框架,最后给出相应的结论。 展开更多

关键词 构件 构件软件测试 构件元数据 UML 测试用例

在线阅读 下载PDF 职称材料

一种构件安全测试错误注入模型 被引量：8

8

作者 陈锦富 卢炎生 谢晓东 《计算机研究与发展》 EI CSCD 北大核心 2009年第7期1127-1135,共9页

构件特别是第三方构件的可靠性及安全性是影响构件技术发展的重要因素之一.目前在构件安全漏洞的测试方法和技术方面研究还不够深入.提出了一种构件安全测试错误注入模型FI M(fault injection model of component security testing),并... 构件特别是第三方构件的可靠性及安全性是影响构件技术发展的重要因素之一.目前在构件安全漏洞的测试方法和技术方面研究还不够深入.提出了一种构件安全测试错误注入模型FI M(fault injection model of component security testing),并对FI M模型的相关定义及其矩阵形式进行了详细阐述,同时基于FI M模型给出了一种错误注入测试用例生成算法TGSM(test-case generating based on solution matrix).TGSM算法根据矩阵形式的FI M模型生成满足K因素覆盖的解矩阵,解矩阵的所有行数据组成了错误注入测试用例.在研究项目CSTS(component securitytesting system)中实现了FI M模型,实验结果表明FI M生成的三因素覆盖错误注入测试用例效果显著,能用适当的测试用例触发绝大部分构件安全异常.FI M模型具有较好的可操作性及可用性. 展开更多

关键词 构件测试 构件安全 错误注入 安全异常 测试用例生成

在线阅读 下载PDF 职称材料

一种采用接口错误注入的构件安全性测试方法 被引量：6

9

作者 陈锦富 卢炎生 谢晓东 《小型微型计算机系统》 CSCD 北大核心 2010年第6期1090-1096,共7页

构件特别是第三方构件的安全性是影响构件技术发展的重要因素.当前甚少将构件安全性问题作为一个专门的课题来研究,也没有确实可行的方法和技术用来检测构件安全漏洞.构件的安全性问题仍然没有得到较好的解决.提出一种基于接口错误注入... 构件特别是第三方构件的安全性是影响构件技术发展的重要因素.当前甚少将构件安全性问题作为一个专门的课题来研究,也没有确实可行的方法和技术用来检测构件安全漏洞.构件的安全性问题仍然没有得到较好的解决.提出一种基于接口错误注入的构件安全性测试方法.方法首先给出构件脆弱性错误注入算子、断言规则库及其脆弱因子,然后基于错误注入算子和断言规则库给出一种构件安全测试算法.算法根据错误注入算子有针对性地产生测试用例并执行测试,动态监测机制能实时监测构件运行状态及异常信息.算法根据断言规则库、脆弱性因子及异常信息给出构件安全异常报告及构件安全等级.最后在一集成测试平台中实现了该方法,同时做了大量实验,并和FUZZ法进行了对比分析.实验结果表明所提出的测试方法可操作性强,且对构件脆弱性具有较好的检测效果. 展开更多

关键词 构件测试 构件安全 接口错误注入 错误注入算子 安全评估

在线阅读 下载PDF 职称材料

Java构件的测试脚本生成技术 被引量：1

10

作者 刘冬懿 潘越 +2 位作者 潘秋菊 金茂忠 柳永坡 《计算机工程》 EI CAS CSCD 北大核心 2006年第17期118-120,共3页

QESat/Java中的构件测试工具辅助用户生成测试脚本,通过测试脚本的执行获得功能测试结果以及程序覆盖信息。测试脚本生成技术是Java构件测试工具中的核心和难点部分,该文根据JUnit、Mockobject、InContainer等技术规范提出模板关键域替... QESat/Java中的构件测试工具辅助用户生成测试脚本,通过测试脚本的执行获得功能测试结果以及程序覆盖信息。测试脚本生成技术是Java构件测试工具中的核心和难点部分,该文根据JUnit、Mockobject、InContainer等技术规范提出模板关键域替换方法生成测试脚本。 展开更多

关键词 构件测试 JUNIT MOCK object: In CONTAINER 测试脚本

在线阅读 下载PDF 职称材料

面向测试的多视图构件模型

11

作者 刘冬懿 金茂忠 高仲仪 《计算机科学》 CSCD 北大核心 2007年第1期208-212,共5页

构件模型不仅是构件使用者理解、使用构件的重要依据,也是构件开发者和构件使用者测试构件的基础。目前已有的构件模型主要从分析设计以及使用的角度描述构件,对构件测试中的测试要素的描述并不充分。在分析已有构件模型和构件测试要素... 构件模型不仅是构件使用者理解、使用构件的重要依据,也是构件开发者和构件使用者测试构件的基础。目前已有的构件模型主要从分析设计以及使用的角度描述构件,对构件测试中的测试要素的描述并不充分。在分析已有构件模型和构件测试要素的基础上,提出了扩展UML2.0描述的面向测试的多视图构件模型,并给出了实例。 展开更多

关键词 构件模型 构件测试 测试元素 UML2.0

在线阅读 下载PDF 职称材料

构件功能行为测试的研究 被引量：5

12

作者 李良明 王志坚 唐龙业 《小型微型计算机系统》 CSCD 北大核心 2010年第4期686-690,共5页

由于构件的内部信息屏蔽和演变速度快等特点,使用者在验证构件所提供的功能与其需求是否真正一致时往往比较困难.我们用接口自动机为构件的行为建模,研究构件功能行为的测试问题.首先提出基于简单运行的测试准则,然后介绍了从构件模型... 由于构件的内部信息屏蔽和演变速度快等特点,使用者在验证构件所提供的功能与其需求是否真正一致时往往比较困难.我们用接口自动机为构件的行为建模,研究构件功能行为的测试问题.首先提出基于简单运行的测试准则,然后介绍了从构件模型中生成简单运行序列并获得功能行为的算法,最后用一个实例对所提出的方法进行了说明并与相关方法进行了对比.文中介绍的方法在系统级别对构件整体行为进行测试,可自动生成测试序列,有利于构件的验证和测试. 展开更多

关键词 构件测试 构件行为 测试序列 基于模型的测试

在线阅读 下载PDF 职称材料

基于耦合测试信息元数据模型的构件集成测试 被引量：3

13

作者 马良荔 郭福亮 李永杰 《计算机学报》 EI CSCD 北大核心 2007年第10期1705-1712,共8页

文中提出一个方法,由构件开发方提供有关构件内接口变量定义和使用的信息,以提高构件的可测试性和可理解性.形式化地定义了构件耦合测试准则,定义-使用属性和观察点值.在此基础上,引入包含上述两项属性的定义-使用表(DU表),给出基于该... 文中提出一个方法,由构件开发方提供有关构件内接口变量定义和使用的信息,以提高构件的可测试性和可理解性.形式化地定义了构件耦合测试准则,定义-使用属性和观察点值.在此基础上,引入包含上述两项属性的定义-使用表(DU表),给出基于该表的构件框架.最后将上述方法应用于自主开发的构件中,并生成了相应的测试用例.将文中提出的方法与Orso方法和Kan方法进行了相关的比较,结果表明文中方法无论在测试用例生成,还是在变异发现上都更有效. 展开更多

关键词 构件 构件系统 构件集成测试 构件耦合测试 构件元数据

在线阅读 下载PDF 职称材料

构件在线测试系统的设计与实现

14

作者 王燕燕 林宁 +1 位作者 冯惠 周平 《计算机应用与软件》 CSCD 2009年第3期114-116,152,共4页

构件技术是软件工业化的主要技术手段,已成为现代软件开发的主流方向。随着构件技术研究的深入和应用的逐渐普及,针对构件测试的研究也逐渐受到重视。分析了构件测试面临的问题,针对构件测试面临的问题提出了构件在线测试模型并给出了... 构件技术是软件工业化的主要技术手段,已成为现代软件开发的主流方向。随着构件技术研究的深入和应用的逐渐普及,针对构件测试的研究也逐渐受到重视。分析了构件测试面临的问题,针对构件测试面临的问题提出了构件在线测试模型并给出了实现。最后,通过简单的应用示例说明其可行性和有效性。 展开更多

关键词 构件测试 COTM 模型

在线阅读 下载PDF 职称材料

面向构件化软件的合约检查测试框架 被引量：5

15

作者 张毅坤 叶涛 邢传玉 《计算机工程》 EI CAS CSCD 北大核心 2006年第20期78-80,83,共4页

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监... 基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。B.Meyer将构件与其客户代码之间的关系形式化地定义为一种合约,它严格限定了构件对象之间的交互规则。通过对合约的监视和检查,可以容易地发现构件之间的交互错误,从而达到集成测试构件化软件的目的。该文提出了一种基于合约检查的构件集成测试框架(contract-checkingtestframework,CCTF)。讨论了该框架合约检查的思想、5大功能模块以及其测试流程,并介绍了将CCTF应用到构件化软件测试平台实现的一些关键技术。 展开更多

关键词 构件 合约检查 CCTF 构件化软件集成测试

在线阅读 下载PDF 职称材料

软件测试构件库 被引量：11

16

作者 张海飞 杨娟 《小型微型计算机系统》 CSCD 北大核心 2001年第9期1102-1106,共5页

本文将详细讨论软件测试复用的各个方面 ,建立面向复用的测试模型 ,制定测试构件库的各种推荐策略 ,设计库结构并且使用场景技术讨论了软件测试构件库的运行模型 .

关键词 构件库管理系统 软件开发 软件工程 软件测试构件库

在线阅读 下载PDF 职称材料

基于用户需求的构件行为测试

17

作者 李良明 王志坚 刘磊 《高技术通讯》 EI CAS CSCD 北大核心 2010年第7期727-732,共6页

针对基于构件的软件开发过程中构件的使用者难以验证构件的动态行为这一问题,提出了一种基于用户需求的构件行为测试方法。用接口自动机为构件的行为建模,研究如何根据模型和用户需求对构件进行测试的问题。首先通过对行为模型的分析,... 针对基于构件的软件开发过程中构件的使用者难以验证构件的动态行为这一问题,提出了一种基于用户需求的构件行为测试方法。用接口自动机为构件的行为建模,研究如何根据模型和用户需求对构件进行测试的问题。首先通过对行为模型的分析,确定出构件中不同接口之间的关系,进而用一组相关的接口序列来表示构件的动态行为;然后再根据用户在使用时的具体要求,确定出实际要运行的测试序列。文中介绍的方法能够从整体上检验构件的行为并且可以根据构件模型和使用要求自动生成测试序列,便于用户对构件的验证和测试。 展开更多

关键词 构件测试 构件行为 测试序列 基于模型的测试

在线阅读 下载PDF 职称材料

基于免疫遗传算法的构件化软件测试用例生成 被引量：6

18

作者 马臻 张毅坤 +3 位作者 梁荣 鲁晓锋 徐艳丽 解建仓 《计算机工程》 EI CAS CSCD 北大核心 2006年第23期64-67,共4页

提出了一种基于免疫遗传算法(GA)的构件化软件测试用例生成模型(MTCGCBS),介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在水利构件化软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法... 提出了一种基于免疫遗传算法(GA)的构件化软件测试用例生成模型(MTCGCBS),介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在水利构件化软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时也进一步验证了模型的正确性、可行性。 展开更多

关键词 免疫遗传算法 构件化软件测试用例生成模型 疫苗

在线阅读 下载PDF 职称材料

用于构件集成测试的分层元数据的设计与实现 被引量：1

19

作者 马良荔 卢炎生 刘孟仁 《计算机应用研究》 CSCD 北大核心 2007年第2期272-274,共3页

在对构件元数据的基本思想进行概述的基础上,提出了一种分层元数据的概念,并从构件使用方和构件开发方两个角度分析了对构件的需求。设计了分层元数据对象的模型以及分层元数据的层次结构,并进一步给出了元数据的具体内容及其XML表示的... 在对构件元数据的基本思想进行概述的基础上,提出了一种分层元数据的概念,并从构件使用方和构件开发方两个角度分析了对构件的需求。设计了分层元数据对象的模型以及分层元数据的层次结构,并进一步给出了元数据的具体内容及其XML表示的实现思想。最后结合一个描述构件硬件运行环境的元数据实例,给出了相关的XML代码。 展开更多

关键词 构件 构件软件测试 构件元数据 UML

在线阅读 下载PDF 职称材料

元数据在构件软件测试用例生成中的应用研究 被引量：1

20

作者 马良荔 卢炎生 刘孟仁 《小型微型计算机系统》 CSCD 北大核心 2006年第12期2228-2231,共4页

首先分析了构件测试的基本过程,在对元数据的基本概念进行概述的基础上,给出了用例元模型、测试用例元模型以及用例到测试用例的转换.构造了元数据的组成元素,以及嵌入该元数据后的测试模型,最后,给出了一个用上述方法实现的一个实例.

关键词 构件 构件软件测试 构件元数据 UML

在线阅读 下载PDF 职称材料