基于不确定性的并发正确性测试方法的改进

李桢; 徐海水

doi:10.3969/j.issn.1007-7162.2014.03.019

欢迎来到能源电力期刊网！

English Version 期刊登录

您当前的位置：

首页 >

文章列表页 >

基于不确定性的并发正确性测试方法的改进

综合研究 | 更新时间：2026-05-27

- 基于不确定性的并发正确性测试方法的改进
- Improvement of the Concurrency Correctness Testing Method Based on Non-deterministic Test Method
- 广东工业大学学报 2014年31卷第3期页码：109-113
- 作者机构：
- 作者简介：
  
  李桢（1988-），女，硕士研究生，主要研究方向为软件工程和软件测试.
- 基金信息：
  
  广东省自然科学基金资助项目（07001802）
- DOI：10.3969/j.issn.1007-7162.2014.03.019
  中图分类号：
- 网络首发：2014-09-30，
  
  纸质出版：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

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于路况参数的混合动力机车能量管理策略研究

基于PSI技术的福州市地面形变监测与影响因素分析

人工噪声辅助无人机太赫兹安全通信的鲁棒设计

面向灾后救援的多无人机通感算一体化资源分配优化方法

双模态迭代交叉注意力融合集成框架