并发程序变异算子的设计及有效性分析.PDFVIP

并发程序变异算子的设计及有效性分析 北京化工大学 吴俞伯 郭俊霞 李征 赵瑞莲 目录页 CONTENTS PAGE P1.研究背景 P2. 研究内容 P3.实验验证 P4.总结 与现状 研究背景与现状 Part 1 Part 1 Part 2 Part 3 Part 4 研究背景和现状 并发程序的变异测试 并发程序变异测试是将变异测 变异测试作为一种基于故障植 试应用到多线程并发程序中 ，通 入的测试方法 ，在串行程序测试 过并发变异算子对多线程并发程 上得到了较好的应用 ，可对测试 序植入故障 ，以此来评估并发程 用例的故障检测能力进行有效的 序测试用例或测试方法检测并发 评估。 故障的能力。 4 Part 1 Part 2 Part 3 Part 4 研究背景和现状 并发故障和同步机制 并发故障是并发程序特有的故障 ，这是由于多线程并发程 序在执行过程中存在不确定性 ，当程序按照不当的调度序列执 行时 ，可能会导致程序引发数据竞争、死锁等特定的并发故障。 为保证并发程序多个线程对共享数据的安全访问 ，不会对 共享数据造成破坏 ，从而引发数据竞争故障 ，多线程并发程序 引入了同步机制。 synchronized （Lock ）{ 例如： Java 中的同步语句 （synchronized ）， // 代码块… 不同的同步语句之间通过共用一个锁对 象 （Lock ）来保证对共享变量的互斥访 } 问，不会对共享变量造成破坏。 5 Part 1 Part 2 Part 3 Part 4 研究背景和现状 并发程序变异测试现状 并发程序变异测试研究还处于起步阶段 ，主要集中在并发 变异算子的研究方面。 目前 ，并发变异测试中对于并发变异算子的评估 ，只是依 据变异得分的多少来评估变异算子 ，并没有对变异算子触发数 据竞争、死锁等常见并发故障的能力进行分析评价。 6 Part 1 Part 2 Part 3 Part 4 研究背景和现状 并发程序变异测试 本文分析了已有的并发变异算子触发数据竞争故障能力 ， 通过实验结果得知 ，已有的并发变异算子不能有效的触发数据 竞争故障。这是由于已有的并发变异算子都是根据并发结构特 性设计的 ，没有