公开(公告)号：CN102831056B

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

申请号：CN201210270343.0

申请日：2012-07-31

Applicant: 东南大学

Inventor： 李必信 ,  张前东 ,  孙小兵 ,  陶传奇 ,  耿国清 ,  兰阳阳

IPC: G06F11/36

Abstract: 本发明提出了一种基于修改影响分析的回归测试用例生成方法。首先对程序建模构造出源代码的中间表示，理解源代码中各元素之间的依赖关系，辅助程序理解；然后对程序的修改信息，利用特征定位技术识别修改点在源代码中对应的修改位置，并将该位置与源代码的中间表示一一对应起来从而得到修改集；在源代码的中间表示和修改集的基础之上，通过修改影响分析技术计算得到影响集；进而利用修改集和影响集生成回归测试用例的判定表；最后利用判定表生成测试路径集，并将测试路径集约简，将测试路径中的输入作为测试用例，最终得到一个能充分覆盖修改给程序带来的影响的测试用例集合。

公开(公告)号：CN102426522B

公开(公告)日：2014-12-10

申请号：CN201110338092.0

申请日：2011-10-28

Applicant: 东南大学

Inventor： 李必信 ,  陈乔乔 ,  翟小祥 ,  宋锐 ,  张前东

IPC: G06F9/44

Abstract: 本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-Algebraic Dynamic Logic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。

公开(公告)号：CN102831056A

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

申请号：CN201210270343.0

申请日：2012-07-31

Applicant: 东南大学

Inventor： 李必信 ,  张前东 ,  孙小兵 ,  陶传奇 ,  耿国清 ,  兰阳阳

IPC: G06F11/36

Abstract: 本发明提出了一种基于修改影响分析的回归测试用例生成方法。首先对程序建模构造出源代码的中间表示，理解源代码中各元素之间的依赖关系，辅助程序理解；然后对程序的修改信息，利用特征定位技术识别修改点在源代码中对应的修改位置，并将该位置与源代码的中间表示一一对应起来从而得到修改集；在源代码的中间表示和修改集的基础之上，通过修改影响分析技术计算得到影响集；进而利用修改集和影响集生成回归测试用例的判定表；最后利用判定表生成测试路径集，并将测试路径集约简，将测试路径中的输入作为测试用例，最终得到一个能充分覆盖修改给程序带来的影响的测试用例集合。

公开(公告)号：CN102426522A

公开(公告)日：2012-04-25

申请号：CN201110338092.0

申请日：2011-10-28

Applicant: 东南大学

Inventor： 李必信 ,  陈乔乔 ,  翟小祥 ,  宋锐 ,  张前东

IPC: G06F9/44

Abstract: 本发明提出了一种基于HybridUML向微分代数程序转换的CPS建模与验证方法，实现了由HybridUML模型向DAP的转换，并依据微分代数动态逻辑(Differential-Algebraic Dynamic Logic，DAL)推理规则对CPS实例进行验证。该方法使用HybridUML对CPS进行建模，将其转换成DAL的操作模型DAP，并且基于DAL对CPS属性进行验证。