【摘 要】
:
为了将模型驱动测试有效应用于嵌入式系统测试中,本文说明了需求建模方法以及用例生成方法,以及SysML建模语言中状态机图的抽象语法、图元符号和形式化语义,针对性能测试要求
【机 构】
:
北京控制工程研究所,北京轩宇信息技术有限公司
论文部分内容阅读
为了将模型驱动测试有效应用于嵌入式系统测试中,本文说明了需求建模方法以及用例生成方法,以及SysML建模语言中状态机图的抽象语法、图元符号和形式化语义,针对性能测试要求,总结了关于状态机模型的性能测试建模方法,并通过实例构建状态机图描述性能需求,建立测试场景分析方法,有效覆盖系统的性能测试类型.经验证,采用基于模型驱动的测试方法能够建立明确系统执行逻辑,构建测试最长路径等场景,保证测试的充分性和覆盖性,提升测试效率和自动化程度.
其他文献
班主任是班级管理的最干力量,班级管理的如何,直接关系到学校的教学质量。
Class teacher is the most dry class power management, class management, is directly relate
扩招十年,高校毕业生剧增,金融危机雪上加霜,就业形势严峻,国家出台了多项政策积极应对。本文主要针对大专生在择业过程中表现出来的自卑、浮躁、归因错误等心理问题作出分析
利用三峡库区丰都羊子洞石笋(Y02)230 Th测年数据和碳同位素建立了65~90ka BP时段平均分辨率为46a的石笋碳同位素时间序列.羊子洞石笋碳同位素记录显示,季风变化在MIS5b向MIS
朱熹是我国封建社会后期具有巨大影响力的一位思想家和教育家。他从事讲学活动五十多年,编著了大量书籍,将宋明理学的理论和儒家的道德规范推行到实际教学活动中,根据儿童的成长
2月5日,苏宁爱普莱斯科技工业园正式开工建设。苏宁电器连锁总裁孙为民宣称,园区一个主要功能就是作为苏宁电器在长三角地区的物流基地。不过,业界普遍认为,苏宁此举是进军家
全球超过一半的人口患有口腔疾病,口腔微生物与龋齿、牙周病、糖尿病、阿尔茨海默病、早产等全身性或慢性疾病显著相关.随着大众越来越重视口腔健康,关注口腔疾病,光学技术在
索承式桥型由于缆索和基础结构的设计寿命不一致,导致在桥梁寿命期间必然需要对缆索进行更换。针对缆索更换缺少依据多根据经验的问题,开展了磁致伸缩导波检测技术在桥梁换索
针对引信小型化、高安全需求,本文设计了一种具有低发火电压的引信用固态安全开关(ON-OFF),建立了MEMS固态控制器的数学模型,给出了MEMS固态控制器作用限定条件.并利用Matlab
针对感知自然环境中材料介电常数的应用,本文提出一种具有较好抗环境杂波的无芯片射频识别(RFID)传感器标签的设计.标签谐振器结构具有极化变换特性并含金属接地板,接收机采用正交方式收发信号,可将环境产生的干扰杂波有效滤除.标签编码由4组不对称Z型金属条带谐振器实现,结构紧凑且相互耦合小.传感谐振器的金属贴片具有阶梯型缝隙,缝隙处被测材料的介电常数影响传感谐振器的谐振频率,通过测量谐振频率实现介电常数