UML 测试剖面技术研究与进展

来源 :第十四届全国容错计算学术会议 | 被引量 : 0次 | 上传用户:lzy19900924
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
  UML模型主要用于描述系统的结构和行为,不适用于描述软件测试的相关内容,如测试配置、测试过程等,所以Object Management Group 组织提出了UML Testing Profile 来支持模型驱动的测试。本文介绍了UTP的特点、基本概念和结构,讨论了从设计模型到测试模型的转化、UTP测试模型到可执行测试语言转化技术以及基于UTP的测试流程,最后指出了该领域存在的主要问题及难点,对未来的工作进行了展望。
其他文献
  高端容错计算机最重要的评测指标之一就是容错性能,故障注入是评测容错性能最有效的评测方法。本文根据 历史故障分布统计,并结合目标系统的特点,提出了一种分层抽象故障集
党的十九大报告明确了新时代党的建设总要求,提出了“不断提高党的建设质量”的重大命题,为新时代中央企业党建工作指明了方向.党的十九届五中全会明确提出,高质量发展是我国
期刊
  程序变异测试是通过注入错误到程序代码中来评价测试集的一种手段,最初是用来产生有效的测试数据,具有很强的发现软件错误的能力。本文采用程序变异技术的目的却是为了获取
  对系统故障的监控、诊断、隔离和处理是保证服务器高可用性的重要手段。本文在研究服务器管理系统的框架 基础上,针对6U Compact PCI刀片服务器提出了一种双层多通道实时
  测试用例自动生成是软件测试实现自动化的前提和基础。本文针对软件结构测试的用例自动生成问题,首先选择基本路径覆盖作为测试用例的设计标准,然后提出了一种新的基于PG框
  可靠性是评价容错计算机的重要性能指标之一,评价系统的可靠性在计算机系统的设计及实现阶段都有重要意义,故障注入法是可靠性评测的一种常用方法。本文的研究利用基于JTAG
  高性能计算机广泛应用于银行、电信、航空等事务密集型行业,在线事务处理能力是高性能计算机的重要性能 指标之一。本文设计实现了一款基于LoadRunner的高性能计算机在线
  未来的纳米电路测试需要更先进的测试压缩技术。本文探讨了一种采用多维相似性测试图形的压缩方法。先提出两个种子向量的多维线性解压方法,以构成多维相似性测试图形;再研
嗨咯大家好,我是小贱,在上手了几个月华为Mate40系列之后,我真的是深深爱上了这部史上最强大的华为Mate,它让我爱上的原因除了那强大的硬件构成,接着就是那搭载的EMUI11的系
期刊
  雷达虚拟仿真系统解决了雷达操作手训练时装备故障率高的难题,但如何将雷达操作仿真显示做到与实装完全一致是个需要解决的问题,本文介绍了雷达虚拟仿真训练系统中视频单元