-
公开(公告)号：CN110377492B
公开(公告)日：2022-05-17
申请号：CN201810324955.0
申请日：2018-04-12
Applicant: 南京慕测信息科技有限公司
IPC: G06F11/36
Abstract: 本发明涉及一种基于方法相似度的单元测试用例生成方法。该方法针对源程序中各个类的成员和方法进行访问权限分析，生成可供测试用例自动生成的测试群集，包括可访问成员集和可访问方法集；在此基础上，通过多种距离分析方法度量可访问方法集中方法在返回值类型和参数上的距离来构建返回值类型距离矩阵和参数距离矩阵；最后，结合遗传算法，在各个距离矩阵的指导下开展单元测试用例生成工作，最终自动生成一个高质量的单元测试用例集，为软件研发人员开展单元测试提供帮助。本发明目的在于解决目前存在的自动生成的单元测试用例质量低、生成速度慢的难题，进而帮助软件研发人员提高软件测试效率，保障软件质量。
-
公开(公告)号：CN112069050A
公开(公告)日：2020-12-11
申请号：CN201910498422.9
申请日：2019-06-11
Applicant: 南京慕测信息科技有限公司
Abstract: 本发明涉及一种基于多目标优化的智能合约测试方法，针对以太坊智能合约源程序利用truffle编译获得ABI，进而通过解析ABI获取智能合约的方法，生成一系列随机测试套件；通过在本地链上运行测试套件来获取其gas消耗、测试用例数目、分支覆盖率以及变异得分这几个相互冲突的目标；再根据收集到的信息进行非支配排序，找到Pareto最优解，从而在多个目标之间取得平衡。本发明的目的在于自动化地生成既具有成本效益，又具有代表性的智能合约测试套件，帮助合约测试人员提高测试充分性的同时降低测试成本，最终实现提高智能合约测试效果、保障智能约质量的目标。
-
Patent Agency Ranking
公开(公告)号：CN110377492A
公开(公告)日：2019-10-25
申请号：CN201810324955.0
申请日：2018-04-12
Applicant: 南京慕测信息科技有限公司
IPC: G06F11/36
Abstract: 本发明涉及一种基于方法相似度的单元测试用例生成方法。该方法针对源程序中各个类的成员和方法进行访问权限分析，生成可供测试用例自动生成的测试群集，包括可访问成员集和可访问方法集；在此基础上，通过多种距离分析方法度量可访问方法集中方法在返回值类型和参数上的距离来构建返回值类型距离矩阵和参数距离矩阵；最后，结合遗传算法，在各个距离矩阵的指导下开展单元测试用例生成工作，最终自动生成一个高质量的单元测试用例集，为软件研发人员开展单元测试提供帮助。本发明目的在于解决目前存在的自动生成的单元测试用例质量低、生成速度慢的难题，进而帮助软件研发人员提高软件测试效率，保障软件质量。
-
公开(公告)号：CN112069050B
公开(公告)日：2022-05-17
申请号：CN201910498422.9
申请日：2019-06-11
Applicant: 南京慕测信息科技有限公司
Abstract: 本发明涉及一种基于多目标优化的智能合约测试方法，针对以太坊智能合约源程序利用truffle编译获得ABI，进而通过解析ABI获取智能合约的方法，生成一系列随机测试套件；通过在本地链上运行测试套件来获取其gas消耗、测试用例数目、分支覆盖率以及变异得分这几个相互冲突的目标；再根据收集到的信息进行非支配排序，找到Pareto最优解，从而在多个目标之间取得平衡。本发明的目的在于自动化地生成既具有成本效益，又具有代表性的智能合约测试套件，帮助合约测试人员提高测试充分性的同时降低测试成本，最终实现提高智能合约测试效果、保障智能约质量的目标。
-
公开(公告)号：CN112070605A
公开(公告)日：2020-12-11
申请号：CN201910498379.6
申请日：2019-06-11
Applicant: 南京慕测信息科技有限公司
Abstract: 本发明提出一种基于窥孔优化的以太坊智能合约Gas优化方法。该方法首先收集以太坊中部署的智能合约操作码。将以太坊智能合约操作码中进行拆分指令序列处理，获得的所有指令序列，得到指令序列集。然后对指令序列集后进行标准化处理，对指令中的寄存器、常数等参数进行标准化。得到标准化后的操作码后进行指令序列划分，并计算Gas消耗，每一类作为一个替换规则。然后进行待优化合约匹配，优化过程中使用替换规则进行匹配，如果检测到等价片段，则添加进替换规则中。最后进行指令序列替换，选择Gas消耗最低的片段将其替换，如果该等价片段Gas消耗更低则不进行替换。最后达到降低智能合约Gas消耗的效果。
-
公开(公告)号：CN110377493A
公开(公告)日：2019-10-25
申请号：CN201810325049.2
申请日：2018-04-12
Applicant: 南京慕测信息科技有限公司
IPC: G06F11/36
Abstract: 本发明涉及一种面向代码可读性的单元测试用例优化方法，针对源程序利用控制流分析和数据依赖分析挖掘源程序中出现的每个类的实例化代码片段，从而构建类实例化片段仓库；在此基础上，针对自动化生成工具生成单元测试用例代码中所有的类实例化片段，自上而下不断从类实例化片段仓库中选择可行的片段进行替换，保留执行结果不变且满足覆盖条件的替换结果，最终生成优化后的单元测试用例结果。本发明目的在于解决目前自动化生成工具所生成单元测试用例代码可读性低、影响研发人员测试效率的问题，进而来大幅提高自动化生成方法及相关工具在软件生产实践中的实用性和易用性，最终实现提高软件测试效率、保障软件质量的目标。
-
公开(公告)号：CN110377493B
公开(公告)日：2022-05-17
申请号：CN201810325049.2
申请日：2018-04-12
Applicant: 南京慕测信息科技有限公司
IPC: G06F11/36
Abstract: 本发明涉及一种面向代码可读性的单元测试用例优化方法，针对源程序利用控制流分析和数据依赖分析挖掘源程序中出现的每个类的实例化代码片段，从而构建类实例化片段仓库；在此基础上，针对自动化生成工具生成单元测试用例代码中所有的类实例化片段，自上而下不断从类实例化片段仓库中选择可行的片段进行替换，保留执行结果不变且满足覆盖条件的替换结果，最终生成优化后的单元测试用例结果。本发明目的在于解决目前自动化生成工具所生成单元测试用例代码可读性低、影响研发人员测试效率的问题，进而来大幅提高自动化生成方法及相关工具在软件生产实践中的实用性和易用性，最终实现提高软件测试效率、保障软件质量的目标。
-
-
-
-
-
-
Search Results
7
records
(took 0.019 seconds)
