论文摘要
随着多Agent系统被越来越多的应用到政府、商业和服务业等领域,对多Agent系统的可靠性研究也逐渐成为热点。由于Agent自身的特性,使得面向Agent的软件测试与传统软件测试有着较大的区别,对Agent系统的测试研究也将成为软件测试的一个新的研究方向。目前,国外大多数研究者都提出了用Agent测试Agent的方法,其中部分学者还提出了测试框架和测试Agent的结构,但这些测试Agent在测试效率以及定位错误上都存在一定的不足。为了提高Agent间通信的测试效率和测试结果的可信度,本文提出一种改进的测试Agent模型。在本文的模型中,测试过程不再以消息为单位而是以会话为单位,测试Agent根据通信内容发现并标记错误,测试人员在分析测试文档时根据标记处通信状态对程序中的错误进行定位。测试Agent对待测对象测试的同时也在对自身进行测试,由通信状态可以判定错误是待测对象产生还是测试Agent自身造成的。考虑到实际系统中一次会话是由多个对象参与的,本文在试验中采取了多对一的测试方法,实验结果表明本文提出的测试Agent能有效地对单个对象进行通信测试。Agent UML顺序图能很好的描述Agent间的通信时序,本文给出了AgentUML顺序图转化为信息流程图的转换规则,并在此基础上提出了一种扩展顺序图的Agent通信测试测试用例的方法。基于给出的转换规则,从顺序图中获取每个Agent对象的信息流程图,通过对信息流程图实现路径覆盖来生成测试用例。本文提出了一种改进后的路径覆盖算法,有效处理了信息流程图中的回路问题,得到信息流程图中所有的独立路径,最后根据独立路径生成测试用例。实例分析表明,利用Agent UML顺序图生成通信测试用例是可行的。
论文目录
相关论文文献
- [1].基于活性顺序图的形式化验证方法及工具研究[J]. 计算机测量与控制 2016(05)
- [2].一种基于活性顺序图的运行时验证研究[J]. 计算机科学 2016(08)
- [3].从活性顺序图到时态逻辑的转化方法[J]. 计算机工程与设计 2012(09)
- [4].基于模型检测的UML状态图和顺序图一致性检测[J]. 电子科技 2012(02)
- [5].模态顺序图uMSD的形式语义[J]. 软件学报 2011(04)
- [6].形式化表示UML顺序图的结构操作语义[J]. 云南民族大学学报(自然科学版) 2013(04)
- [7].UML时间顺序图的自动验证技术[J]. 中国计量学院学报 2010(02)
- [8].UML顺序图驱动的动态行为测试[J]. 盐城工学院学报(自然科学版) 2009(02)
- [9].UML2.0顺序图的一种有穷自动机模型[J]. 计算机工程与科学 2008(12)
- [10].基于UML顺序图的软件测试[J]. 河南科技 2011(23)
- [11].基于UML顺序图的安全苛求软件安全性分析[J]. 计算机工程 2008(22)
- [12].基于模型转换的MARTE顺序图的形式化分析[J]. 小型微型计算机系统 2013(01)
- [13].以UML顺序图为导向的人事管理系统设计[J]. 吉首大学学报(自然科学版) 2011(02)
- [14].UML时间顺序图的实时系统建模及验证[J]. 中国计量学院学报 2010(01)
- [15].UML顺序图与状态图的一致性检查[J]. 计算机工程 2008(18)
- [16].UML2.0顺序图的时序描述逻辑语义[J]. 计算机工程 2011(03)
- [17].基于UML类图和顺序图的C++代码自动生成方法的研究[J]. 计算机应用与软件 2013(01)
- [18].基于时序描述逻辑的UML顺序图形式化研究[J]. 计算机系统应用 2018(08)
- [19].基于UML顺序图的测试用例生成[J]. 计算机工程 2010(22)
- [20].基于消息顺序图和Petri网的移动应用监测平台建模分析[J]. 计算机科学 2016(11)
- [21].基于顺序图的Web组合服务属性验证[J]. 东南大学学报(自然科学版) 2011(02)
- [22].实时系统动态行为模型的一种形式分析方法[J]. 计算机应用研究 2009(09)
- [23].基于UML顺序图的多播报文安全确认方式设计[J]. 中国新通信 2008(19)
- [24].基于车联网的时空模型研究[J]. 电子技术与软件工程 2016(09)
- [25].基于Timed-UML顺序图的RBC交接形式化建模与分析[J]. 铁道标准设计 2016(06)
- [26].基于时序描述逻辑的UML顺序图形式化方法[J]. 计算机工程 2013(03)
- [27].基于场景的并发系统需求验证方法研究[J]. 哈尔滨工程大学学报 2011(10)
- [28].一种基于场景的嵌入式软件设计方法[J]. 计算机工程与应用 2010(09)
- [29].基于UML顺序图测试用例的生成[J]. 计算机工程 2008(21)
- [30].VASR-CBMC:基于变量子图的多线程程序验证[J]. 计算机应用研究 2018(08)