基于扩展的EDPN的类的交互测试用例生成技术的研究 被引量：1

1

作者 龚红仿 李军义 +2 位作者 胡积平 邹北骥 孙家广 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2005年第1期99-103,共5页

针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例"爆炸"以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合... 针对类交互测试的正交阵列测试系统(OATS)生成测试用例的方法存在类的状态盲目组合而导致测试用例"爆炸"以及受标准正交阵列的影响使得选择的正交阵列不易扩充等问题,扩展了事件驱动的Petri网(EEDPN)模型,提出了类的状态组合的标记关联递推法生成交互路径,得到了扩展的正交阵列测试系统(EOATS)的类交互测试用例的生成方法,优化了OATS,分析了该方法在类的交互测试技术中的覆盖率问题,讨论了其生成扩展的正交阵列表的充分性. 展开更多

关键词 类的交互测试 测试用例生成 扩展的事件驱动Petri网 扩展的正交阵列测试 系统 标记关联递推法 测试覆盖标准

在线阅读 下载PDF 职称材料

从UML设计模型到测试模型的研究 被引量：6

2

作者 刘冬懿 金茂忠 +1 位作者 刘超 伞云飞 《计算机应用研究》 CSCD 北大核心 2007年第5期56-59,共4页

为保证软件测试与设计的一致,分析了UML设计模型和UTP测试模型的异同点,提出了从设计模型到测试模型的映射过程。通过实例说明如何从UML设计模型转换为UTP测试模型的过程。此方法可为模型驱动体系结构中设计模型和测试模型的自动转换提... 为保证软件测试与设计的一致,分析了UML设计模型和UTP测试模型的异同点,提出了从设计模型到测试模型的映射过程。通过实例说明如何从UML设计模型转换为UTP测试模型的过程。此方法可为模型驱动体系结构中设计模型和测试模型的自动转换提供支持。 展开更多

关键词 标准建模语言的测试扩展 标准建模语言 设计模型 测试模型 映射

在线阅读 下载PDF 职称材料

基于UML状态图的类测试用例自动生成方法 被引量：23

3

作者 张毅坤 施凤鸣 +2 位作者 姚全珠 刘军 付长龙 《计算机工程》 CAS CSCD 北大核心 2003年第21期91-93,共3页

UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用 ，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM 的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出... UML作为面向对象软件开发的事实上的标准建模语言，近年来得到了广泛的应用 ，基于UML的测试也成为面向对象软件测试的研究热点。该文把基于扩展的有限状态机EFSM 的唯一输入输出UIO测试用例自动生成方法和UML的类的状态图相结合，提出了一种基于UML 状态图的类的测试用例自动生成方法。 展开更多

关键词 统一建模语言 状态图 扩展的有限状态机 基于规约的测试 测试用例生成 唯一输入输出

在线阅读 下载PDF 职称材料

XML相关标准综述 被引量：26

4

作者 杨建武 陈晓鸥 《计算机科学》 CSCD 北大核心 2002年第2期25-28,共4页

1引言随着Internet的迅速发展,XML(eXtensible MarkupLanguage,可扩展置标语言)以其自身的独特优点,经过短短几年的发展,已被广泛接受并成为研究与应用的热点.XML 1.0[1]是国际组织W3C于1998年2月正式推出的.它是为适应Web的应用,对国... 1引言随着Internet的迅速发展,XML(eXtensible MarkupLanguage,可扩展置标语言)以其自身的独特优点,经过短短几年的发展,已被广泛接受并成为研究与应用的热点.XML 1.0[1]是国际组织W3C于1998年2月正式推出的.它是为适应Web的应用,对国际标准ISO8879 SGML(标准通用置标语言)进行简化形成的通用置标语言. 展开更多

关键词 XML 统一建模语言 可扩展置标语言 标准 超文本置标语言 INTERNET

在线阅读 下载PDF 职称材料

带OCL的活动图多态性测试用例生成方法 被引量：3

5

作者 曾一 丁娜 邹明 《计算机工程》 CAS CSCD 2012年第10期34-37,共4页

研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历... 研究UML活动图多态性测试用例的生成方法。形式化定义活动图,结合由类图、OCL约束和Liskov替换原则确定的多态性方法类集,扩展活动图中含多态信息的节点,得到多态扩展活动图。利用测试路径构造方法和覆盖准则,对多态扩展活动图进行遍历,生成测试用例。实验结果表明,该方法能生成含多态性信息的测试用例,提高测试覆盖度。 展开更多

关键词 统一建模语言 对象约束语言 扩展活动图 多态性方法集 测试用例

在线阅读 下载PDF 职称材料

CELTS测试系统的架构设计 被引量：3

6

作者 吴砥 杨宗凯 +1 位作者 程文青 鄢琨 《电化教育研究》 CSSCI 北大核心 2004年第7期50-52,58,共4页

中国教育信息化技术标准 (CELTS) [1] 正式颁布之后 ,需要一种有效的手段来约束标准的正确执行 ,才能保证标准的顺利推广 ,于是 ,研制一套能对教育信息化应用软件和资源产品进行自动化测试的CELTS测试系统就成为迫切的需要。由于CELTS... 中国教育信息化技术标准 (CELTS) [1] 正式颁布之后 ,需要一种有效的手段来约束标准的正确执行 ,才能保证标准的顺利推广 ,于是 ,研制一套能对教育信息化应用软件和资源产品进行自动化测试的CELTS测试系统就成为迫切的需要。由于CELTS体系自身具有的多而全的特点 ,测试系统的框架不可能设计成大一统的结构。为此 ,我们在实际设计中提出了一种层次式的松耦合系统模型 ,有效解决了统一与分散的矛盾 ,实际实现中取得了成功。 展开更多

关键词 教育标准 标准测试 可扩展标记语言

在线阅读 下载PDF 职称材料

金属材料断裂力学柔度测试技术的问题与发展 被引量：12

7

作者 蔡力勋 包陈 金蕾 《中国测试》 CAS 2009年第1期9-18,共10页

研究了ASTM、ISO、GB断裂测试规范中推荐的柔度测试技术所存在的不同程度的局部性和系统性问题，提出了修订规范的相关方法和新公式。提出并推荐了应用直通型FFCT（Front—force compact tensile）试样和SEB（Single eedged bending）... 研究了ASTM、ISO、GB断裂测试规范中推荐的柔度测试技术所存在的不同程度的局部性和系统性问题，提出了修订规范的相关方法和新公式。提出并推荐了应用直通型FFCT（Front—force compact tensile）试样和SEB（Single eedged bending）试样的相关延性断裂韧度柔度测试方法和成套新公式；首次发现ASTM E813-E1820、ISO 12135—2002（E）及国标GB2038—91、GB21143—2007关于LLCT（Loading—line compact tensile）试样执行了近三十年的裂纹面旋转柔度修正公式的错误，在给出清楚柔度定义和新图解的基础上提出并推荐了应用FFCT和LLCT试样的柔度修正新公式；讨论了在疲劳裂纹扩展测试中克服COD引伸计惯性力效应的解决方法；研究了直通型CT试样用于高温疲劳裂纹扩展的柔度测试问题，提出了点触式高温柔度测试方法。 展开更多

关键词 柔度 断裂力学 裂纹长度 标准 断裂韧性 疲劳裂纹扩展 高温 计算机辅助测试 MTS

在线阅读 下载PDF 职称材料

基于事件消息驱动的Petri网的类族测试用例生成技术的研究 被引量：3

8

作者 龚红仿 李军义 邹北骥 《计算机应用》 CSCD 北大核心 2005年第1期65-68,共4页

在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状... 在类族交互测试的正交阵列测试系统(OATS)生成测试用例的方法中,存在类的状态盲目组合而导致测试用例"爆炸"以及标准正交阵列不易扩充的问题。提出了基于EMDPN的类的状态组合的标记关联递推算法,通过类族之间的层次级别与状态级别的优选组合产生交互路径,在证明生成交互路径数定理的基础上,得到了基于EMDPN模型的扩展的正交阵列测试系统(EOATS)的类族交互测试用例的生成方法,优化OATS。在讨论类族交互测试的覆盖率问题时,给出了类族交互测试的同步消息序列测试标准(SMSC),阐明了新的EOATS方法具有良好的覆盖性。 展开更多

关键词 类族交互测试 测试用例生成 事件消息驱动Petri网 扩展的正交阵列测试系统 标记关 联递推法 同步消息序列 测试覆盖标准

在线阅读 下载PDF 职称材料

基于UML规格说明的增量式测试用例生成

9

作者 卢炎生 郭红涛 +1 位作者 谢晓东 毛澄映 《计算机工程与科学》 CSCD 2006年第4期53-55,共3页

测试用例的生成是软件测试的关键环节。本文把基于UML的规格说明和扩展的有限自动机结合起来,利用矩阵存储扩展自动机的状态和状态转换信息,用伪等价类生成树递增地生成测试用例,对类测试的测试用例自动生成作了有益的探讨。

关键词 测试生成 统一建模语言 扩展有限自动机 增量测试方法

在线阅读 下载PDF 职称材料

基于UML模型的统计测试方法研究

10

作者 朱虹虹 熊光泽 +1 位作者 雷航 桑楠 《计算机科学》 CSCD 北大核心 2005年第8期219-222,共4页

为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,... 为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。 展开更多

关键词 统计测试 使用模型 UML模型 马尔可夫链 有限状态机 测试方法 统一建模语言UML 形式化描述 可测试性 工业标准

在线阅读 下载PDF 职称材料

安捷伦科技借助新款3GPP LTE Signal Studio和VSA软件功能扩展在LTE领域的领先优势

11

《电子测量技术》 2010年第5期126-127,共2页

关键词 STUDIO软件 安捷伦科技公司 SIGNAL 3GPP 标准一致性测试 LTE VSA 功能扩展

在线阅读 下载PDF 职称材料

一种利用UML创建XML Schema词汇表的方法 被引量：3

12

作者 王茹 宋瀚涛 《计算机工程》 CAS CSCD 北大核心 2003年第6期173-175,共3页

描述了一种使用UML的建模语言来创建可扩展标记语言方案(XML Schema)词汇表的方法，从而使得XML Schema词汇表的创建能够可视化、标准化地进行。

关键词 统一建模语言 可扩展标记语言 词汇表 XMLSCHEMA UML 标准化 Internet

在线阅读 下载PDF 职称材料

基于XML的录井数据表达的研究

13

作者 刘世翔 薛林福 《科学技术与工程》 2007年第18期4621-4624,4634,共5页

作为数据表示的一个开放标准,XML语言给Web应用乃至网络计算注入了新的活力。论述了XML的发展、优点、地位以及相关标准,提出了利用XML来表示录井数据的方法,并利用UML语言建立了录井数据的概念和逻辑模型,并通过一个录井资料来说明模... 作为数据表示的一个开放标准,XML语言给Web应用乃至网络计算注入了新的活力。论述了XML的发展、优点、地位以及相关标准,提出了利用XML来表示录井数据的方法,并利用UML语言建立了录井数据的概念和逻辑模型,并通过一个录井资料来说明模型的建立过程以及XML如何对录井数据进行显示和处理。 展开更多

关键词 可扩展标记语言 统一建模语言 标准 录井数据

在线阅读 下载PDF 职称材料