智能合约和区块链应用程序的多目标测试选择.
1Kuwait University, Sabah Al-Salem University City, Kuwait.
PeerJ. Computer science
|October 23, 2023
概括
本研究介绍了一个智能合约测试方法,平衡时间,覆盖范围和气体使用量. 它显著降低了区块链应用程序的测试成本,同时保持了有效的故障检测.
科学领域:
- 计算机科学 计算机科学
- 软件工程 软件工程 软件工程
- 区块链技术 区块链技术
背景情况:
- 建立在区块链技术上的分散应用程序在确保正确性方面面临挑战,冒着财务损失和用户信任的风险.
- 由于区块链平台的限制和执行成本,测试智能合约是复杂的,质疑传统软件测试方法的适用性.
研究的目的:
- 建议和评估智能合约的多目标测试选择技术.
- 为了平衡测试目标,包括时间,代码覆盖和气体消耗.
主要方法:
- 开发了智能合约的多目标测试选择技术.
- 对现实世界智能合约的技术进行了评估,并对Solidity案例研究进行了基准评估.
- 与随机搜索,单一目标搜索和传统的重复测试方法进行了比较.
主要成果:
- 拟议的技术显著降低了智能合约测试成本.
- 维持了可接受的故障检测能力.
- 与传统和更简单的基于搜索的方法相比,其表现优越.
结论:
- 多目标测试选择技术对于智能合约是有效的.
- 它提供了一种成本效益高的智能合约测试方法,而不会影响质量.
- 这种方法解决了测试区块链应用程序的独特挑战.
更多相关视频
相关概念视频
Issues And Trends In Healthcare Delivery System
5.6K
The issues and trends in healthcare delivery are constantly changing. The COVID-19 pandemic is one recent issue that wreaked havoc on healthcare systems, causing a shortage of healthcare workers, high demand for medicines and supplies, and increased medical expenditure due to a lack of insurance. Other issues include rising healthcare costs and care fragmentation.
Cost Containment
Payment for healthcare services has historically promoted adoption of costly and often unnecessary or inefficient...
Cost Containment
Payment for healthcare services has historically promoted adoption of costly and often unnecessary or inefficient...
5.6K
Multiple Comparison Tests
3.9K
Multiple comparison test, abbreviated as MCT, is a post hoc analysis generally performed after comparing multiple samples with one or more tests. An MCT will help identify a significantly different sample among multiple samples or a factor among multiple factors.
It would be easy to compare two samples using a significance alpha level of 0.05. In other words, there is only one sample pair to be compared. However, it would be difficult to identify a significantly different sample if the number...
It would be easy to compare two samples using a significance alpha level of 0.05. In other words, there is only one sample pair to be compared. However, it would be difficult to identify a significantly different sample if the number...
3.9K
Decision Making: P-value Method
5.4K
The process of hypothesis testing based on the P-value method includes calculating the P- value using the sample data and interpreting it.
First, a specific claim about the population parameter is proposed. The claim is based on the research question and is stated in a simple form. Further, an opposing statement to the claim is also stated. These statements can act as null and alternative hypotheses: a null hypothesis would be a neutral statement while the alternative hypothesis can...
First, a specific claim about the population parameter is proposed. The claim is based on the research question and is stated in a simple form. Further, an opposing statement to the claim is also stated. These statements can act as null and alternative hypotheses: a null hypothesis would be a neutral statement while the alternative hypothesis can...
5.4K
Decision Making: Traditional Method
4.0K
The process of hypothesis testing based on the traditional method includes calculating the critical value, testing the value of the test statistic using the sample data, and interpreting these values.
First, a specific claim about the population parameter is decided based on the research question and is stated in a simple form. Further, an opposing statement to this claim is also stated. These statements can act as null and alternative hypotheses, out of which a null hypothesis would be a...
First, a specific claim about the population parameter is decided based on the research question and is stated in a simple form. Further, an opposing statement to this claim is also stated. These statements can act as null and alternative hypotheses, out of which a null hypothesis would be a...
4.0K
Reliability and Validity
12.7K
Reliability and validity are two important considerations that must be made with any type of data collection. Reliability refers to the ability to consistently produce a given result. In the context of psychological research, this would mean that any instruments or tools used to collect data do so in consistent, reproducible ways.
12.7K
Decision Making
119
Decision-making is a fundamental cognitive process that involves evaluating alternatives and selecting among them. This process can range from simple choices, such as deciding what to wear, to complex decisions, like choosing a major in college or a career path. The complexity of the decision often dictates the approach we use, which can be broadly categorized into two types: automatic and controlled decision-making.
Automatic decision-making is fast, intuitive, and relies on gut feelings...
Automatic decision-making is fast, intuitive, and relies on gut feelings...
119


