[发明专利]一种基于锁对象拆分策略的并发程序测试方法及其测试系统

摘要

本发明公开一种基于锁对象拆分策略的并发程序测试方法及其测试系统，首先通过静态程序分析技术分析相关代码，确定未使用相同锁对象保护的共享变量，然后对这些共享变量异常访问的代码进行拆分，并选取相同锁对象保护拆分后的代码，生成细粒度的同步方法，再进行可达性测试(运行所有可行的同步序列)，通过生成并执行原待测并发程序中不同管程对象上细粒度的同步事件之间的交织序列，暴露出因使用错误的锁对象保护共享变量而导致的数据竞争、原子违背、死锁等并发程序错误。本方法可有效地提高探测此类并发程序错误的能力。

主权项

一种基于锁对象拆分策略的并发程序测试方法，其特征在于：依次包括以下步骤：(1)给定待测并发程序CP，首先采用程序静态分析技术生成程序控制流图，然后进行逃逸分析和指针分析，在此基础上分析共享变量以及保护每个共享变量访问所需的锁对象，获取未使用相同锁对象保护的共享变量集合及其相关异常访问代码；(2)选取某拆分点对相关异常访问代码进行拆分，并使用相同锁对象即共享变量所在对象保护拆分后的两段代码，生成两个同步方法，待测并发程序由此变化为CP′；(3)对CP’执行可达性测试，探测并发程序共享变量异常访问导致的并发程序错误。