浅论一个自适应的并发程序测试框架

《浅论一个自适应的并发程序测试框架》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、浙江大学计算机科学与技术学院硕士学位论文一个自适应的并发程序测试框架姓名：吴熳娜申请学位级别：硕士专业：计算机应用技术指导教师：周波20100128浙江大学硕士毕业论文摘要摘要随着并发系统在实际应用中的推广，并发程序的调试和测试技术的研究也受到重视。由于并发程序设计复杂，以及执行的不可确定性，并发程序的调试和测试比顺序程序复杂许多。非确定性测试操作简单，容易实现，但是效率低，相同的同步序列可能被多次重复验证。确定性测试通过人为干预程序的执行，迫使被测程序按照给定的同步序列运行，检验并发程序在某一组输入下经历该同步序列的正确性。确定性测试方法能够确定地验证给定同步序列，测试效率高，

2、但是同步序列生成方法以及选择确定性执行技术仍是一个待解决的难题。可达性测试结合了非确定性测试和确定性测试的优点，动态生成同步序列集，在给定输入的前提下穷尽被测程序所有可行的同步序列。然而，可达性测试比较耗时，对于规模较大的并发程序很难穷尽所有可行同步序列。本文提出了一个新的基于并发程序测试点(CTP)检测的测试数据可自调整的并发测试框架。并发错误的根源就是资源共享，线程／进程间完全独立的并发程序可以转换为多个独立运行的顺序程序，也就不会有并发错误产生。该测试框架通过算法初始化测试数据和自动调整测试数据以激化线程／进程间的临界资源竞争，使得潜在并发错误可以更早重现并得以纠正。针对出

3、现过的并发错误验证，本文提出了基于每个可能发生并发错误的并发测试点测试的理论，而不是致力于重演并发错误，事实上同一个并发错误源可以表现为多个错误。关键词：非确定性测试，确定性测试，可达性测试，并发测试点，并发错误浙江大学硕士毕业论文摘要Sincethewidelyapplyingofconcurrentsystems，howtodebugandtestofthesekindsofprogramsisgatheringmoreandmoreattention．Testofconcurrentprogramsismuchmoredifficultythansequenceprogra

4、ms’testingduetoitscomplicateddesignationandnon·deterministic．Thenon-deterministictestingcanbeeasilyoperatedandimplemented,althoughitsineffectiveness．Onesynchronoussequencemaybeexecutedseveraltimeswhiletheexpectednevermeetsyet．Thedeterministictestingforcesthetestedprogramtoexecuteexpectedsynch

5、ronoussequencebasedoncertaintestinput，viasomeman-madeintervene．Itcanverifywhetheritrunscorrectlyinthissequence．Deterministictestingiseffectivesinceitcanverifycertainsynchronoussequencesdeterministically；however'howtogeneratesynchronoussequencesandwhatdeterministicexecutingtechniquebeingchosen

6、isstillanunder-solvedissue．Reachabilitytestingabsorbsbothnon=deterministicanddeterministictesting’Sadvantages．ItgeneratessynchronoussequencesdynamicallyandtestsallthepossiblesequencesundercertaintestinputX．Nevertheless，Reachabilitytestingistime-consuming．Fortestingofsomehllgeconcurrentprogram

7、s，itishardtofinishverificationallpossiblesynchronoussequences．Inthispaper,anewconcurrenttestframeworkwhichtestsconcurrentprogramsbaseoneachconcurrenttestpointsisintroduced．ThisframeworkCanalsoadapttestdataautomatically．Thefundamentalreasonofc