【摘 要】
：
将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试
【机 构】
：
北京航空航天大学可靠性与系统工程学院,航空电子系统综合技术国防科技重点实验室
【基金项目】
：
国家高技术研究发展计划(863计划)资助(2007AA01Z145);航空科学基金(20095551025)资助课题
论文部分内容阅读
将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实时扩展方法。最后,结合航空电子系统嵌入式软件测试用例生成过程,详细阐述了被测系统的静态和动态建模,提出了扩展的测试序列定义及其生成方法,最终将所生成测试用例采用扩展标记语言(extensible markup language,XML)格式存储。工程应用验证表明,上述方法可充分发挥UML作为工业标准的工具资源优势,提高嵌入式软件测试用例生成的准确性、有效性和自动化程度。
其他文献
<正>2013年12月26日,笔者所在的工作室就《二次函数的图象和性质(2)》这节课进行了的同题异构教学活动,本文是在听课、评课、反思的基础上形成的,期待专家和同行的指点.一、
乌鸡白凤丸是我国传统中医治疗妇科疾病的经典名方。该文介绍了其近年来临床应用研究的进展情况。
文章具体介绍了苏州银行科技贷款工作,重点阐述了"科贷通"项目的特色和优势。
3G时代为移动终端提供了较高带宽,为移动终端富媒体开发提供了无线可能。手机动漫在国内市场一直都是个空白,目前中国移动提供的手机动漫业务篇幅小、内容少,并不具有动漫特
目的:本研究旨在考察不同情境中道德判断的性别差异:不同性别的被试在不同情境中的道德判断,以及不同性别的道德判断主体对道德判断的影响。方法:本研究在文献综述的基础上,
领导-部属交换理论从领导和部属的对偶关系中考察领导行为及其对下属的绩效、组织承诺等结果变量的影响。文章回顾了领导-部属交换的文献,对于它的概念、理论基础、结构、测
目的探讨浆细胞骨髓瘤的影像学特征。方法回顾性分析15例经手术病理证实为浆细胞骨髓瘤患者的影像学表现。13例患者摄有X射线片,9例行CT检查,6例行磁共振成像(MRI)检查。结果
文章对精益六西格玛测量系统分析的概念和内容进行了介绍,对测量系统分析的R&R模型进行了分析,详细阐述了均值极差法和方差分析法,并对测量系统分析方法进行了比较,最后结合
服务业FDI流入对东道国就业的影响包括就业数量和就业质量两个方面:前者又可以分为直接影响和间接影响两个层次,从影响方式来看,既有“就业创造效应”,也有“就业替代效应”;
神经鞘瘤是周围神经中常见的良性肿瘤,一般很少恶变。文章综述了神经鞘瘤的病理、诊断及治疗。