【摘 要】
：
针对航空航天等安全关键领域里嵌入式软件测试中存在的困难，引入并研究了用户需求模型和任务剖面模型的概念及表示方法，设计并实现了基于用户需求模型的任务剖面模型自动建模算
【机 构】
：
中国科学院光电研究院,中国科学院研究生院
【基金项目】
：
中国科学院光电研究院基金项目(AOE-CX-200607)
论文部分内容阅读
针对航空航天等安全关键领域里嵌入式软件测试中存在的困难，引入并研究了用户需求模型和任务剖面模型的概念及表示方法，设计并实现了基于用户需求模型的任务剖面模型自动建模算法，进而结合Markov链模型与任务剖面模型，为任务流提取和测试用例生成工作提供依据，基于Rose可扩展接口（REI）开发了任务剖面模型自动建模工具。通过验证，肯定了上述方法与工具在嵌入式软件测试过程中的效果和价值。
其他文献
针对某型高炮射击仿真训练中存在弹道仿真精度不高、战场对抗环境粗糙简单的问题,通过采用一种新的对空射击诸元装定与弹道仿真算法,利用三维建模与视景仿真技术重建高炮抗击
首次以月桂酸为有机介质合成了γ-Fe2O3纳米晶．使用差热分析（TG-DTA）、红外光谱（FT-IR）、拉曼光谱（FT—RAMAN）、X射线粉末衍射（XRD）、扫描电镜（SEM）和透射电镜（TEM）对粉体进行结构表征．实验
【正】县川河,亦称涧河,古名沙泉河,位于山西省境内,是黄河的一级支流。《清一统志》保德州:"沙泉河,在河曲县东南一百三十里,源出宁武府五寨县,流经县界,至本州界入黄河。"
目的观察枸地氯雷他定治疗慢性荨麻疹的临床疗效及其对免疫功能的影响。方法将92例慢性荨麻疹患者按照随机数字表法分为观察组和对照组,每组46例。对照组采用氯雷他定片进行
目的:了解云南省三级以上医院、社区卫生服务中心、民办养老机构对老年护理人才的学历、数量、知识及核心能力的需求,为老年护理人才的培养提供依据。方法:采用问卷调查法对
固态硬盘供应商RUnCore近期公开新品InVincibleSSD-世界首款拥有自我毁灭功能的固态硬盘。除通过重写方式来删除所有数据外，还可通过燃烧芯片方式来完全摧毁其内部存储器和其
【正】引言有种故事在不断的被人叙述着,成为人们世世代代力量的源泉,潜移默化之中,形成我们的生命姿态,是我们据以发机的原初冲动,成为人性骨子里的东西,一种来自原乡记忆的
英国著名小说家柯南·道尔笔下的福尔摩斯探案小说,可以说在全世界读者心目中它的地位之高无法估量。中国对福尔摩斯探案小说的译介始于1896年,迄今为止,其全集著作均有中译
针对100W模拟光伏并网逆变器装置采样电路存在测量误差大、抗干扰能力和动态性能差等方面的问题,提出了采用基于STM32软件滤波和基于霍尔传感器采样滤波电路的双重检测方法,
明晰班组长在组织网络中的位置和行为对于和谐劳资关系建设具有重要意义。基于对珠三角五家制造性企业的调研，本文发现班组长在组织网络中处于信息中介、一线控制中介和工人情