U2TP到TTCN-3自动转换的研究与实现

来源 :计算机科学 | 被引量 : 0次 | 上传用户：frenta

【摘要】

：

在系统建模阶段使用UML 2.0Testing Profile(U2TP)集成测试信息,不仅可以使系统开发者在系统建模初期就获得对测试的整体观念,还可以从初始阶段就限制测试例的数量。The Test

【作者】

：

侯晓媛王显荣李华沈维维

【机构】

：

内蒙古大学计算机学院

【出处】

：

计算机科学

【发表日期】

：

2014年S1期

【关键词】

：

U2TP TTCN-3 ATS 自动转换 U2TP TTCN-3 ATS Automatic transformation

【基金项目】

：

国家自然科学基金:面向属性的CPN建模及On the Fly辅助的测试生成方法研究(61163011)资助

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在系统建模阶段使用UML 2.0Testing Profile(U2TP)集成测试信息,不仅可以使系统开发者在系统建模初期就获得对测试的整体观念,还可以从初始阶段就限制测试例的数量。The Testing and Test Control Notation version(TTCN-3)具有完善、成熟的测试平台,因而将TTCN-3作为U2TP转换的目标测试语言。U2TP测试模型到TTCN-3Abstract test suite(ATS)自动转换系统的开发,可以在一定程度上减少在测试中代码量的开发。核心部

其他文献

一种电力线载波路由远程升级方法

提出一种电力线载波路由软管理平台远程升级方法，以实现路由管理平台的安全可靠、低廉成本的远程管理。该方法设计了一套完整的通信协议和升级流程，并提出了避免盲目升级、断点

期刊

路由管理平台实时更新电力线载波通信自动抄表安全可靠Routing management platform Real-time update L-

P690QL1钢板低温冲击性能不合格原因分析与探讨

为找出P690QL1钢板低温冲击性能不合格原因,利用金相显微镜、扫描电镜、能谱分析等手段对不合格试样进行成分、组织、低倍和夹杂物分析,结果表明:氮化物和硫化物夹杂是造成冲

期刊

P690QL1低温冲击性能夹杂物冷却强度P690QL1Low temperature impact propertiesInclusionCool

Flou值模糊集的分解定理

为了弥补区间值模糊集和三参数模糊集在模糊信息表达方面的不足,在Flou集的基础上,提出了一种新的L模糊集———Flou值模糊集,并用投票模型对其作出解释。定义了8种Flou值模

期刊

模糊集Flou集Flou值模糊集截集分解定理Fuzzy set Flou set Flou-valued set Cut set Decomp

改进的BPSO的特征基因选择方法及其在结肠癌检测中的应用研究

为了避免二进制粒子群算法（BI）SO）容易陷入局部极值的缺陷，提出了一种改进的二进制粒子群算法（IBP—S0）。该算法在运行过程中引入遗传算法的交叉和变异策略，以便增加种群的多样性，避

期刊

特征选择粒子群算法优化支持向量机秩和检验Feature selection Particle swarm optimization algorithm

U2TP到TTCN-3自动转换的研究与实现

其他学术论文