软件测试和可靠性评估.pdf

擒要 软件测试怒保证和提辩软件质量的蒸要工作，软件可靠性是评价软件质量的谶要指 标。本文首先综述了软件澳《试方法、软件测试工具及软件可靠性评饿模型。为提菇软件 测试懿效栗，减少获释溅试懿喜鎏往，本文鼹导致程黪逡壤鹣都分溅滚进嚣了努援，在 戴罄础上建立了软件故障模溅，针对建立的故障模型的特点，讨论了敞障检测方法及故 障检渊规则，并程开放源码的编译器ore上实现了部分软件故障的梭溯；软件可靠性的 鞭测巍箔诗蔗较转工程所关注魏内容之一，要对软{牟碍霾毪进行评价，嚣要拯攒较俘溅 试豁结粟，根攥测试过程审所得到的灏试数据对其进行评价，本文辩秘用受时新方法进 行软件可靠性憾汁的方法滋行了讨论。 本文豹刨灏点和主簧贡献在于以下几个方面： 一、软粹馥薄模整薛餐建。奁大量工程软佟灞试数爨鲍基蘸主，捷出了鸯工程鹜募 的多种故障模溅，包括动态内存故障模型，变量的定德与引用故障模型等。其中瀚悉内 移故障模型对W髓导致系统澎他、系统歹E机的各种情况进行了分析，为故障的检测、教 簿戆蘩豫撵拱了豫握。蠲时，掰模鳘爨孥敬{孛溺试王{窜，可越枣羲弱鼯蕺较{誓溺试懿葺 隧性，提商软伟测试豹可髂髓。 二、提出了靥向故障检溯的静态数凇流分丰斥方法。静态数据流分柝的优点奁予遴过 对程净邀孬静态分辑，可以瓣程序中的多路径上的数摆流状态进行模敞，克溅了～次动 态遥行廷靛覆藏一条箨痔路径的缺点，鸯效懿提高数攒漉分橇麓效率。遂过对蔽麓本块 为最小划分单元的程序控制绪构中到达褥基本块的各种变量的定值信息的计算，W以获 褥到达程痔中每个节点匏数据流状态。由予程序结构的复杂性使得到达程序中莱～点的 鼹绞跫不难一戆，这耱苓礁一程遥袋了到达巢一基本块熬定篷蓉悫强在程彦戆菜魏路径 上存在，由豫我{f】提出了将到达菜一节点的定值信息谢分为MUST鞠淞Y蘸个类剐，从 而提高了数据流分析的准确性。 三、基予煲时簸方法豹软{譬可靠牲译估方法。该方法墩雯时戴绫计理论为袄撵，在 辩随祝溅试避獠分析的基磷上建立了基予输入域嚣溅试过程豹形式纯描述，在鼗基础上 确定TN试分稚的总体馈息；按照贝时‘辫瓒论，要对软件可靠性进行估计，需磷定义软 转可靠性豹壳骢分布，该先骏分布可{奠利掰受时额假设蠛共轭原理进行定义。分橱发现， 纛软{孛颟穿铡试：遘程孛，采强这嚣释策略掰褥妥翡先验分蠢楚一致懿，这旋舅一耱旁度 印证了先验分布选取的藏确性。根据熙时斯定理，利嗣先验分布和总体分布，可以得到 姆估计变量的厢验分布，然磁根据测试数据可以对可鼗性避行估计。 关键溺：敬势嚣试，歙箨鼍靠牲，软佟鼓薄攘型，鼗据滚分攒，燹砖赣方法 Abstarct ． ResearchonSoftwareand EvaluationMethod TestingReliability ZhangGuangrnei Xiaowei DiretcedProf．Li by thathasbeenusedto and the Softwareisan work ensuringimproving testingimportant of software isan itemthathasbeenusedto software，andreliabilityimportant quality usedto ofsoftwaremethodshavebeen the ofsoftware．Allkinds testing evaluatingquality