相关实验视频

Updated: Sep 11, 2025

Automated Robotic Liquid Handling Assembly of Modular DNA Devices

Automated Robotic Liquid Handling Assembly of Modular DNA Devices

Published on: December 1, 2017

AGTS:用于Hyperledger Fabric的新型自动化智能合约测试套件

Lixue Liu¹, Qiqi Gu¹, Wei Ke²

¹Faculty of Applied Sciences, Macao Polytechnic University, Macao SAR, China.

Scientific reports

|August 13, 2025

概括

自动化区块链测试对于可靠性至关重要. 本研究介绍了AGTS,它是Hyperledger Fabric智能合约的自动化框架,增强了测试覆盖范围和安全性,同时减少了人工工作.

科学领域:

计算机科学计算机科学
软件工程软件工程软件工程
区块链技术区块链技术

背景情况:

区块链应用程序的可靠性取决于严格的测试.
智能合约的漏洞带来了重大风险.
手动生成测试案例是耗时的,容易出现错误.

研究的目的:

介绍AGTS,这是一个用于在Hyperledger Fabric上生成智能合约测试套件的自动化框架.
在测试中减少手工劳动力,同时提高测试覆盖范围和安全性.
提高区块链应用程序的稳定性和可靠性.

主要方法:

AGTS集成了静态和动态分析,包括符号执行和模糊测试.
它使用C#并处理CoCoME,LibraryMS和LoanPS测试案例的要求.
生成的测试脚本通过ShellCheck和持续集成进行质量保证.

主要成果:

为CoCoME生成了34个测试案例,为LibraryMS生成了32个,为LoanPS生成了28个.
自动化测试脚本创建和验证显著减少了手工工作.
AGTS在缺陷检测方面表现出有效性,优于现有方法.

结论:

AGTS为确保智能合约可靠性和安全性提供了一个强大的框架.
自动化方法加速了开发,并提高了整体区块链应用程序的质量.
AGTS促进了快速,彻底的测试周期,并提高了维护能力.

关键词:

复合订单是指一个复合订单.超级账本组织织物智能合约是一种智能合约.测试案例的生成测试套件测试套件

更多相关视频

Hybrid Printing for the Fabrication of Smart Sensors

Hybrid Printing for the Fabrication of Smart Sensors

Published on: January 31, 2019

A Simple and Scalable Fabrication Method for Organic Electronic Devices on Textiles

A Simple and Scalable Fabrication Method for Organic Electronic Devices on Textiles

Published on: March 13, 2017

相关概念视频

Distribution Reliability and Automation

Distribution Reliability and Automation

Distribution reliability in electrical power systems is critical for ensuring an uninterrupted power supply to consumers at minimal cost. According to IEEE Standard Terms, reliability is the probability that a device will function without failure over a specified time period or amount of usage. For electric power distribution, this translates to maintaining continuous power supply and addressing customer concerns over power outages. Several indices, as defined by IEEE Standard 1366-2012, are...

Generation of Straight or Branched Actin Filaments

Generation of Straight or Branched Actin Filaments

The straight or branched structure formation of actin filaments is controlled by nucleating proteins such as the formins and Arp2/3 complex. Formin-mediated assembly results in straight filaments, whereas Arp2/3 protein complex-mediated assembly results in branched actin filaments.
Arp2/3 Complex
Arp2/3 complex is a seven-subunit complex consisting of two proteins similar to actin- Arp2 and Arp3, and five other subunits that help keep Arp2 and Arp3 inactive. When required, the complex is...