Practical Tools and Techniques for the Testing of Concurrent Software Components

用于测试并发软件组件的实用工具和技术。该项目将开发实用的、系统的并发软件组件测试工具和技术。测试是确保软件按预期执行的主要手段，但对并发软件的测试知之甚少，尽管大多数复杂的、基于计算机的系统本质上是并发的。这种软件的非确定性性质带来的复杂性意味着，用于更简单、顺序的软件的测试工具和技术是不够的。该项目的成果将包括有效测试并发软件组件的实用技术，特别是测试Java组件的工具。

Practical Tools and Techniques for the Testing of Concurrent Software Components. This project will develop tools and techniques for the practical, systematic testing of concurrent software components. Testing is a major means for ensuring that software performs as expected, but testing concurrent software is poorly understood even though the majority of complex, computer-based systems are concurrent in nature. The complexities arising from the non-deterministic nature of such software means that testing tools and techniques used for simpler, sequential software are inadequate. The outcomes of this project will consist of practical techniques for the effective testing of concurrent software components in general and tools for the testing of Java components in particular.