切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于模型驱动的嵌入式软件测试技术研究
基于模型驱动的嵌入式软件测试技术研究
来源 :网络空间安全 | 被引量 : 0次 | 上传用户:qq540531049
【摘 要】
:
软件测试是保证软件可靠性的一种最重要的手段,而软件自动化测试又是保证软件测试效率的一种十分有效的方式。基于模型驱动的软件测试是一种自动化程度较高的测试方法。论文对
【作 者】
:
雷海申
王轶辰
【机 构】
:
北京航空航天大学可靠性与系统工程学院
【出 处】
:
网络空间安全
【发表日期】
:
2016年8期
【关键词】
:
模型驱动测试
测试需求建模
UML
MARTE
model driven testing test requirements modeling uml mart
【基金项目】
:
受航空基金--基于模型的时问触发飞控系统测试技术研究支持.
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是保证软件可靠性的一种最重要的手段,而软件自动化测试又是保证软件测试效率的一种十分有效的方式。基于模型驱动的软件测试是一种自动化程度较高的测试方法。论文对模型驱动测试技术进行了综述,对测试需求建模、PIM转换到测试模型、测试用例生成方法的相关文献进行了调研。
其他文献
信息技术与初中语文阅读教学整合的探索
网络信息时代,绝大部分人是通过网络来进行资源信息的获取。中学语文阅读教学也在不断改革与创新,把语文教学与信息技术结合起来,符合教学改革的发展趋势,也符合时代的需求。
期刊
信息技术
初中语文
阅读教学
整合
出版品牌的构建与解读
国内对出版品牌的研究多侧重于某个具体的子项目及其运作,对出版品牌的整体构建研讨不足,因此本文分析了出版品牌的整体构建,将出版品牌分为个人品牌、出版产品品牌、出版企
期刊
出版品牌
品牌构建
近海大气环境下改进的氯离子扩散模型方法
钢筋锈蚀是造成钢筋混凝土桥梁破坏的重要原因之一,氯离子侵蚀是近海大气区钢筋锈蚀的首要因素。在Fick第二定律的基础上,基于持续荷载影响,提出了考虑温湿度因素影响下的改
期刊
钢筋混凝土
锈蚀
持续荷载
湿度
温度
氯离子扩散模型
reinforced concretecorrosionsustained loadtemperatur
中人氟安化疗在进展期胃癌患者术中的应用
目的探讨中人氟安化疗在进展期胃癌患者术中的疗效及对患者生存率、转移率的影响。方法54例进展期胃癌患者在胃癌根治术中行中人氟安800 mg腹腔内植入化疗法;52例进展期胃癌
期刊
中人氟安
进展期胃癌
Fluorouracil Advanced gastric cancer
计划经济向市场经济转换中农业银行经营面临的突出矛盾及对策
本文论述了由计划经济向市场经济转换中农业银行经营面临的五个新变化,以及由此带来的五个冲击,主要分析了农业银行在市场经济竞争中的优劣势,并在此基础上,提出了重构农业银
期刊
计划经济
市场经济
农业银行
经营
浅析远程开放教育在语文教学“板块式”教学模式中的运用
板块式教学充分体现学生为主体、教师为主导这一教学原则,适合远程教学的需要。
期刊
远程教育
板块式教学
教学实践
论立德树人是我国高校的立身之本
全国高校思想政治工作会议指出,高校立身之本在于立德树人[1]。高校要把立德树人作为育人的中心环节,贯穿课堂教学和大学生日常管理过程的始终,努力开创我国高等教育事业发展
期刊
立德树人
立身之本
高校思想政治工作
高力士研究四题——以高力士及其后嗣的碑志为中心
关于高力士及其后嗣家族的生平事迹,传统的唐代史料虽有所提及,惜多语焉不详,某些重要史实依然缺载。幸好解放后新出土的数方高氏碑志,为此提供了重要线索。本文以高氏碑志为中心
期刊
高力士
名讳
佛教
历官与爵赏
后嗣
Gao Lishi
Name
Buddhism
Career&Knight
Descendant
中国将建世界上最深的高铁站
期刊
高等教育
英语
阅读
理解
提高学生中长跑成绩的方法初探
在课改强调的"以人为本"精神的指导下,本文通过对中学体育教学中提高学生中长跑成绩的方法进行探讨,揭示了在体育教学中,尊重学生的主体地位,充分考虑不同学生的生理特点及知
期刊
娱乐氛围
心理训练
快乐体育
课本教材
与本文相关的学术论文