收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

航天嵌入式软件任务剖面建模研究

陈小光  
【摘要】: 本文针对航天嵌入式软件特点以及软件黑盒测试所面临的问题,提出了一种任务剖面建模的方法。从用户的角度对软件系统进行数学建模,对系统是怎样的以及它会怎样被使用做出一个定量描述。通过任务剖面模型,获取测试用例和测试数据的等价类信息,为测试用例的自动生成提供基础,从而减少人为因素给测试工作带来的不确定性,提高测试的质量和效率。 本文首先介绍了软件任务剖面基本概念和理论,然后重点介绍软件任务剖面建模的算法以及根据该软件任务剖面模型自动产生测试用例的方法。最后根据以上算法和理论实现了一个原型系统。


知网文化
【相似文献】
中国期刊全文数据库 前18条
1 杨军丽;张晓辉;章慧雅;;星载设备嵌入式软件可靠性仿真测试系统设计[J];计算机仿真;2008年03期
2 赵天龙;;嵌入式软件可信性的设计和验证方法[J];西部皮革;2017年06期
3 罗西;殷静;王川;;嵌入式软件覆盖测试[J];数字技术与应用;2017年08期
4 黎晖;于宏宇;石小华;朱晓卿;;诊断仪嵌入式软件测试方法研究[J];计算机测量与控制;2015年09期
5 马可;陈蜀宇;石振明;;一种嵌入式软件的类状态测试框架设计[J];计算机系统应用;2008年01期
6 陈苏;;嵌入式软件外部质量评价方法设计[J];测试技术学报;2019年01期
7 易红;霍俊龙;王宏伟;周殿宝;;如何提高军用嵌入式软件的可靠性[J];舰船电子工程;2007年03期
8 梁立明;;嵌入式软件保护技术的探讨[J];中外企业家;2019年11期
9 丁月林;;嵌入式软件中的错误追踪机制[J];电子技术与软件工程;2019年02期
10 郭福洲;;面向安全性分析的嵌入式软件测试方法研究[J];电子世界;2019年01期
11 王涛;;嵌入式软件技术现状及发展前景[J];中国新通信;2017年20期
12 代云飞;;浅析嵌入式软件技术的现状与发展动向[J];通讯世界;2018年01期
13 霍小卫;刘江坡;;可重构嵌入式软件缺陷优化预测仿真研究[J];计算机仿真;2018年08期
14 黄婧;;关于物联网消费者和商户应该知道的5件事——澳学者提请关注嵌入式软件[J];物联网技术;2017年07期
15 高立军;;嵌入式软件技术的现状与发展动向[J];信息系统工程;2016年01期
16 董燕;王小丽;;一种星载嵌入式软件安全性测试方法[J];测控技术;2016年04期
17 曹欲晓;韩磊;吴晓彬;钱瑛;俞翔;;应用型本科嵌入式软件课程理论教学体系研究与探索[J];计算机教育;2015年16期
18 张锋;;嵌入式软件工程师:用代码编织智慧人生[J];招生考试通讯(高考版);2018年10期
中国重要会议论文全文数据库 前10条
1 张志刚;;基于动态跟踪模式的军用嵌入式软件需求质量改进方法研究[A];质量——持续发展的源动力:中国质量学术与创新论坛论文集(下)[C];2010年
2 杨云松;孙旭光;梅文华;;嵌入式软件的加解密分析[A];第六届全国计算机应用联合学术会议论文集[C];2002年
3 袁斌;;星载探测设备嵌入式软件抗干扰浅谈[A];中国空间科学学会空间探测专业委员会第十九次学术会议论文集(下册)[C];2006年
4 黎燕霞;;嵌入式软件可靠性测试的方法研究[A];2010第十五届可靠性学术年会论文集[C];2010年
5 何天添;凌志浩;;嵌入式软件模块代码测试框架的实现[A];2010中国仪器仪表学术、产业大会(论文集1)[C];2010年
6 丁伟;陈华军;许爱东;陈晓;;面向继电保护装置的嵌入式软件安全性检测技术[A];2017电力行业信息化年会论文集[C];2017年
7 袁静;胡昌华;龙勇;蔡光斌;;基于3SF技术嵌入式软件可靠性定性仿真分析[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
8 赵翠杰;;基于CDIO理念的嵌入式软件课程教学改革探索[A];2016年第一届今日财富论坛论文集[C];2016年
9 肖郑利;;以数学建模为载体,增强高职学生创新能力的探索与研究[A];探索科学2016年6月学术研讨[C];2016年
10 王瑞利;张树道;;复杂工程建模与模拟的验证与确认研究进展[A];第五届全国计算爆炸力学会议论文摘要[C];2012年
中国博士学位论文全文数据库 前10条
1 倪思如;嵌入式软件可信性建模与验证技术的研究及其应用[D];南京航空航天大学;2016年
2 高志刚;基于模型的汽车电子软件综合方法研究[D];浙江大学;2008年
3 邓阿群;面向方面技术在大规模嵌入式软件中的应用[D];浙江大学;2007年
4 夏一行;面向数字化仪器设备的嵌入式软件应用框架研究[D];浙江大学;2007年
5 鲁晓成;嵌入式软件保护关键技术研究与应用[D];武汉理工大学;2011年
6 靳涛;火电机组反向建模方法的研究[D];华北电力大学(北京);2011年
7 夏兆辉;基于统一特征表达的建模分析一体化方法与技术研究[D];华中科技大学;2016年
8 徐嘉文;概率安全分析协同建模关键技术研究与实现[D];中国科学技术大学;2016年
9 罗玲;扩展π演算的建模、验证与测试[D];西安电子科技大学;2015年
10 郭雪昆;计算机辅助三维创意建模技术[D];浙江大学;2016年
中国硕士学位论文全文数据库 前10条
1 陈小光;航天嵌入式软件任务剖面建模研究[D];中国科学院研究生院(空间科学与应用研究中心);2007年
2 胡燕京;嵌入式软件功能路径测试方法研究[D];西安理工大学;2009年
3 熊利;嵌入式软件测试用例生成方法研究[D];大连理工大学;2010年
4 王微;嵌入式软件自动回归测试方法的研究[D];内蒙古大学;2011年
5 朱丽;嵌入式软件动态测试平台的研究与实现[D];福建师范大学;2013年
6 赵繁华;基于可信的某嵌入式软件自动化测试平台的设计与实现[D];北京工业大学;2015年
7 陈佐;基于分布式架构的嵌入式软件自动化测试平台研究与实现[D];杭州电子科技大学;2018年
8 夏雷;IFPUG方法在嵌入式软件上的应用研究[D];国防科学技术大学;2016年
9 张焱;嵌入式系统应用软件WCET测试技术研究[D];湖南大学;2014年
10 林晓晨;嵌入式软件错误行为建模与可靠性评估技术研究[D];浙江大学;2018年
中国重要报纸全文数据库 前10条
1 中国电子信息产业发展研究院软件产业研究所 薛栋;我国嵌入式软件产业发展呈现四大特点[N];中国信息化周报;2017年
2 董炜艾 本报记者 王春;上海形成嵌入式人工智能产业链[N];科技日报;2017年
3 倪光南;中国应大力发展嵌入式软件[N];政府采购信息报;2011年
4 本报记者 霍娜;又是一年软洽到 嵌入式软件外包唱主角[N];中国计算机报;2010年
5 本报记者 胡英;贴近企业嵌入式软件园扎根亦庄[N];计算机世界;2010年
6 记者 杜丹丹;我市启用首个“嵌入式软件园”[N];中山日报;2009年
7 本报记者 海伦;嵌入式软件国内厂商亟待入局[N];中国电子报;2001年
8 本报记者 闫俊平;嵌入式软件是突破口[N];中国电子报;2002年
9 哲一佳师;发展嵌入式软件是突破口[N];中国电子报;2008年
10 本报记者 张学琦 莎莎;内需拉动嵌入式软件增长 重点在行业应用[N];中国电子报;2008年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978