面向并发程序数据竞争故障的变异策略研究-软件工程专业毕业论文.docxVIP

北京化工大学硕士学位论文力，本文选取了12个Java类库程序作为基准并发程序，应用14个已有 北京化工大学硕士学位论文 力，本文选取了12个Java类库程序作为基准并发程序，应用14个已有 的并发变异算子对其进行变异生成变异体，并使用JPF(Java Path Finder) 检测工具，检测变异体程序中的数据竞争故障，以此分析已有变异算子触 发数据竞争故障的能力。采用新设计的两个并发变异算子SLRO和MSVO 针对SMPSS选取出的变异点进行变异生成变异体，分析新设计变异算子 触发数据竞争故障的能力。实验结果表明，己有变异算子触发数据竞争故 障能力较低，新设计的SLRO和MSVO变异算子能有效地触发数据竞争 故障，为并发程序数据竞争故障的检测提供了有力支持。 关键词：并发变异测试，数据竞争故障，锁对象，共享变量，变异点选取 Ⅱ 万方数据 ————●———————————_————————————_————————————————__———————-————————————一一 ————●———————————_————————————_————————————————__———————-————————————一一丝兰型竺! 一一—— DATA RACE FAULT ORIENTED MUTATION STRATEGY RESEARCH oN CONCURRENT PROGRAM ABSTRACT Mutation testing is a well．known testing approach which is based on fault injection．Recent year it has been widely used in serial program testing area· By using a simply strategy of having modification on the symbols or statements in program to inject the faults，it can easily to evaluate the ability of test cases to discover the unknown real faults．Concurrent mutation testing is just trying to apply the fault injection strategy to the multi—thread concurrent programs，in which test ability of test cases can be effectively reflected for testing concurrent programs． At present，the research of concurrent mutation testing is still in the base level which is mainly concentrating on designing and comparing different mutation operators．And existing concurrent mutation operators are mainly based on specification of program structure and characteristic of program language，SO it makes the trigger ability of specific concurrent faults weak．In this paper,we first analyzed the effectiveness of data race faults which would be successfully triggered by existing mutation operators．Then，based on analysis results，we introduced two new mutation strategies named Lock-oriented Mutation Strategy(LMS)and Shared—variable—oriented Mutation Strategy(SMS)．And based on those strategies，two new operators III 万方数据 北京化工大学硕士学位论文named 北京化工大学硕士学位论文 named Synchronized Lock Resting Operator(SLRO)and Move