一种并发程序可测试性分析框架

摘要

软件可测试性是对测试软件难易程度的预测,在测试、度量等许多领域中得到了广泛应用.由于并发程序执行的不确定性,其可测试性分析尚有很多难点有待解决.该文提出了一种并发程序可测试性分析框架.在充分分析程序内部数据流、控制流以及并发和同步对数据流和控制流影响的基础上,从单个并发单元、并发因素、共享变量因素及通信关系4个方面对并发程序的可测试性进行了分析,为综合度量并发程序的可测试性提供了依据.