基于多Agent的嵌入式软件测试系统研究与实现

发布时间：2016-05-20 15:05

  本文关键词：基于Agent的软件测试系统模型的研究，由笔耕文化传播整理发布。

《南京航空航天大学》 2011年

基于多Agent的嵌入式软件测试系统研究与实现

王伟  

【摘要】：嵌入式系统应用的不断增长,导致了嵌入式软件的复杂性及规模也日益提高,而嵌入式软件的测试和验证是保证其正确性和可靠性的最基本和最重要的手段。当前的软件测试技术主要是以传统的覆盖测试为基础进行手工测试,这样依靠人力进行分析的测试的不仅效率低下还不能保证软件质量,再加上嵌入式软件与硬件强耦合性,使得我们迫切需要一种能够对嵌入式软件进行自动化智能分析的工具。本文将Agent的概念引入到软件测试中,利用Agent的特性设计并实现了一个嵌入式软件智能测试系统AgEast,该系统可实现如下功能: 实现嵌入式软件的黑盒功能测试。将TC_Agent生成的测试用例以串口通信的方式送往目标机并在宿主机端接收其输出,对输出信号进行分析和处理,从而判断系统功能的实现情况。 实现嵌入式软件的白盒覆盖测试。本文提出一种嵌入式软件白盒覆盖测试的多Agent模型,首先在预处理Agent中对源程序进行词法分析和语法分析,然后在程序插桩Agent中利用静态插桩方法对源程序进行自动插桩,将插桩后的程序编译并移植到目标机中运行,输入测试用例并在动态测试信息分析Agent中计算语句覆盖率和分支覆盖率。 建立基于BDI理论的TC_Agent模型,根据信念、愿望、意图之间的约束关系,实现功能测试用例的自动生成;并建立基于遗传算法的覆盖测试用例生成模型GA_Agent,通过设计编码、适应度函数、选择、交叉、变异等一系列遗传操作,实现覆盖测试用例的自动生成。 本文利用设计的AgEast测试系统,对码垛机器人程序进行测试,测试结果显示功能及覆盖率的分析均达到预期的要求,很好地验证了本系统的实用性。

【关键词】：
【学位授予单位】：南京航空航天大学
【学位级别】：硕士
【学位授予年份】：2011
【分类号】：TP311.52
【目录】：

下载全文 更多同类文献

CAJ全文下载

(如何获取全文？ 欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式

【参考文献】

中国期刊全文数据库 前10条

1 傅博;;基于自组织神经网络的软件功能测试数据自动生成[J];航空学报;2006年05期

2 周之英;刘爱武;;一个软件测试的辅助系统MSST[J];计算机研究与发展;1987年02期

3 郑人杰,姜凡;软件测试技术现有缺陷分析[J];计算机研究与发展;1988年09期

4 张双民,石纯一;一种结合环境状态的Agent语义模型[J];计算机研究与发展;2002年12期

5 彭建军;;软件测试的研究及发展趋势[J];计算机科学;1993年03期

6 刘慧梅;徐华宇;;软件测试中代码分析与插装技术的研究[J];计算机工程;2007年01期

7 李茜,梅琳,凌辉,徐永森;EASTT:一种嵌入式应用软件测试系统[J];计算机工程与科学;2002年02期

8 黄琳;C软件测试工具系统CSTT[J];计算机学报;1989年02期

9 姜凡,郑人杰;软件测试中的弱变异方法与关系测试数据[J];计算机学报;1990年08期

10 欧胜高,刘超;一种基于通道的层次布图算法的研究和实现[J];计算机应用研究;2004年11期

中国博士学位论文全文数据库 前2条

1 赵欣培;一种基于Agent的软件过程建模方法研究[D];中国科学院研究生院（软件研究所）;2005年

2 周卫东;组合导航系统应用软件可靠性研究[D];哈尔滨工程大学;2006年

中国硕士学位论文全文数据库 前10条

1 黄震;面向Agent软件工程的初步讨论[D];中国科学院软件研究所;2001年

2 朱宁;基于Agent的软件开发项目管理方法与应用研究[D];重庆大学;2003年

3 林炜;基于Agent的软件测试系统模型的研究[D];汕头大学;2004年

4 李嘉;基于支持向量机的软件可靠性早期预测研究[D];合肥工业大学;2005年

5 刘利枚;基于51系列的嵌入式软件测试系统研究与实现[D];电子科技大学;2005年

6 肖波;通讯系统嵌入式平台下的单元测试技术研究[D];华东师范大学;2006年

7 王相懂;软件静态分析自动化工具的研究与实现[D];西安理工大学;2006年

8 冀佩刚;程序静态分析研究[D];兰州大学;2006年

9 谢瑞东;一种嵌入式汇编软件测试平台的设计与实现[D];电子科技大学;2006年

10 林惠娟;基于遗传算法的测试用例自动生成技术研究[D];四川大学;2006年

【共引文献】

中国期刊全文数据库 前10条

1 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期

2 晏海华,胡佳,张丽凤,贺飞;基于文档状态的软件质量保证过程管理[J];北京航空航天大学学报;2001年04期

3 李秋英,陆民燕,阮镰;软件可靠性测试充分性问题的理论研究[J];北京航空航天大学学报;2003年04期

4 张炯,金惠华,尚利宏,昌盛;一种嵌入式系统软件的非干涉测试方法[J];北京航空航天大学学报;2004年07期

5 唐发根,钱红兵;Ada软件数据流分析方法及其实现[J];北京航空航天大学学报;1997年01期

6 荚伟,高仲仪;基于遗传算法的软件结构测试数据生成技术研究[J];北京航空航天大学学报;1997年01期

7 吴鹏程,金茂忠;基于对象关系模型的C++程序静态分析器[J];北京航空航天大学学报;1997年01期

8 胥光辉;杜瑜;李翔;徐永森;;XML技术在软件测试框架中的应用[J];北京化工大学学报(自然科学版);2007年S1期

9 张琳;钱丽萍;;基于Agent的软件工程方法与实践[J];北京建筑工程学院学报;2006年01期

10 黄湘武,陈英,霍欣刚,严伟;面向对象语言编译器自动测试工具[J];北京理工大学学报;2002年05期

中国重要会议论文全文数据库 前10条

1 张成才;梁永会;李红伟;;河南航道基础地理信息系统测试方案研究与设计[A];《测绘通报》测绘科学前沿技术论坛摘要集[C];2008年

2 郭瑞杰;宫云战;杨朝红;;软件安全性测试技术研究[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年

3 高鹏;高清柳;;多路充值系统终端模拟程序的开发与实现[A];中国高速公路管理学术论文集（2009卷）[C];2009年

4 ;A VOC Based Approach to Support Virtual Organizations[A];第四届电子商务国际会议论文集（Ⅱ）[C];2004年

5 ;Urban traffic integrated service information system[A];第一届交通运输工程国际学术会议论文集（第一卷）[C];2007年

6 蔡远利;于振华;王瑞峰;;多Agent系统形式化建模方法学[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年

7 李天伟;王孝通;周爱军;;电子海图系统软件可靠性研究[A];1998大连国际海事技术交流会论文集（第一卷）[C];1998年

8 张杰;林晓欲;;弹载软件系统测试方法研究[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年

9 马贞立;李臣明;徐立中;;跨流域调水管理多Agent仿真环境模型[A];2007重大水利水电科技前沿院士论坛暨首届中国水利博士论坛论文集[C];2007年

10 高通;焦彦平;龚波;;基于曲线拟合的软件缺陷排除成本预测[A];2010年全国通信安全学术会议论文集[C];2010年

中国博士学位论文全文数据库 前10条

1 张冰;小组软件过程建模方法及过程定义重用研究[D];哈尔滨工程大学;2009年

2 祝晓春;增强型软件项目中测试工作量度量研究[D];浙江大学;2010年

3 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年

4 詹剑锋;因特网环境下的软件演化与动态性研究[D];中国科学院研究生院（软件研究所）;2002年

5 王成光;流程工业大型实时数据库理论、技术与应用[D];浙江大学;2003年

6 赵敏;机动车安全性能测控系统关键技术研究[D];南京航空航天大学;2002年

7 张祺;基于视觉的机器人足球比赛系统研究[D];广东工业大学;2003年

8 张小栓;水产品价格预测支持系统研究[D];中国农业大学;2003年

9 刘晓红;面向虚拟概念设计的机械产品行为建模及关键技术研究[D];武汉理工大学;2003年

10 李留英;UML测试技术的研究与实现[D];中国人民解放军国防科学技术大学;2000年

中国硕士学位论文全文数据库 前10条

1 邹雄;基于FPGA的弹载计算机调试方法研究[D];南昌航空大学;2010年

2 黄成伟;基于移动Agent的分布式应用系统的研究[D];浙江理工大学;2010年

3 郭凯;基于BDI的agent协商目标研究[D];郑州大学;2009年

4 罗晨;基于网络的库存管理系统的研究与应用[D];哈尔滨工程大学;2010年

5 李丽;基于数据挖掘的用户缴费信用风险评估研究[D];哈尔滨工程大学;2010年

6 渠连恩;智能家庭中个性化规则生成与多Agent技术应用研究[D];中国海洋大学;2010年

7 杨晨;基于PAR平台的最弱前置谓词生成器的设计与实现[D];江西师范大学;2010年

8 赵钰;构建面向Agent的网上教材订购系统的需求模型过程研究[D];合肥工业大学;2010年

9 王卫锋;FSCS自适应随机测试算法的边界效应及运行效率研究[D];华东师范大学;2010年

10 华韵子;强对流天气识别系统的设计与实现[D];华东师范大学;2010年

【二级参考文献】

中国期刊全文数据库 前10条

1 姚砺,束永安;软件测试自动化关键技术的研究[J];安徽大学学报(自然科学版);2003年04期

2 单锦辉,姜瑛,孙萍;软件测试研究进展[J];北京大学学报(自然科学版);2005年01期

3 刘东艳,申功勋;嵌入式软件可靠性测试平台仿真器分系统研究[J];北京航空航天大学学报;1999年06期

4 孙昌爱,刘超,金茂忠;一种有效的软件结构图的布图算法[J];北京航空航天大学学报;2000年06期

5 刘斌,陆民燕,阮镰;基于模糊神经网络的软件可靠性早期预计方法[J];北京航空航天大学学报;2001年02期

6 陆民燕;软件可靠性参数研究[J];北京航空航天大学学报;2001年02期

7 钱红兵,刘超,晏海华,何智涛;基于量化分析的软件测试过程的控制技术[J];北京航空航天大学学报;2001年04期

8 汪浩,吴际,刘超,高仲仪;基于UML用例图与顺序图模型的操作剖面构造[J];北京航空航天大学学报;2003年02期

9 朱永春,徐红;一种基于历史数据的软件缺陷预测方法改进[J];北京航空航天大学学报;2003年10期

10 张炯,金惠华,尚利宏,昌盛;一种嵌入式系统软件的非干涉测试方法[J];北京航空航天大学学报;2004年07期

中国博士学位论文全文数据库 前3条

1 董红军;基于多Agent的分布式CAPP及工艺信息管理研究[D];西北工业大学;2000年

2 单锦辉;面向路径的测试数据自动生成方法研究[D];国防科学技术大学;2002年

3 刘承香;水下潜器的地形匹配辅助定位技术研究[D];哈尔滨工程大学;2003年

中国硕士学位论文全文数据库 前10条

1 黄震;面向Agent软件工程的初步讨论[D];中国科学院软件研究所;2001年

2 刘华勇;基于Agent的计算机协同工作模型研究[D];西北工业大学;2001年

3 胡铭;软件Agent技术的研究与应用[D];河海大学;2001年

4 高鹏;面向对象软件的质量度量[D];南京航空航天大学;2002年

5 刘金艳;面向对象软件测试技术研究[D];西南交通大学;2003年

6 孙绍东;软件测试自动化技术的研究和分析[D];西南交通大学;2003年

7 申小军;面向对象软件自动化单元测试技术研究[D];西安电子科技大学;2004年

8 许姝韫;嵌入式软件自动测试技术研究[D];南京理工大学;2004年

9 陈浩;基于消息机制的软件自动测试技术研究[D];湖南大学;2004年

10 赵明;类状态测试用例自动生成方法与实现[D];西安理工大学;2004年

【相似文献】

中国期刊全文数据库 前10条

1 杨建卫;;基于多Agent的金融生态评价模型[J];信息技术;2011年06期

2 林芳;;基于AGENT技术的网络协作学习研究[J];煤炭技术;2011年07期

3 贾书军;张瑞生;贺莹;;基于多Agent的远程教学系统研究[J];甘肃科技;2011年13期

4 李佩顺;;探讨入侵检测系统在信息安全中的应用[J];农业网络信息;2011年08期

5 刘康;余腊生;;基于多Agent的群体状态预测策略研究[J];软件导刊;2011年08期

6 马荣飞;赵效萍;;基于Agent的智能教学系统的研究[J];赤峰学院学报(科学教育版);2011年04期

7 汪益民;杨春节;;一种校内网资源搜索引擎的设计与实现[J];微型机与应用;2011年15期

8 陈静;;Klocwork在嵌入式软件静态测试中的应用[J];电子与电脑;2011年07期

9 李军虎;;一种基于多Agent远程分布式故障诊断系统模型[J];计算机与数字工程;2011年06期

10 郭奥托;高雅田;;大型数据库操作中KQML行为原语集的扩充[J];价值工程;2011年23期

中国重要会议论文全文数据库 前10条

1 ;A Note on Two-agent Single-machine Scheduling Problem with Deteriorating Jobs[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年

2 盛惠强;;基于内容和移动Agent的网络计费系统的设计[A];2011年通信与信息技术新进展——第八届中国通信学会学术年会论文集[C];2011年

3 杨海明;程龙;赵佛晓;徐娟;;基于分布式Agent的网格任务调度模型研究[A];全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议论文集（上册）[C];2009年

4 颜宇甲;程国建;毛书君;;基于多Agent系统的生态系统建模和仿真[A];第十二届中国青年信息与管理学者大会论文集[C];2010年

5 李志凌;焦丽萍;;一种改进型Agent体系结构研究[A];第七届中国通信学会学术年会论文集[C];2010年

6 郭瑞鹏;王永军;董平;;基于Agent分布式国民经济动员决策支持系统研究[A];Well-off Society Strategies and Systems Engineering--Proceedings of the 13th Annual Conference of System Engineering Society of China[C];2004年

7 陈红英;;基于Agent的GIS服务共享系统的研究[A];第二十七届中国控制会议论文集[C];2008年

8 ;Coordinated Control of Second-Order Multi-Agent Systems With Quantized-Observer[A];中国自动化学会控制理论专业委员会D卷[C];2011年

9 高春蓉;贲可荣;;基于Agent的行为模型在通信对抗仿真中的应用[A];全国第21届计算机技术与应用学术会议（CACIS·2010）暨全国第2届安全关键技术与应用学术会议论文集[C];2010年

10 赫连佳鹏;景旭;张影;;Agent-Based的神经网络仿真设计在经济系统中的应用[A];'2002系统仿真技术及其应用学术论文集（第四卷）[C];2002年

中国重要报纸全文数据库 前10条

1 Hotsky;[N];中国电脑教育报;2003年

2 王宏;[N];中国计算机报;2003年

3 河北 周建军;[N];电脑报;2001年

4 湖南 何锋;[N];电脑报;2001年

5 ;[N];中国计算机报;2004年

6 北京航空航天大学 王立泽;[N];计算机世界;2004年

7 熊智宏 刘永纯;[N];中国邮政报;2000年

8 饶慧敏;[N];中国国门时报;2004年

9 逍遥浪子;[N];电脑报;2003年

10 张维明 邓苏 肖卫东 汤大权;[N];计算机世界;2001年

中国博士学位论文全文数据库 前10条

1 焦俊;基于多Agent系统的智能车辆自主行驶控制研究[D];合肥工业大学;2010年

2 贺利坚;多Agent系统中信任和信誉模型的研究[D];北京交通大学;2011年

3 高嘉爽;基于Agent及FEA的焊接加工过程协同设计系统研究[D];哈尔滨工业大学;2009年

4 邸书灵;Agent联盟和流形学习在中文问答系统中的应用研究[D];天津大学;2009年

5 赵欣培;一种基于Agent的软件过程建模方法研究[D];中国科学院研究生院（软件研究所）;2005年

6 王文玺;基于多Agent系统的自主式地面车辆关键技术研究[D];西南交通大学;2010年

7 施亚能;基于多Agent食品安全政府监管模型与仿真[D];武汉理工大学;2011年

8 史旭华;基于多Agent系统的人工免疫网络及其应用研究[D];华东理工大学;2011年

9 黄红兵;基于涌现视角的多Agent系统分析研究[D];国防科学技术大学;2009年

10 兰少华;多Agent技术及其应用研究[D];南京理工大学;2002年

中国硕士学位论文全文数据库 前10条

1 王伟;基于多Agent的嵌入式软件测试系统研究与实现[D];南京航空航天大学;2011年

2 胡涛;基于多Agent的海洋数据采集与传输系统的研究[D];东华大学;2010年

3 顾陈琳;基于信任度模型的多Agent全局协调[D];南京航空航天大学;2010年

4 刘阳;系统集成中基于联邦的Agent包装模型的研究与实现[D];西安电子科技大学;2010年

5 吴雪峰;基于Agent的易视监控审计系统设计及应用[D];南京理工大学;2010年

6 谢作坤;基于多Agent的车载信息管理系统[D];浙江工商大学;2010年

7 赵晨光;面向系统集成的一种主动感知Agent模型[D];西安电子科技大学;2009年

8 吕桃霞;基于Agent技术的网络安全审计模型研究与实现[D];山东师范大学;2011年

9 韩珍;驾驶员—车辆Agent微观换道行为的建模[D];中国科学技术大学;2011年

10 洪梅;基于Agent的对等分布式协同入侵检测技术的研究[D];山东大学;2010年

  本文关键词：基于Agent的软件测试系统模型的研究，，由笔耕文化传播整理发布。

本文编号：47605