Practical Tools and Techniques for the Testing of Concurrent Software Components

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

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.