.png){kind=icon}
返回
Version [2.0]- [SmarTS: A java package for smart contract test suite generation and execution]
.png){kind=icon}
PRE
AI
DOI：10.1016/j.softx.2026.102569.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
本文描述了SmarTS软件包的更新和扩展版本。测试现在还额外涵盖能够处理相关交易类型的智能合约。SmarTSv2软件包实现了k+1测试模式并保留了之前的功能。更新后的软件生成并运行一组最小的测试用例，包括具有多种验证规则配置的智能合约。软件包结构中使用抽象层允许测试来自任何业务领域的智能合约。在当前版本中，抽象层中的类结构已被简化，这缩短了测试执行期间的方法调用路径。此外，为两种类型的智能合约提供了一致的测试执行机制。
Keyword:
Test suite generation
Smart contract
K+1 test pattern
AdapT design pattern
期刊
IF:
2.4
论文数:
346
被引数:
7.3K
机构
暂无机构信息
引用论文
Blockchain‐Audited Federated Learning: Securing Data and Model Updates With On‐Chain Provenance区块链审计的联邦学习：通过链上来源确保数据和模型更新安全.png)
IET Software
IET SoftwareIF0
PREAI
分享收藏AdapT: A reusable package for implementing smart contracts that process transactions of congruous typesAdapT：一个用于实现处理同类型交易的智能合约的可重用包
OAAI
OAAI分享收藏SmarTS: A Java package for smart contract test suite generation and executionSmarTS：一个用于智能合约测试套件生成和执行的Java软件包SoftwareXOAAI
SoftwareXIF0
OAAI分享收藏Enhancing Requirements via Structured Formalization and Process‐State Consistency Validation: An LLM‐Assisted Test‐Driven Framework通过结构化形式化与过程-状态一致性验证增强需求：一种大语言模型辅助的测试驱动框架IET Software
IET SoftwareIF0
PREAI
分享收藏Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph Rewriting for Testing Domain-specific Models.智能合约的动态基于角色的访问控制场景：面向领域特定模型的图重写测试
PREAI
分享收藏WEC-Grid: A software tool for integrating wave energy converter models into power system simulationsWEC-Grid：一个用于将波浪能转换器模型集成到电力系统仿真中的软件工具SOFTWAREXOAAI
SOFTWAREXIF2.4
OAAI分享收藏The 1+5 Architectural Views Model in Designing Blockchain and IT System Integration Solutions设计区块链和it系统集成解决方案中的1 5架构视图模型Symmetry
OAAI
SymmetryIF0
OAAI分享收藏Original publication IntLevPy: A Python library to classify and model intermittent and Lévy processes原始出版物 IntLevPy：一个用于分类和建模间歇性与Lévy过程的Python库SOFTWAREXOAAI
SOFTWAREXIF2.4
OAAI分享收藏
查看更多内容