航天嵌入式软件任务剖面建模研究
《中国科学院研究生院（空间科学与应用研究中心）》 2007年
收藏 |
论文排版
航天嵌入式软件任务剖面建模研究
陈小光 开通知网号
【摘要】：本文针对航天嵌入式软件特点以及软件黑盒测试所面临的问题,提出了一种任务剖面建模的方法。从用户的角度对软件系统进行数学建模,对系统是怎样的以及它会怎样被使用做出一个定量描述。通过任务剖面模型,获取测试用例和测试数据的等价类信息,为测试用例的自动生成提供基础,从而减少人为因素给测试工作带来的不确定性,提高测试的质量和效率。本文首先介绍了软件任务剖面基本概念和理论,然后重点介绍软件任务剖面建模的算法以及根据该软件任务剖面模型自动产生测试用例的方法。最后根据以上算法和理论实现了一个原型系统。
【学位授予单位】：中国科学院研究生院（空间科学与应用研究中心）
【学位级别】：硕士
【学位授予年份】：2007
下载App查看全文
下载全文 更多同类文献 个人查重>>智能排版>>
(如何获取全文？ 欢迎：购买知网充值卡、在线充值、在线咨询)
CAJViewer阅读器支持CAJ、PDF文件格式
【引证文献】 中国硕士学位论文全文数据库 前1条 1 蒋汶伶;高校内部邮件系统设计与实现[D];电子科技大学;2012年 【参考文献】 中国期刊全文数据库 前4条 1 颜炯,王戟,陈火旺基于UML的软件Markov链使用模型构造研究[J];软件学报;2005年08期 2 李宗民,刘玉杰,白成刚基于Bayes方法的软件运行剖面建模[J];计算机工程与应用;2004年10期 3 曹鹏,罗自强软件Markov测试的使用链及测试充分性研究[J];舰船电子工程;2004年05期 4 阮镰,刘斌,陈雪松软件可靠性测试及其测试环境[J];测控技术;2000年02期 【相似文献】 中国期刊全文数据库 前10条 1 崔凯;赵国亮;周宽久;李明楚;一种解决嵌入式软件并发缺陷的建模方法[J];计算机科学;2020年06期 2 Stuart Cording(Elektor);禾沐;先编程，后测试?[J];单片机与嵌入式系统应用;2021年09期 3 张恒;嵌入式软件目标平台硬件与行为可视化建模技术[J];计算机产品与流通;2020年05期 4 刘煜;嵌入式软件平台在电力自动化装置中的应用研究[J];计算机产品与流通;2020年05期 5 罗西;殷静;王川;嵌入式软件覆盖测试[J];数字技术与应用;2017年08期 6 黎晖;于宏宇;石小华;朱晓卿;诊断仪嵌入式软件测试方法研究[J];计算机测量与控制;2015年09期 7 陈金萍;赵成喜;嵌入式软件路径覆盖测试用例生成仿真[J];计算机仿真;2023年07期 8 陈苏;嵌入式软件外部质量评价方法设计[J];测试技术学报;2019年01期 9 易红;霍俊龙;王宏伟;周殿宝;如何提高军用嵌入式软件的可靠性[J];舰船电子工程;2007年03期 10 刘素贞;大数据嵌入式软件在物联网技术中的应用分析[J];科技创新与应用;2023年36期 中国重要会议论文全文数据库 前10条 1 刘啸虎;易晨;周海昕;罗荣林;金磊;余再慧;智能家电嵌入式软件自动化测试探索与实现[A];2023年中国家用电器技术大会论文集[C];2023年 2 金坦;王巨智;邓文康;欧阳小龙;毕明德;核安全级就地处理显示单元嵌入式软件的设计[A];中国核科学技术进展报告（第八卷）中国核学会2023年学术年会论文集 第6册 辐射研究与应用 核技术工业应用 原子能农学 核医学 核技术经济与管理现代化 核电子学与核探测技术 辐照效应[C];2023年 3 庞红彪;杨荫钊;李欣桐;杨清华;吴一超;秦征;嵌入式软件自动化测试技术研究[A];2022年中国航空工业技术装备工程协会年会论文集[C];2022年 4 陈天兴;黄华腾;朱鸿运;莫振杰;冯子游;黄建富;高完整性嵌入式软件实现[A];2020中国汽车工程学会年会论文集（8）[C];2020年 5 张志刚;基于动态跟踪模式的军用嵌入式软件需求质量改进方法研究[A];质量——持续发展的源动力：中国质量学术与创新论坛论文集（下）[C];2010年 6 杨云松;孙旭光;梅文华;嵌入式软件的加解密分析[A];第六届全国计算机应用联合学术会议论文集[C];2002年 7 袁斌;星载探测设备嵌入式软件抗干扰浅谈[A];中国空间科学学会空间探测专业委员会第十九次学术会议论文集（下册）[C];2006年 8 黎燕霞;嵌入式软件可靠性测试的方法研究[A];2010第十五届可靠性学术年会论文集[C];2010年 9 何天添;凌志浩;嵌入式软件模块代码测试框架的实现[A];2010中国仪器仪表学术、产业大会（论文集1）[C];2010年 10 丁伟;陈华军;许爱东;陈晓;面向继电保护装置的嵌入式软件安全性检测技术[A];2017电力行业信息化年会论文集[C];2017年 中国博士学位论文全文数据库 前10条 1 倪思如;嵌入式软件可信性建模与验证技术的研究及其应用[D];南京航空航天大学;2016年 2 鲁晓成;嵌入式软件保护关键技术研究与应用[D];武汉理工大学;2011年 3 崔凯;嵌入式软件形式化建模与测试方法研究[D];大连理工大学;2020年 4 靳涛;火电机组反向建模方法的研究[D];华北电力大学（北京）;2011年 5 李青;学习活动建模[D];华东师范大学;2005年 6 夏兆辉;基于统一特征表达的建模分析一体化方法与技术研究[D];华中科技大学;2016年 7 李明振;数学建模的认知机制及其教学策略研究[D];西南大学;2007年 8 赵树峰;数学建模教育的素质培养内涵与文化特征[D];吉林大学;2008年 9 徐嘉文;概率安全分析协同建模关键技术研究与实现[D];中国科学技术大学;2016年 10 曹筠;宏观经济预测系统集成建模方法与定性仿真研究[D];哈尔滨工程大学;2006年 中国硕士学位论文全文数据库 前10条 1 陈小光;航天嵌入式软件任务剖面建模研究[D];中国科学院研究生院（空间科学与应用研究中心）;2007年 2 胡燕京;嵌入式软件功能路径测试方法研究[D];西安理工大学;2009年 3 熊利;嵌入式软件测试用例生成方法研究[D];大连理工大学;2010年 4 贾志远;嵌入式软件安全检测的关键技术研究[D];长春工业大学;2020年 5 王微;嵌入式软件自动回归测试方法的研究[D];内蒙古大学;2011年 6 朱丽;嵌入式软件动态测试平台的研究与实现[D];福建师范大学;2013年 7 高化琦;虚拟仿真环境下嵌入式软件高效自动化测试技术及应用研究[D];杭州电子科技大学;2019年 8 赵繁华;基于可信的某嵌入式软件自动化测试平台的设计与实现[D];北京工业大学;2015年 9 陈佐;基于分布式架构的嵌入式软件自动化测试平台研究与实现[D];杭州电子科技大学;2018年 10 夏雷;IFPUG方法在嵌入式软件上的应用研究[D];国防科学技术大学;2016年 中国重要报纸全文数据库 前10条 1 董炜艾 本报记者 王春;上海形成嵌入式人工智能产业链[N];科技日报;2017年 2 本报记者 霍娜;又是一年软洽到 嵌入式软件外包唱主角[N];中国计算机报;2010年 3 本报记者 胡英;贴近企业嵌入式软件园扎根亦庄[N];计算机世界;2010年 4 记者 杜丹丹;我市启用首个“嵌入式软件园”[N];中山日报;2009年 5 本报记者 海伦;嵌入式软件国内厂商亟待入局[N];中国电子报;2001年 6 本报记者 闫俊平;嵌入式软件是突破口[N];中国电子报;2002年 7 本报记者 张学琦 莎莎;内需拉动嵌入式软件增长 重点在行业应用[N];中国电子报;2008年 8 ;深圳市爱国者嵌入式系统科技有限公司总经理朱明程：嵌入式软件既是挑战也是机遇[N];中国电子报;2009年 9 实习记者 郭鹏记者 李佳师 张学琦 莎莎;政策推动嵌入式软件发展 产业链和人才是“短板”[N];中国电子报;2008年 10 周瑜蔡炜;常州软件业主攻嵌入式软件[N];新华日报;2008年
相关知识
航天嵌入式软件任务剖面建模研究
非球颗粒建模方法改进和输送机工作过程分析软件研制
基于蒙特卡洛建模仿真的广州地铁三号线列车发车时间间隔研究
景观设计需要学什么软件
基于草图的花开建模与动画
“经过太空诱变后，它们香气更浓！”云南咖啡、核桃、松茸……登上太空，载人航天助力太空育种
好用的园林设计软件
城市供水管网DMA实时建模及应用研究
园林景观设计用什么软件,可以做园林景观设计的软件盘点
软件工具对比：选择最适合你的效果图制作平台
网址: 航天嵌入式软件任务剖面建模研究 https://m.huajiangbk.com/newsview45721.html
