公开(公告)号：CN103294599A

公开(公告)日：2013-09-11

申请号：CN201310261929.5

申请日：2013-06-27

Applicant: 东南大学

Inventor： 李必信 ,  刘力 ,  王璐璐 ,  陶传奇 ,  李超 ,  俞析蒙

IPC: G06F11/36 ,  H04L29/08

Abstract: 本发明公开了一种基于云的嵌入式软件交叉测试方法，主要用于处理嵌入式软件在云平台下进行交叉测试的问题，本发明通过将测试云与被测云剥离，形成逻辑和物理上分离的测试环境，有利于实现便捷的远程调试，可以解决开发人员分布在不同地理区域的团队难以协作的问题，另外可以减少重复基础设施建设的投资。本发明将被测设备统一管理和调度，方便了测试环境的部署和维护。通过调度被测设备的任务分布，极大提高单个设备的利用率。本发明方法运行于云环境下，具备了云应用多并发、资源可扩展、用户随买随用、按用量付费的优点。

公开(公告)号：CN103279422B

公开(公告)日：2015-09-09

申请号：CN201310238825.2

申请日：2013-06-17

Applicant: 东南大学

Inventor： 李必信 ,  兰阳阳 ,  王璐璐 ,  陶传奇 ,  刘力 ,  陈艺

IPC: G06F11/36

Abstract: 本发明公开了一种基于排斥区域的自适应随机测试的方法，主要用于降低随机测试中测试用例生成的盲目性，同时消弱边界效应带来的问题。本发明首先确定程序的输入域；然后根据点到空间中心的距离设置排斥区域的半径大小；再根据输入域随机生成测试用例并进行测试；最后分析测试的结果，如果测试用例得到的结果符合期望值，则重复上述过程，否则停止测试并修改程序。

公开(公告)号：CN102831060B

公开(公告)日：2015-07-08

申请号：CN201210303829.X

申请日：2012-08-24

Applicant: 东南大学

Inventor： 李必信 ,  陶传奇 ,  孙小兵

IPC: G06F11/36

Abstract: 本发明公布了一种基于修改影响分析的回归测试用例更新方法；首先对部件软件修改前后的版本进行修改分析，识别出修改点；接着对修改点在部件功能依赖图上面进行修改影响分析，得到受修改影响的部件功能和PI；最后，根据修改影响分析结果，将受影响的API映射到重测模型上，然后基于重测模型的影响，对回归测试用例进行添加、删除、修改、重用等更新。该方法能够识别出部件修改影响，而且能够识别出受修改影响的部件API测试序列。

公开(公告)号：CN103281329A

公开(公告)日：2013-09-04

申请号：CN201310226221.6

申请日：2013-06-07

Applicant: 东南大学

Inventor： 李必信 ,  耿国清 ,  王璐璐 ,  陶传奇 ,  兰阳阳 ,  司静文

IPC: H04L29/06 ,  H04L29/08

Abstract: 本发明公开了一种基于SoaML的云应用正确性验证方法，主要用于处理云应用的建模与验证问题，本发明采用SoaML对云应用进行建模，并将所建SoaML模型转换为简单进程元语言解释器SPIN支持的建模语言PROMELA和线性时序逻辑LTL。首先使用层次自动机来描述SoaML中的ServiceInterface，根据层次自动机的操作语义将ServiceInterface转换为PROMELA；然后采用LTL来描述SoaML中的ServiceContract。本发明将得到的PROMELA输入SPIN中，验证是否满足LTL所描述的系统约束，即云应用的正确性。

公开(公告)号：CN103279422A

公开(公告)日：2013-09-04

申请号：CN201310238825.2

申请日：2013-06-17

Applicant: 东南大学

Inventor： 李必信 ,  兰阳阳 ,  王璐璐 ,  陶传奇 ,  刘力 ,  陈艺

IPC: G06F11/36

Abstract: 本发明公开了一种基于排斥区域的自适应随机测试的方法，主要用于降低随机测试中测试用例生成的盲目性，同时消弱边界效应带来的问题。本发明首先确定程序的输入域；然后根据点到空间中心的距离设置排斥区域的半径大小；再根据输入域随机生成测试用例并进行测试；最后分析测试的结果，如果测试用例得到的结果符合期望值，则重复上述过程，否则停止测试并修改程序。

公开(公告)号：CN102831060A

公开(公告)日：2012-12-19

申请号：CN201210303829.X

申请日：2012-08-24

Applicant: 东南大学

Inventor： 李必信 ,  陶传奇 ,  孙小兵

IPC: G06F11/36

Abstract: 本发明公布了一种基于修改影响分析的回归测试用例更新方法；首先对部件软件修改前后的版本进行修改分析，识别出修改点；接着对修改点在部件功能依赖图上面进行修改影响分析，得到受修改影响的部件功能和PI；最后，根据修改影响分析结果，将受影响的API映射到重测模型上，然后基于重测模型的影响，对回归测试用例进行添加、删除、修改、重用等更新。该方法能够识别出部件修改影响，而且能够识别出受修改影响的部件API测试序列。