论文部分内容阅读
软件测试是保证软件可靠性的一种最重要的手段，而软件自动化测试又是保证软件测试效率的一种十分有效的方式。基于模型驱动的软件测试是一种自动化程度较高的测试方法。论文对模型驱动测试技术进行了综述，对测试需求建模、PIM转换到测试模型、测试用例生成方法的相关文献进行了调研。
基于模型驱动的嵌入式软件测试技术研究
【摘 要】
：
软件测试是保证软件可靠性的一种最重要的手段，而软件自动化测试又是保证软件测试效率的一种十分有效的方式。基于模型驱动的软件测试是一种自动化程度较高的测试方法。论文对
【机 构】
：
北京航空航天大学可靠性与系统工程学院
【出 处】
：
网络空间安全
【发表日期】
：
2016年8期
【基金项目】
：
受航空基金--基于模型的时问触发飞控系统测试技术研究支持.
其他文献
网络信息时代,绝大部分人是通过网络来进行资源信息的获取。中学语文阅读教学也在不断改革与创新,把语文教学与信息技术结合起来,符合教学改革的发展趋势,也符合时代的需求。
国内对出版品牌的研究多侧重于某个具体的子项目及其运作,对出版品牌的整体构建研讨不足,因此本文分析了出版品牌的整体构建,将出版品牌分为个人品牌、出版产品品牌、出版企
钢筋锈蚀是造成钢筋混凝土桥梁破坏的重要原因之一,氯离子侵蚀是近海大气区钢筋锈蚀的首要因素。在Fick第二定律的基础上,基于持续荷载影响,提出了考虑温湿度因素影响下的改
目的探讨中人氟安化疗在进展期胃癌患者术中的疗效及对患者生存率、转移率的影响。方法54例进展期胃癌患者在胃癌根治术中行中人氟安800 mg腹腔内植入化疗法;52例进展期胃癌
本文论述了由计划经济向市场经济转换中农业银行经营面临的五个新变化,以及由此带来的五个冲击,主要分析了农业银行在市场经济竞争中的优劣势,并在此基础上,提出了重构农业银
全国高校思想政治工作会议指出,高校立身之本在于立德树人[1]。高校要把立德树人作为育人的中心环节,贯穿课堂教学和大学生日常管理过程的始终,努力开创我国高等教育事业发展
关于高力士及其后嗣家族的生平事迹，传统的唐代史料虽有所提及，惜多语焉不详，某些重要史实依然缺载。幸好解放后新出土的数方高氏碑志，为此提供了重要线索。本文以高氏碑志为中心
在课改强调的"以人为本"精神的指导下,本文通过对中学体育教学中提高学生中长跑成绩的方法进行探讨,揭示了在体育教学中,尊重学生的主体地位,充分考虑不同学生的生理特点及知