收藏本站
《中国科学院研究生院(长春光学精密机械与物理研究所)》 2010年
收藏 | 手机打开
二维码
手机客户端打开本文

航天相机主控软件测试用例自动生成技术的研究

李丽  
【摘要】: 软件测试自动化是软件测试发展的必然趋势。目前自动化测试技术的发展非常迅速,出现了很多成熟的自动化测试工具。然而,现有的自动测试技术大多是针对测试执行、结果捕获与分析、结果验证和报告等方面的,针对测试用例自动生成的还很少。测试用例生成作为自动测试的一个不可或缺的组成部分,其非自动化会阻碍软件测试自动化的发展,因此开展测试用例自动生成方法的研究具有一定的理论和实践意义。 随着航天领域的发展,航天相机的研制越来越受到各国的普遍重视。航天相机主控软件是航天相机系统的重要组成部分,其可靠性和安全性都具有很高的要求。满足这种高质量软件要求的一个重要途径是进行软件测试。软件测试分为手工测试和自动化测试。自动化测试不仅可以提高软件测试的效率还能够减少测试过程中人为因素的干扰,提高测试的准确性。本文以航天相机主控软件为背景,研究软件测试用例自动生成技术。 目前测试用例自动生成技术中所采用的方法有多种,基于人工智能的方法是其中较为突出、性能较好的一种方法。智能规划是人工智能中一个多领域交叉的研究领域。应用范围包括程序验证、生产控制、军事对抗等领域,发展前景广阔。目前,智能规划的应用已经扩展到航天领域,Ariane火箭和RAX(Remote Agent Experiment)中也都采用了规划方法。近年来,国外已经将智能规划方法用于测试用例生成的研究,并且取得了一定的进展,但也还存在一定的不足之处。本文采用智能规划方法对软件测试用例自动生成技术进行了研究。现有规划器不同程度地存在组合爆炸问题,为防止测试用例生成过程中产生组合爆炸,而造成用例生成的失败,提出事实文件分解法对规划器所需事实文件进行划分,以降低大量状态组合的概率。针对现有规划器不能处理多个事实文件,提出多事实文件处理算法。以规划器中性能较好的IPP规划器为基础,将两种算法加以应用,改进后的IPP规划器称作MF-IPP,MF-IPP规划器能够处理多个事实文件,再结合事实文件分解法,能够有效降低用例生成过程中状态组合的几率。 以某航天相机为例,将MF-IPP规划器应用到其主控软件测试用例自动生成中。首先从问题形式化着手,将需求中的功能说明部分用ADL语言进行形式化,产生规划器所需的操作文件和事实文件;其次利用MF-IPP规划器生成软件功能的初始测试用例;最后提出解扩展的方法,对初始测试用例进行迭代解扩展、同效解扩展和参数解扩展,来完成最终测试用例的生成。 根据所提出的航天相机主控软件测试用例生成模型设计了测试用例生成系统,并将该系统应用于实验分析。该系统可以完成的主要功能包括需求形式化、初始用例生成、最终测试用例生成。针对规划方法的特点提出两种覆盖准则:操作覆盖准则和状态覆盖准则,依据两种覆盖准则对测试用例生成系统进行了分析,结果显示,所生成的测试用例能够很好的完成操作和状态的覆盖。对MF-IPP规划器的性能进行了分析,分析结果显示,MF-IPP能够将指数级的状态增长降低为线性级的增长,并且增长趋势缓慢,因此能够很好地防止用例生成过程中组合爆炸问题的产生。
【学位授予单位】:中国科学院研究生院(长春光学精密机械与物理研究所)
【学位级别】:博士
【学位授予年份】:2010
【分类号】:TP311.53

手机知网App
【引证文献】
中国期刊全文数据库 前1条
1 黄永强;;软件测试技术探究[J];电子测试;2014年16期
【参考文献】
中国期刊全文数据库 前10条
1 张茂林;软件自动测试的研究与程序实现[J];北京航空航天大学学报;1997年01期
2 翟立东;孙丽萍;;软件自动测试方法的研究与实现[J];大连铁道学院学报;2005年04期
3 陈佳豫;邢忠宝;刘金国;孔德柱;徐东;;星载嵌入式软件测试过程模型的研究[J];光学精密工程;2008年09期
4 李杨;徐抒岩;韩诚山;于涛;邢忠宝;;定量化故障树分析技术在空间相机软件开发中的应用[J];光学精密工程;2008年11期
5 石柱;;航天型号软件工程化十年回顾与展望[J];航天控制;2006年04期
6 丁德路;姜云飞;;智能规划及其应用的研究[J];计算机科学;2002年02期
7 颜炯;王戟;陈火旺;;基于模型的软件测试综述[J];计算机科学;2004年02期
8 付剑平;陆民燕;阮镰;;软件测试用例生成中的前置条件分析[J];计算机应用研究;2007年03期
9 赵晖,王刚;软件自动测试方法浅谈[J];雷达与对抗;1997年03期
10 谷文祥,徐丽,张新梅;图规划框架下智能规划的研究与发展[J];世界科技研究与发展;2005年04期
【共引文献】
中国期刊全文数据库 前10条
1 方冉;陈乃金;;基于S3C44B0X处理器触摸屏接口的设计与测试[J];安徽工程科技学院学报(自然科学版);2010年02期
2 张书杰,于学军,阎健卓,于华;基于构件软件系统集成测试的初步研究[J];北京工业大学学报;2004年02期
3 王捷民;丁刚毅;宋瀚涛;熊建国;;基于改进的自适应遗传算法HCGA的测试数据自动生成[J];北京理工大学学报;2007年10期
4 陈颖慧;邱雪松;刘益畅;唐凡;高志鹏;;基于模型的Web Service性能测试方法[J];北京邮电大学学报;2009年S1期
5 田志民;林奇;罗雪莱;孟庆浩;;一种面向国防工业的应用软件漏洞检测方法[J];保密科学技术;2012年01期
6 崔军彦;廖建新;王纯;林秀琴;;彩铃IVR管理逻辑测试系统的改进[J];北京工商大学学报(自然科学版);2007年05期
7 张旭;;嵌入式软件覆盖率的测试技术及评测方法研究[J];才智;2008年08期
8 何涛;孙跃勇;;类的集成测试级别研究[J];成都信息工程学院学报;2006年02期
9 雷阳;陈念伟;金虎;;基于决策到决策路径的遗传算法软件测试用例设计[J];成都信息工程学院学报;2010年04期
10 孙伟;;智能规划与规划识别在网络教学技术中的应用研究刍议[J];长春大学学报;2010年02期
中国重要会议论文全文数据库 前10条
1 赵莹;刘金国;陈佳豫;孔德柱;周怀得;;星载测绘相机主控软件可靠性分配[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
2 李冬红;战茅;宗建建;;面向对象设计的构件测试方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
3 冯亚冬;熊波;;基于适航认证的FADEC软件自动化测试平台的研究[A];2011航空试验测试技术学术交流会论文集[C];2010年
4 陈振华;王峰;;操作剖面与软件可靠性[A];2006年全国理论计算机科学学术年会论文集[C];2006年
5 杨春晖;李冬;熊婧;;一种基于任务模块的实时软件可靠性评价模型[A];2010第十五届可靠性学术年会论文集[C];2010年
6 潘沁;;从复杂性系统理论视角看人工智能科学的发展[A];山西大学2008年全国博士生学术论坛(科学技术哲学)[C];2008年
7 陈颖慧;邱雪松;刘益畅;唐凡;高志鹏;;基于模型的Web Service性能测试方法[A];中国通信学会通信软件技术委员会2009年学术会议论文集[C];2009年
8 孙晶;赵会群;马云峰;;基于TTCN的手机游戏软件测试方法研究[A];第四届中国测试学术会议论文集[C];2006年
9 方南晖;叶卫东;;如何从流程上保证系统测试的质量[A];第五届中国测试学术会议论文集[C];2008年
10 郑成文;张海粟;韩柯;陈昱松;张乐飞;;一种基于相似性度量的软件测试方法[A];第六届中国测试学术会议论文集[C];2010年
中国博士学位论文全文数据库 前10条
1 刘飞;四足机器人步态规划与平衡控制研究[D];中国科学技术大学;2010年
2 单玉红;基于土地生态位和多主体的城市居住空间演化情景模型研究[D];武汉大学;2009年
3 刘振宇;服务网格环境中场景测试的关键技术研究[D];复旦大学;2010年
4 占学德;基于UML statecharts测试方法的研究[D];上海大学;2005年
5 史美萍;基于人机协同的月球车路径规划技术研究[D];国防科学技术大学;2006年
6 李军义;软件测试用例自动生成技术研究[D];湖南大学;2008年
7 李太华;情感教学agent:建模与反馈策略研究[D];西南大学;2008年
8 阚红星;可信软件自动测试成本与风险研究[D];合肥工业大学;2008年
9 吴琼;电网智能调度决策支持系统的研究与实现[D];华北电力大学(北京);2008年
10 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
【同被引文献】
中国博士学位论文全文数据库 前2条
1 王立新;软件测试数据的高效生成及测试方法研究[D];东华大学;2011年
2 夏启明;软件测试及评价的复用策略研究及其实现[D];武汉大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 于鑫,郭希维;基于综合评判的导弹故障诊断专家系统[J];兵工自动化;2004年01期
2 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期
3 白彦辉,刘玲玲,李威,李朝辉,卢锷;空间相机输片系统设计[J];长春理工大学学报;2003年02期
4 施赛军,毛井明;水电站实时监控专家系统[J];电力系统及其自动化学报;2004年03期
5 王永传,郁文贤,庄钊文;一种故障树模糊重要度分析的新方法[J];国防科技大学学报;1999年03期
6 唐绍凡,刘 冰;现代小卫星与光学遥感器[J];光机电信息;2001年05期
7 李积慧,韩双丽,王家骐,卢锷,王俊;空间相机的热分析与热控制技术[J];光学精密工程;1999年06期
8 陈伟,钟健;面向工业机器人系统的三种可靠度配置策略的研究[J];光学精密工程;2002年02期
9 陈伟;钟健;;基于精度成本控制的精密传输机器人系统可靠度优化配置方法[J];光学精密工程;2007年08期
10 刘建华,王守印;摄影机关键技术研究[J];光学精密工程;1995年05期
中国博士学位论文全文数据库 前2条
1 王国辉;空间相机胶片传输控制系统研究[D];中国科学院长春光学精密机械与物理研究所;2001年
2 赵瑞莲;软件测试方法研究[D];中国科学院研究生院(计算技术研究所);2001年
【相似文献】
中国期刊全文数据库 前10条
1 陈绍英;金成姬;;性能测试用例[J];程序员;2004年11期
2 缪淮扣,占学德,刘玲;基于UML Statecharts的测试用例生成[J];小型微型计算机系统;2005年04期
3 生佳根,朱俊武,解洪成,於跃成;一种基于本体的测试用例研究与应用[J];计算机工程与应用;2005年23期
4 张德平,聂长海,徐宝文;划分测试中测试用例最优分配问题研究[J];南京大学学报(自然科学版);2005年05期
5 王崇霞;根据用例设计测试用例[J];电脑开发与应用;2005年10期
6 杨劲涛;郭荷清;;一种精简测试用例方法的研究[J];计算机科学;2005年05期
7 李冰,陈自力,马飒飒;软件测试用例生成综合策略研究[J];计算机测量与控制;2005年04期
8 吕格峰;邹北骥;周浩宇;孙家广;;一种针对交互式软件的测试用例生成模型研究与实现[J];小型微型计算机系统;2006年01期
9 杨劲涛;郭荷清;;黑盒测试用例基的研究[J];计算机工程与科学;2006年05期
10 罗清胜;黎升洪;;基于划分分析方法的测试用例生成[J];现代计算机;2006年06期
中国重要会议论文全文数据库 前10条
1 王道堂;林春哲;张凯;;软件测试用例构造方法与手段[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
2 李磊;曹先彬;;基于进化的软件测试用例生成方法[A];2005年“数字安徽”博士科技论坛论文集[C];2005年
3 徐李勤;王洁宁;;基于层次有色Petri网的软件测试用例选取研究[A];全国第二届信号处理与应用学术会议专刊[C];2008年
4 林春哲;张凯;王道堂;;软件测试用例设计分析[A];计算机技术在工程建设中的应用——第十二届全国工程建设计算机应用学术会议论文集[C];2004年
5 张侠影;李志蜀;;一种优化的测试用例约简方法[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
6 张德平;聂长海;徐宝文;;划分测试用例选择策略研究[A];第五届中国测试学术会议论文集[C];2008年
7 郭从颖;;场景驱动测试用例设计及其测试自动化技术研究[A];中国计量协会冶金分会2008年会论文集[C];2008年
8 郭从颖;;场景驱动测试用例设计及其测试自动化技术研究[A];2008全国第十三届自动化应用技术学术交流会论文集[C];2008年
9 周晓燕;李兵;潘伟丰;覃叶宜;;基于错误传播概率网络的软件回归测试用例选择[A];第五届全国复杂网络学术会议论文(摘要)汇集[C];2009年
10 万琳;张威;马雪雁;陈曼青;;基于路径的测试用例自动生成技术[A];第十届全国容错计算学术会议论文集[C];2003年
中国重要报纸全文数据库 前6条
1 深圳市信息无障碍研究会 戴杰;“听”软件的IT工程师[N];人民政协报;2014年
2 谢敏 沈雪芳 戴金龙;解决软件测试的近忧和远虑[N];计算机世界;2005年
3 计算机世界实验室 韩勖;拨云见日[N];计算机世界;2008年
4 《网络世界》记者 郑楠;ONF测试步伐有条不紊[N];网络世界;2014年
5 ;找错[N];计算机世界;2002年
6 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
中国博士学位论文全文数据库 前10条
1 李丽;航天相机主控软件测试用例自动生成技术的研究[D];中国科学院研究生院(长春光学精密机械与物理研究所);2010年
2 张娟;软件测试中测试用例复用的研究[D];上海大学;2012年
3 游亮;回归测试用例选择技术研究[D];华中科技大学;2012年
4 谢晓东;基于模型比较的软件测试用例生成方法研究[D];华中科技大学;2007年
5 李根;基于动态测试用例生成的二进制软件缺陷自动发掘技术研究[D];国防科学技术大学;2010年
6 钱思佑;图形用户界面测试中相关问题研究[D];中国科学技术大学;2010年
7 李军义;软件测试用例自动生成技术研究[D];湖南大学;2008年
8 马雪英;面向对象软件回归测试选择—测试用例最小化技术研究[D];浙江大学;2008年
9 钱忠胜;基于模型的Web应用测试用例生成方法[D];上海大学;2008年
10 刘攀;基于FSM的测试用例生成和测试优化[D];上海大学;2011年
中国硕士学位论文全文数据库 前10条
1 曹青;随机测试用例的自动化生成和约简[D];中国科学技术大学;2010年
2 张丽颖;基于本体的核电站生产用软件测试用例自动生成[D];上海交通大学;2009年
3 尹文洁;测试用例约简方法的研究与应用[D];太原理工大学;2011年
4 纪昌斌;基于谓词信息的测试用例生成系统设计与实现[D];南京大学;2011年
5 戴丽;组合测试用例生成技术的研究与应用[D];华南理工大学;2011年
6 吕格峰;基于功能对象的测试用例生成模型研究与实现[D];湖南大学;2005年
7 焦安涛;测试用例综合评价模型的研究[D];昆明理工大学;2009年
8 张薇;带参数约束的组合测试用例生成研究[D];安徽大学;2012年
9 邹明;组合测试用例生成技术研究[D];重庆大学;2012年
10 成亚玲;回归测试用例的优化选择研究[D];湖南大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026