并发程序分析与测试辅助技术分析-concurrent program analysis and test assistant technology analysis.docxVIP

摘要)}发程序『}门二将功能交由多个进稃共同完成，冈而与顺序程序相比具有高效性。现今，随着 用户对软件系统的性能要求越来越高，并发技术得到了r泛的应用。并发技术在得到广泛麻t【=|j的同时也带米了闻难。首先，软件测试需要在分析和理解软件的基 础上进行。由-j二存在进科之IHJ的通信，对丁并发程序的分橱和理解较为困难，因此，了解进程间 的通信关系是理解并发程序的关键所在。而今的代码曰趋庞大，人工查阅代码获得进程问的通信 关系几乎不可能，冈此需要一种测试辅助：l：具自动提取出进程间的通信关系并将其呈现给测试人 员。其次，并发程序给测试带来的困难还在于其动态的执行行为。并发程序由丁进程的调度顺序 以及通信机制本身的原因对于同样输^的不同执行呈现不同的结果，因而行为具有不确定性。这 种不确定性直接导致了，错误的不可再现性，即』亓续的执行无法再现前次执行的错误。测试的目的 就是发现和纠正程序中的错误，而止确发现和纠正错误的前提是能够不断地让同样的错误重复i_|j 现。因而，对于并发稗序的功能和性能进行测试需要能够重现程序的某次执行情况。基于上述问题，我们研究和开发了井发程序分析和测试辅助工具，其中包括通信关系提取和 插述_L具和并发程序追踪重演工具。该工具基于用C语言编写的进程间以消息队列为通信中介的 并发程序。通信关系提取和描述工具用于自动提取输入的源代码中的通信关系并将通信关系以图 形的方式显示给用户，追踪重演：[具能够重现并发程序的某次执行情况。本文讨论_『程序分析的技术，并在此基础上详述了通信关系的提取和描述方法，阐述了并发 程序的追踪重演算法，最后介绍了通信关系提取和描述工具以及追踪重演工具的设计与实现。关键字并发程序进程消息队列通信追踪重演2AbstractIn concnrrent programs，a transaction call be completed by the cooperation of SOITIe processes，so concurrent programs are far more efficient compared with sequential programs．Nowadays，with the improvement of users’demand of software efficiency，concurrent technology is used widelyBut difficulties are also introduced to software testing while using concurrent techonology．Firstly，in concurreut programs，coulmunication oftern Occurs among processes．Software testing is based on software analysis aud understanding．Because of the existence of communication among processes，analyzing and understanding sohware is difficult．So great consideration should be taken 013 communication among processes in testing concurrent programs．As it is nearly impossible to obtain communication relationship manually because of the huge code，a testing assistant tool which can extract communication relationship automatically and represent it visually to users is needed．Secondly，another difficulty that concurrent programs bring to software testing is their dynamic execution behavior．With the same input，different executions of a concurrent program might produce different results，because of different process schedule order and some other internal or external reasons．Thus，the