基于软件内建自测试模板内容的的研究.pdfVIP

第十届全国容错计算学术会议 基于软件内建自测试模板内容的研究· 王宗青，徐拾义 (上海市延长路149号上海大学计算机学院容错实验室，20072) ioenkin@163．com 摘要：受到硬件测试中BISTIlJ技术和可测试性设计的启发，在国家自然科学基金项目“软 件内建自测试”中提出了软件内建自测试的思想。本文给出了模板的程序流程中有效语句的 定义、流程的存储格式以及独立路径的计算。 关键词：BIST，可测性设计，软件内建自测试技术，程序流程 1概述 信息技术的高速发展，使软件产品应用到社会的各个领域。软件产品的质量自然成为人们关注的 焦点之一。软件测试正是保证软件质量的重要手段。越来越多的计算机专家开始意识到软件测试的重 要性，他们提出了许多有用的测试方法。但在实际中，成熟有效的软件测试产品并不多。而硬件测试 入具有测试功能的电路，使得电路自身能产生测试码以检测电路故障是否存在。基于这种思想，在软 件内建自测试系统中，采用内建自测试技术(BISn——来达到软件测试的目的。 软件内建自测试系统的基本结构如图l所示： 图1软件内建自测试系统的工作机制 软什内建白测试系统的基本思想是：首先为程序员提供一套预先设置好的模板口J，这套模板要求程 序开发人员往开发的时候必须满足该模板的相关条件，并在模板中输入所要求的数据。再由模板对该 测试，以完成基本的测试功能。模板还有测试状态和正常状态之分，使得在测试完成之后程序转入止 常运行状态以提高运行速度。 模扳是软件内建自测试系统的基石。因此模板中的内容关系到整个系统的性能，下面我们就对模 板中的程序流科进行研究。 址金项【I：l司‘采n然科学基金资助项目19992002)； 作者简介：上京甫(1978-)．男．福建福州人．硕士研究生．研究领域：软件测试与可靠性分析 18l 2定义 定义1模板：是一种专门为软件内建自测试项目生成测试用例而设计的特殊数据库，用以存储 软件测试有川的信息。 定义2有效语句：在任意一个函数或者模块中，那些进行函数调用、赋值、比较、判断、输入 输山的语句就称为有效语句。 3程序流程的研究 有了上面的定义，我们就可以对程序文件进行分析了。对程序中的每行有效语句，我们可以产生 ～个相应的节点。它的定义如下所示。 struct programNode { int pLineNumber；／／该节点所在的行 char pText[I001；／／该节点的内容 int textType；／／该节点内容的语句类型1：赋值语句；2：if类型的语句； ／／3：while类型的语句：4：输入、 ／／输出的语句：5：return类型的语句 struct ／／指向下一个后继左节点，如果没 programNode+lettChild； ／／有就为NULL struct programNode+rightChild；／／指向下一个后继右节点，如果没 ／／有就为NuLL ／／o：一般的语句而且没有调用函数 ／／1：一般的语句而且调用函数 } 由丁目前我们处于开发研究的中期阶段．系统的很多东西都需要进一步的完善和发展。考虑到for 结构的语句都可以用while语句结构代替，在原程序文件中，我们目前只对while语句结构进行处理， 而不考虑for结构的语句。随着研究的深入和课题的进展，for结构的语句一定会解决的。 对上面结构体中的textType特别