-
公开(公告)号：CN112069050A
公开(公告)日：2020-12-11
申请号：CN201910498422.9
申请日：2019-06-11
Applicant: 南京慕测信息科技有限公司
Abstract: 本发明涉及一种基于多目标优化的智能合约测试方法，针对以太坊智能合约源程序利用truffle编译获得ABI，进而通过解析ABI获取智能合约的方法，生成一系列随机测试套件；通过在本地链上运行测试套件来获取其gas消耗、测试用例数目、分支覆盖率以及变异得分这几个相互冲突的目标；再根据收集到的信息进行非支配排序，找到Pareto最优解，从而在多个目标之间取得平衡。本发明的目的在于自动化地生成既具有成本效益，又具有代表性的智能合约测试套件，帮助合约测试人员提高测试充分性的同时降低测试成本，最终实现提高智能合约测试效果、保障智能约质量的目标。
-
公开(公告)号：CN112069050B
公开(公告)日：2022-05-17
申请号：CN201910498422.9
申请日：2019-06-11
Applicant: 南京慕测信息科技有限公司
Abstract: 本发明涉及一种基于多目标优化的智能合约测试方法，针对以太坊智能合约源程序利用truffle编译获得ABI，进而通过解析ABI获取智能合约的方法，生成一系列随机测试套件；通过在本地链上运行测试套件来获取其gas消耗、测试用例数目、分支覆盖率以及变异得分这几个相互冲突的目标；再根据收集到的信息进行非支配排序，找到Pareto最优解，从而在多个目标之间取得平衡。本发明的目的在于自动化地生成既具有成本效益，又具有代表性的智能合约测试套件，帮助合约测试人员提高测试充分性的同时降低测试成本，最终实现提高智能合约测试效果、保障智能约质量的目标。
-
Search Results
2
records
(took 0.019 seconds)
