C程序并发行为控制方法及其测试工具支持

摘要

针对由于并发程序的行为不可控而导致难以对其进行测试的问题,提出了一种控制C程序中并发行为的方法.该方法以多线程同步为基础,使用测试序列和测试单位完成对并发行为的控制.在此基础上,实现了对C程序测试活动中并发行为控制的工具支持,以生产者-消费者为例说明了使用此工具进行测试活动,并讨论了其效率.