收藏本站
《中国科学院大学(中国科学院国家空间科学中心)》 2018年
收藏 | 手机打开
二维码
手机客户端打开本文

有效载荷系统测试用例智能规划方法研究

王静  
【摘要】:空间科学卫星孕育着科学上的重大突破与发现,其对有效载荷系统的高可靠性和安全性指标的实现依赖于充分有效的地面测试验证和实验。有效载荷系统地面综合测试是验证有效载荷系统设计的重要环节,其测试用例的设计需要综合设备级/系统级设计,如功能设计、工作模式设计、遥控/遥测指令设计,以及测试要求等多方面因素,是一项复杂的综合性设计工作。随着航天技术的发展以及空间科学领域探索的深入,承担科学任务的有效载荷系统日益复杂化,为提高测试用例规划的效率和测试用例的有效性,对有效载荷系统测试用例智能规划方法进行深入研究,设计以知识为核心的有效载荷系统测试用例智能规划体系架构,提出本体知识模型与群智能算法相结合的测试用例智能规划方法。首先,基于对有效载荷系统知识特点及地面综合测试的测试需求的分析,构建有效载荷系统知识模型。深入研究有效载荷系统特征,提出有效载荷系统层次知识结构(Hierarchical Knowledge Structure Payload System,HKSPS),将其知识空间划分为系统级、元素级、行为级以及元级四个层次,分析各层次知识结构及其形式化模型,在此基础上构建有效载荷系统领域本体知识模型,充分描述有效载荷系统的宏观行为和微观结构知识,为测试用例规划提供知识基础。其次,依据有效载荷系统知识模型,设计功能序列智能规划方法。针对传统回溯算法在求解功能序列规划问题中搜索效率较低的问题,提出基于“择劣变异”(Worst Individual Mutation,WIM)策略的协同遗传算法(Co-evolution Genetic Algorithm,CGA)的改进算法WIM-CGA,充分利用原有CGA算法的“生存期适应度评估”思想的优势,并采用双路线的进化方案,即“择优实施标准遗传,择劣实施变异”,提高求解精度及搜索效率。仿真分析表明,不同问题规模下,所提WIM-CGA算法均比CGA算法具有更优的搜索性能。最后,为提升测试用例的有效性,研究有效载荷系统功能优先排序问题,实现对测试用例的优化。针对Ant-Q算法在求解多目标的优先排序问题时存在搜索效率较低、易陷入局部最优的问题,提出其改进算法MMAS-AQ算法,一方面,应用最大最小蚁群算法(Max-Min Ant System,MMAS)改进标准蚁群算法,并重新定义信息素的计算方法、边界设置、转移概率等;另一方面,提出自适应小批量更新规则改进信息素的更新策略。仿真分析表明,所提MMAS-AQ算法在不同问题规模下均可有效改善局部最优的不足,具有更高的求解效率。应用某型号科学卫星的有效载荷系统对所提方法进行实验验证,实验结果表明,有效载荷系统知识模型可以充分描述领域知识,为测试用例规划提供完备的知识,且测试用例规划效率高,实例中规划功能规模为25的测试用例耗时约为3.20 s,同时,其APFD指标相比未优化的测试用例提高了2.88个百分点,具有较高的故障检测效率。本文提出的测试用例智能规划方法满足有效载荷系统地面综合测试中测试用例的设计要求,可以提高测试用例规划效率和测试用例的有效性,为有效载荷系统地面综合测试技术的智能化发展提供理论依据及参考价值。
【学位授予单位】:中国科学院大学(中国科学院国家空间科学中心)
【学位级别】:博士
【学位授予年份】:2018
【分类号】:V474.1

手机知网App
【参考文献】
中国期刊全文数据库 前10条
1 张娜;姚澜;包晓安;董萌;桂宁;;多目标优化的测试用例优先级在线调整策略[J];软件学报;2015年10期
2 米永强;高岳林;;求解约束优化问题的改进粒子群优化算法[J];江西师范大学学报(自然科学版);2015年01期
3 吕笑慰;王华茂;闫金栋;;基于状态图的航天器测试用例设计[J];航天器工程;2014年06期
4 孙花;朱锦新;;基于Q学习和双向ACO算法的云计算任务资源分配模型设计[J];计算机测量与控制;2014年10期
5 王子元;陈林;汪鹏;仉雪玲;;改进的测试用例错误检测效率度量方法(英文)[J];Journal of Southeast University(English Edition);2014年03期
6 顾聪慧;李征;赵瑞莲;;基于ACO的测试用例预优化及参数影响分析[J];计算机科学与探索;2014年12期
7 冯秋燕;;基于UML模型的系统级测试用例生成方法[J];计算机应用;2014年01期
8 张智轶;陈振宇;徐宝文;杨瑞;;测试用例演化研究进展[J];软件学报;2013年04期
9 耿技;聂鹏;秦志光;;软件确保智能测试用例生成PSO算法进展研究[J];电子科技大学学报;2012年06期
10 马永杰;云文霞;;遗传算法研究进展[J];计算机应用研究;2012年04期
中国博士学位论文全文数据库 前3条
1 张庆科;粒子群优化算法及差分进行算法研究[D];山东大学;2017年
2 魏圆圆;基于本体论的农业知识建模及推理研究[D];中国科学技术大学;2011年
3 廖守亿;复杂系统基于Agent的建模与仿真方法研究及应用[D];国防科学技术大学;2005年
中国硕士学位论文全文数据库 前10条
1 李玉峰;基于改进量子蚁群算法的测试用例约简方法研究[D];大连海事大学;2016年
2 刘红宇;基于FSM模型的测试方案生成方法研究[D];北京工业大学;2015年
3 傅鹏;多目标广义蚁群算法的收敛性、收敛速度和算法复杂度研究及其应用[D];南京邮电大学;2014年
4 顾聪慧;多目标测试用例预优化的ACO算法及参数优化[D];北京化工大学;2014年
5 孙淑洁;基于扩展Petri网的多式联运流程优化与仿真[D];中南大学;2013年
6 李金蓉;基于改进的蚁群算法在测试用例集约简问题上的应用研究[D];华南理工大学;2013年
7 顾娟;基于FSM的启发式测试序列生成方法研究及其应用[D];北京邮电大学;2013年
8 彭稷栋;基于改进遗传算法的测试用例自动生成应用研究[D];江西理工大学;2012年
9 吴道华;基于着色Petri网的测试用例生成及其在列控系统中的应用[D];北京交通大学;2010年
10 仲晓芳;基于回归测试的测试用例优先级的研究与应用[D];中国海洋大学;2010年
【共引文献】
中国期刊全文数据库 前10条
1 余万;李春;杨阳;张杨;;基于遗传算法的定速定桨距HATT叶片优化设计[J];能源工程;2015年06期
2 马啸;陈飞翔;彭俊杰;;复杂地形三角网格局部渐进传输方法[J];测绘学报;2015年S1期
3 王培崇;钱旭;;改进的双种群竞争教与学优化算法[J];计算机工程与应用;2015年24期
4 杨旭娟;李宇龙;李兆军;颜瑞;张振;;上悬式离心机主轴系统的优化设计[J];装备制造技术;2015年11期
5 廖洪一;王欣;;极限学习机在机场旅客吞吐量预测中的应用[J];计算机系统应用;2015年11期
6 李立刚;侯胜坤;戴永寿;李隆浩;王亚龙;;基于DSG模型的测试用例自动生成方法[J];小型微型计算机系统;2015年11期
7 王泽;张宏军;张睿;贺邓超;;基于遗传算法与密度及距离计算的聚类方法[J];计算机应用;2015年11期
8 李翘婕;姜瑛;;基于反馈结果的测试用例选择策略[J];价值工程;2015年30期
9 张酌远;张志忠;王炼红;;改进蝙蝠算法及其在商旅问题的应用[J];电脑与信息技术;2015年05期
10 马道远;庄方方;徐振亮;;基于遗传算法的冲击响应谱时域合成方法[J];强度与环境;2015年05期
中国博士学位论文全文数据库 前10条
1 张永成;地铁深基坑施工安全专项方案知识重用建模及优化研究[D];华中科技大学;2019年
2 王静;有效载荷系统测试用例智能规划方法研究[D];中国科学院大学(中国科学院国家空间科学中心);2018年
3 马屈杨;往复压缩机及其管路系统气流脉动抑制方法研究[D];北京化工大学;2018年
4 吴小涛;基于变分模态分解和相关向量机的太阳辐照度预测模型研究[D];华中科技大学;2018年
5 付云骁;智能安全工程及其在轨道列车关键设备安全状态辨识的应用研究[D];北京交通大学;2017年
6 董静;食用菌规模化生产监控云服务方法研究[D];中国农业大学;2017年
7 傅柱;产品概念设计中基于知识流的语义化知识管理关键技术及其应用研究[D];南京理工大学;2018年
8 陈昱;商业生态系统视角下东盟信息服务业成长机制研究[D];云南大学;2016年
9 严筱;低碳交通背景下中国新能源汽车的市场扩散研究[D];中国地质大学;2016年
10 龚承柱;天然气终端市场定价模型与政策模拟研究[D];中国地质大学;2016年
中国硕士学位论文全文数据库 前10条
1 李强;基于差分进化算法的Web服务组合研究[D];南京邮电大学;2018年
2 张严凯;基于蚁群算法的云制造服务组合优化研究[D];南京邮电大学;2018年
3 孙萌;协同进化蚁群优化算法研究及在枢纽机场停机位分配中的应用[D];大连交通大学;2018年
4 李磊;智能泊车服务系统的设计与实现[D];安徽师范大学;2018年
5 袁文超;基于元素树的Linux GUI自动化测试方法研究[D];山东农业大学;2018年
6 殷允浩;飞行器平台管理分系统地面通用测试软件的设计与实现[D];电子科技大学;2018年
7 杨杰;基于Markov链的可靠性测试用例自动生成技术[D];杭州电子科技大学;2018年
8 熊子健;基于自适应遗传算法的测试用例生成技术研究[D];浙江理工大学;2018年
9 任超杰;面向安卓应用的测试用例集约简与执行方法研究[D];西安理工大学;2017年
10 崔亦博;CBTC系统软件测试自动化的研究[D];中国铁道科学研究院;2017年
【二级参考文献】
中国期刊全文数据库 前10条
1 张建华;吴恒;张文博;;云计算核心技术研究综述[J];小型微型计算机系统;2013年11期
2 柴玉梅;冯秋燕;王黎明;;基于UML模型和OCL约束的类间交互测试用例生成方法研究[J];电子学报;2013年06期
3 陈翔;陈继红;鞠小林;顾庆;;回归测试中的测试用例优先排序技术述评[J];软件学报;2013年08期
4 柯何杨;杨群;王立松;段汐;;同构Hadoop集群环境下改进的延迟调度算法[J];计算机应用研究;2013年05期
5 张瑶;白晓颖;张任伟;陆皓;;一种基于模型的测试充分性评估方法[J];计算机科学;2013年02期
6 师雪霖清华大学计算机科学与技术系 清华信息科学与技术国家实验室(筹);徐恪;;云虚拟机资源分配的效用最大化模型[J];计算机学报;2013年02期
7 刘衍民;;一种求解约束优化问题的混合粒子群算法[J];清华大学学报(自然科学版);2013年02期
8 段赵磊;朱会东;;ECluster:一种面向数据密集计算的弹性集群[J];微电子学与计算机;2013年02期
9 何浩;程春玲;张征宇;张登银;;基于SilkTest和XML的通用高效的用户界面测试方法[J];计算机应用;2013年01期
10 刘继华;陈策;;基于变迁的完全路径覆盖测试[J];计算机应用;2012年11期
中国博士学位论文全文数据库 前2条
1 王晓东;基于Ontology知识库系统建模与应用研究[D];华东师范大学;2003年
2 李宏亮;基于Agent的复杂系统分布仿真[D];国防科学技术大学;2001年
中国硕士学位论文全文数据库 前10条
1 李维岩;基于HFSM模型的测试方案生成研究[D];北京工业大学;2014年
2 薛晶晶;基于时间Petri网的内陆港集装箱物流系统的建模与仿真[D];长安大学;2012年
3 张瑞;基于改进蚁群算法的测试用例集约简技术研究[D];华南理工大学;2012年
4 赵慧娟;基于符号执行与遗传算法的单元测试研究与应用[D];北京交通大学;2011年
5 代云华;基于拓扑调度的软件自动化测试技术的研究与实现[D];西南交通大学;2011年
6 张玉中;基于GA的软件测试用例自动生成技术研究[D];成都理工大学;2011年
7 汪志宾;模型驱动的协议一致性测试系统的研究与实现[D];中国科学技术大学;2011年
8 李柱;用于测试用例生成的遗传算法改进[D];西南大学;2011年
9 杨清平;基于改进遗传算法的测试用例自动生成研究[D];广东工业大学;2011年
10 陈琳;嵌入式软件自动化测试平台的研究与实现[D];南京航空航天大学;2010年
【相似文献】
中国期刊全文数据库 前10条
1 叶素梅;肖寒;;基于测试用例库的复用方法研究[J];电脑知识与技术;2018年32期
2 王曙燕;陈朋媛;孙家泽;;基于变异分析的测试用例约简方法[J];计算机应用;2017年12期
3 杨军;卢彩霞;黄辰;王婷;;测试用例复用在电子采购交易平台中的应用[J];计算机与数字工程;2018年01期
4 程雪梅;翟宇鹏;;测试用例修复的方法与工具综述[J];现代计算机(专业版);2017年02期
5 赵鹤;高婉玲;;基于模型的软件测试用例生成方法比较研究[J];现代计算机(专业版);2017年04期
6 曾嘉彦;;符号执行技术在测试用例生成中的应用[J];现代计算机(专业版);2017年04期
7 张功杰;谢春丽;;面向测试用例生成的集合进化算法实现[J];牡丹江师范学院学报(自然科学版);2017年02期
8 魏长安;王钢;盛云龙;张永卓;;组合测试用例自动生成软件设计[J];自动化技术与应用;2017年05期
9 臧丽娜;;基于死锁的并发类单元测试用例自动生成[J];计算机应用与软件;2017年04期
10 杨芳;丁晓明;;多目标测试用例优先级排序研究进展[J];重庆工商大学学报(自然科学版);2017年03期
中国重要会议论文全文数据库 前10条
1 周晓燕;李兵;潘伟丰;覃叶宜;;基于错误传播概率网络的软件回归测试用例选择[A];第五届全国复杂网络学术会议论文(摘要)汇集[C];2009年
2 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
3 林春哲;张凯;王道堂;;软件测试用例设计分析[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
4 张侠影;李志蜀;;一种优化的测试用例约简方法[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
5 张德平;聂长海;徐宝文;;划分测试用例选择策略研究[A];第五届中国测试学术会议论文集[C];2008年
6 王斌;;软件测试用例相关问题探讨[A];中国原子能科学研究院年报 2013[C];2014年
7 周瑞杰;江国华;;基于遗传算法的面向对象类测试用例生成研究[A];2010通信理论与技术新发展——第十五届全国青年通信学术会议论文集(下册)[C];2010年
8 邱程;邬小鲁;何聪;范志容;李凯;;基于黑盒测试的车载影音娱乐系统测试用例设计方法[A];2016中国汽车工程学会年会论文集[C];2016年
9 章靠;丁佐华;;基于事件图的并发软件测试[A];第四届中国软件工程大会论文集[C];2007年
10 王新光;万定生;张希伟;;浅谈程序设计语言教学中工程能力的培养[A];2005全国计算机程序设计类课程教学研讨会论文集[C];2005年
中国重要报纸全文数据库 前10条
1 本报记者 王欣;5G要这么测[N];通信产业报;2017年
2 罗德与施瓦茨(中国)科技有限公司;R&S公司:集成化NB-IoT测试方案[N];通信产业报;2017年
3 特约撰稿 张勇;基于需求的测试:确保需求与软件的统一[N];计算机世界;2011年
4 计算机世界实验室 韩勖;拨云见日[N];计算机世界;2008年
5 ;找错[N];计算机世界;2002年
6 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
7 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
8 刘昶;WiMAX射频测试期待一致性解决方案[N];中国电子报;2007年
9 罗德与施瓦茨中国有限公司 刘昶;用规范化“通畅”PoC测试[N];通信产业报;2006年
10 罗德与施瓦茨中国有限公司产品支持部;R&S:实现端到端LTE测试[N];通信产业报;2013年
中国博士学位论文全文数据库 前10条
1 刘勇;基于变异的错误定位优化技术研究[D];北京化工大学;2018年
2 王静;有效载荷系统测试用例智能规划方法研究[D];中国科学院大学(中国科学院国家空间科学中心);2018年
3 郭心睿;基于“生成—检验”框架的软件代码错误自动修复技术研究[D];清华大学;2017年
4 张功杰;基于集合进化与占优关系的变异测试用例生成[D];中国矿业大学;2017年
5 张慧;基于测试用例的错误定位技术研究[D];东南大学;2016年
6 张旭舟;面向复杂程序结构的测试用例自动生成方法研究[D];北京邮电大学;2018年
7 刘玲;基于面向对象形式规格说明的测试用例生成技术[D];上海大学;2004年
8 占学德;基于UML statecharts测试方法的研究[D];上海大学;2005年
9 金虎;自动化软件测试技术研究[D];四川大学;2006年
10 李军义;软件测试用例自动生成技术研究[D];湖南大学;2008年
中国硕士学位论文全文数据库 前10条
1 王晶;基于免疫算法的可信测试用例自动生成方法的研究[D];北京工业大学;2018年
2 潘争俊;彩票游戏终端系统自动化测试用例构建技术研究与实现[D];北京工业大学;2018年
3 亢吉男;基于模板的CPU测试用例合成方法设计[D];东南大学;2018年
4 欧建生;线性拟合制导的面向CDC/MCDC的测试用例自动生成方法[D];南京大学;2015年
5 季瑞骅;基于网络扰动的复杂系统不确定行为检测研究[D];南京大学;2016年
6 张嘉华;财产保险公司人力资源绩效管理信息系统的设计与实现[D];电子科技大学;2017年
7 王丽瑶;蜕变测试的测试用例生成技术的研究[D];吉林大学;2018年
8 王冠成;基于机器学习的编译器测试优化方法研究[D];吉林大学;2018年
9 吴俊;基于UML的模型转换方法与测试用例优先级排序方法研究[D];杭州电子科技大学;2018年
10 章天宁;基于UML模型的测试用例优先排序技术研究[D];杭州电子科技大学;2018年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026