| 基于不确定性的并发正确性测试方法的改进 |
| |
| 引用本文： | 李桢,;徐海水.基于不确定性的并发正确性测试方法的改进[J].广东工学院学报,2014(3):109-113. |
| |
| 作者姓名： | 李桢 ;徐海水 |
| |
| 作者单位： | [1]广东工业大学计算机学院,广东广州510006; [2]广东工业大学网络信息与现代教育技术中心,广东广州510006 |
| |
| 基金项目： | 广东省自然科学基金资助项目（07001802） |
| |
| 摘 要： | 多线程执行过程中的不确定性和异步性，导致测试并发程序的正确性相当困难。基于不确定测试方法上，提出了一个改进的并发程序正确性测试方法。通过激化并发程序的资源竞争来发现潜在的并发错误，从而测试并发程序的正确性。实验结果表明，使用该测试方法可以更加精确地发现并发程序产生的错误并有效地提高并发正确性测试的效率。
|
| 关 键 词： | 并发测试 非确定性测试 资源竞争 并发正确性 |
Improvement of the Concurrency Correctness Testing Method Based on Non-deterministic Test Method |
| |
| Affiliation: | Li Zhen, Xu Hai-shui ( 1. School of Computers.; 2. Center of Internet Information and Modem Education Technology, Guangdong University of Technology, Guangzhou 510006, China) |
| |
| 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: | concurrency testing non-deterministic test resource competition concurrency correctness |
| 本文献已被 维普 等数据库收录！ |
