Improvement of the Concurrency Correctness Testing Method Based on Non-deterministic Test Method

Li Zhen; Xu Hai-shui

doi:10.3969/j.issn.1007-7162.2014.03.019

English Version Journal Login

您当前的位置：

首页 >

文章列表页 >

Improvement of the Concurrency Correctness Testing Method Based on Non-deterministic Test Method

更新时间：2026-05-27

- Improvement of the Concurrency Correctness Testing Method Based on Non-deterministic Test Method
- Vol. 31, Issue 3, Pages: 109-113(2014)
- 作者机构：
- 作者简介：
- 基金信息：
- DOI：10.3969/j.issn.1007-7162.2014.03.019
  CLC：
- Online First：30 September 2014，
  
  Published：2014
- 稿件说明：
移动端阅览
李桢, 徐海水. 基于不确定性的并发正确性测试方法的改进[J]. 广东工业大学学报, 2014, 31(3): 109-113.

Li Zhen, Xu Hai-shui. Improvement of the Concurrency Correctness Testing Method Based on Non-deterministic Test Method[J]. 2014, 31(3): 109-113.
李桢, 徐海水. 基于不确定性的并发正确性测试方法的改进[J]. 广东工业大学学报, 2014, 31(3): 109-113. DOI： 10.3969/j.issn.1007-7162.2014.03.019.

Li Zhen, Xu Hai-shui. Improvement of the Concurrency Correctness Testing Method Based on Non-deterministic Test Method[J]. 2014, 31(3): 109-113. DOI： 10.3969/j.issn.1007-7162.2014.03.019.

摘要

多线程执行过程中的不确定性和异步性，导致测试并发程序的正确性相当困难.基于不确定测试方法上，提出了一个改进的并发程序正确性测试方法.通过激化并发程序的资源竞争来发现潜在的并发错误，从而测试并发程序的正确性.实验结果表明，使用该测试方法可以更加精确地发现并发程序产生的错误并有效地提高并发正确性测试的效率.

Abstract

The uncertainty and asynchronous nature in the implementation of multi-threading makes it fairly difficult to test the correctness of the concurrent program. To improve the efficiency

it proposed a method to test the correctness of concurrent programs

based on the non-deterministic test method. Through intensifying concurrent programs to compete for resources

the potential concurrency errors were found and the correctness of concurrent programs was tested. The experimental results show that with this method

the efficiency of testing concurrent correctness is validly improved. And that the errors in the concurrency program can be found with more efficiency.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Modeling of 3D NAND Memory Cells with Taper Angle and Programming Strategy Optimization

A Resource Allocation Optimization Method for Multi-UAV Integrated Sensing, Computing, and Communication Towards Disaster Relief

Research on Foreign Object Detection in Power Transmission Lines Based on the AAGV-YOLOX Model

The Cross-twin Physics-informed Neural Network for Wave Equations with Conserved Quantities

Research and Implementation of a Pulsed Laser Ranging Method Based on Digital Mixing

Related Author

No data

Related Institution

No data

AI问答

⁰