-
公开(公告)号:CN103200277B
公开(公告)日:2015-07-01
申请号:CN201310147178.4
申请日:2013-04-24
Applicant: 东南大学
IPC: H04L29/08
Abstract: 本发明公开了一种基于日志的云计算服务可信度评估方法,综合考虑用户评价与历史调用日志对云计算环境下服务可信度的影响,对一组相似服务进行更加客观公正的评估。本发明涉及到的关键操作包括:(1)分析历史调用日志中与可信相关的特征,根据特征对日志数据以及用户评价数据进行统计,构建关于服务的信任特征向量;(2)评价体系综合考虑用户直接交互、通过用户好友关系的间接交互以及被测者全局交互,分别计算其信任特征向量,并按用户提供的权重对各个级别的信任特征向量进行综合,得到信任评估结果。
-
公开(公告)号:CN102831056A
公开(公告)日:2012-12-19
申请号:CN201210270343.0
申请日:2012-07-31
Applicant: 东南大学
IPC: G06F11/36
Abstract: 本发明提出了一种基于修改影响分析的回归测试用例生成方法。首先对程序建模构造出源代码的中间表示,理解源代码中各元素之间的依赖关系,辅助程序理解;然后对程序的修改信息,利用特征定位技术识别修改点在源代码中对应的修改位置,并将该位置与源代码的中间表示一一对应起来从而得到修改集;在源代码的中间表示和修改集的基础之上,通过修改影响分析技术计算得到影响集;进而利用修改集和影响集生成回归测试用例的判定表;最后利用判定表生成测试路径集,并将测试路径集约简,将测试路径中的输入作为测试用例,最终得到一个能充分覆盖修改给程序带来的影响的测试用例集合。
-
-
公开(公告)号:CN102831056B
公开(公告)日:2015-04-08
申请号:CN201210270343.0
申请日:2012-07-31
Applicant: 东南大学
IPC: G06F11/36
Abstract: 本发明提出了一种基于修改影响分析的回归测试用例生成方法。首先对程序建模构造出源代码的中间表示,理解源代码中各元素之间的依赖关系,辅助程序理解;然后对程序的修改信息,利用特征定位技术识别修改点在源代码中对应的修改位置,并将该位置与源代码的中间表示一一对应起来从而得到修改集;在源代码的中间表示和修改集的基础之上,通过修改影响分析技术计算得到影响集;进而利用修改集和影响集生成回归测试用例的判定表;最后利用判定表生成测试路径集,并将测试路径集约简,将测试路径中的输入作为测试用例,最终得到一个能充分覆盖修改给程序带来的影响的测试用例集合。
-
公开(公告)号:CN103200277A
公开(公告)日:2013-07-10
申请号:CN201310147178.4
申请日:2013-04-24
Applicant: 东南大学
IPC: H04L29/08
Abstract: 本发明公开了一种基于日志的云计算服务可信度评估方法,综合考虑用户评价与历史调用日志对云计算环境下服务可信度的影响,对一组相似服务进行更加客观公正的评估。本发明涉及到的关键操作包括:(1)分析历史调用日志中与可信相关的特征,根据特征对日志数据以及用户评价数据进行统计,构建关于服务的信任特征向量;(2)评价体系综合考虑用户直接交互、通过用户好友关系的间接交互以及被测者全局交互,分别计算其信任特征向量,并按用户提供的权重对各个级别的信任特征向量进行综合,得到信任评估结果。
-
公开(公告)号:CN103281329B
公开(公告)日:2016-05-25
申请号:CN201310226221.6
申请日:2013-06-07
Applicant: 东南大学
Abstract: 本发明公开了一种基于SoaML的云应用正确性验证方法,主要用于处理云应用的建模与验证问题,本发明采用SoaML对云应用进行建模,并将所建SoaML模型转换为简单进程元语言解释器SPIN支持的建模语言PROMELA和线性时序逻辑LTL。首先使用层次自动机来描述SoaML中的ServiceInterface,根据层次自动机的操作语义将ServiceInterface转换为PROMELA;然后采用LTL来描述SoaML中的ServiceContract。本发明将得到的PROMELA输入SPIN中,验证是否满足LTL所描述的系统约束,即云应用的正确性。
-
-
公开(公告)号:CN101859276B
公开(公告)日:2012-02-22
申请号:CN201010173787.3
申请日:2010-05-14
Applicant: 东南大学
IPC: G06F11/36
Abstract: 本发明公布了一种基于层次切片的回归测试用例选择方法,利用切片技术在程序分解中的作用以及层次切片技术在面向对象程序中的优势,并且结合回归测试用例选择的特点,将层次切片技术应用其中。从版本修改信息中抽取层次切片准则。在包层次上,获取原测试用例的包层次覆盖,选择出能够覆盖包层次切片集的测试用例;在类层次上,获取包级测试用例的类层次覆盖,在包级测试用例中选择出能够覆盖类层次切片集的测试用例;在方法层次上,获取类级测试用例的方法层次覆盖,在类级测试用例中选择出能够覆盖方法层次切片集的测试用例;在语句层次上,获取方法级测试用例的语句层次覆盖,在方法级测试用例中选择出能够覆盖语句层次切片集的测试用例。
-
公开(公告)号:CN101859276A
公开(公告)日:2010-10-13
申请号:CN201010173787.3
申请日:2010-05-14
Applicant: 东南大学
IPC: G06F11/36
Abstract: 本发明公布了一种基于层次切片的回归测试用例选择方法,利用切片技术在程序分解中的作用以及层次切片技术在面向对象程序中的优势,并且结合回归测试用例选择的特点,将层次切片技术应用其中。从版本修改信息中抽取层次切片准则。在包层次上,获取原测试用例的包层次覆盖,选择出能够覆盖包层次切片集的测试用例;在类层次上,获取包级测试用例的类层次覆盖,在包级测试用例中选择出能够覆盖类层次切片集的测试用例;在方法层次上,获取类级测试用例的方法层次覆盖,在类级测试用例中选择出能够覆盖方法层次切片集的测试用例;在语句层次上,获取方法级测试用例的语句层次覆盖,在方法级测试用例中选择出能够覆盖语句层次切片集的测试用例。
-
公开(公告)号:CN103294599B
公开(公告)日:2015-11-04
申请号:CN201310261929.5
申请日:2013-06-27
Applicant: 东南大学
Abstract: 本发明公开了一种基于云的嵌入式软件交叉测试方法,主要用于处理嵌入式软件在云平台下进行交叉测试的问题,本发明通过将测试云与被测云剥离,形成逻辑和物理上分离的测试环境,有利于实现便捷的远程调试,可以解决开发人员分布在不同地理区域的团队难以协作的问题,另外可以减少重复基础设施建设的投资。本发明将被测设备统一管理和调度,方便了测试环境的部署和维护。通过调度被测设备的任务分布,极大提高单个设备的利用率。本发明方法运行于云环境下,具备了云应用多并发、资源可扩展、用户随买随用、按用量付费的优点。
-
-
-
-
-
-
-
-
-