面向智能合约应用测试的基本路径覆盖准则
软件工程
2019-11-26 v1
摘要
智能合约的广泛认可确立了其在下一代区块链技术格局中的重要性。然而，编写正确的智能合约是出了名的困难。此外，一旦状态变更交易被网络确认，结果便不可更改。因此，在部署前对智能合约应用进行彻底测试至关重要。本文关注智能合约的测试覆盖准则，即衡量测试质量的客观规则。我们分析了以太坊智能合约程序模型相对于常规程序模型的独特特征。为捕捉智能合约的基本控制流行为，我们提出了整体交易基本路径集和有界交易交互的概念。前者是一组有限的线性独立过程间路径，以太坊交易的潜在无限路径可通过线性组合由其构造；后者则是某一界限内交易的排列。基于这两个概念，我们定义了一系列基于路径的测试覆盖准则。给出了生成覆盖需求的算法。通过案例研究，将所提测试覆盖准则与随机测试和语句覆盖测试的有效性进行了比较。
引用
@article{arxiv.1911.10471,
title = {Basis Path Coverage Criteria for Smart Contract Application Testing},
author = {Xinming Wang and Zhijian Xie and Jiahao He and Gansen Zhao and Nie Ruihua},
journal= {arXiv preprint arXiv:1911.10471},
year = {2019}
}
备注
8 pages