基于体系结构的软件可靠性测评研究.pdfVIP

第31卷 第4期 Vo1．3l N0．4 2012年 l2月 成都大学学报(自然科学版) JournalofChengduUniversity(NaturalScienceEdition) Dec．20l2 文章编号：1004—5422(2012)04—0336—06 基于体系结构的软件可靠性测评研究 齐 蓓，覃志东 (东华大学计算机科学与技术学院，上海 201620) 摘 要：针对传统高可靠性软件测评方法存在的问题 ，在分析基于体系结构测评重要性的基础上提 出了基于 软件体系结构的可靠性测评方法．将软件可靠性增长测试和软件可靠性验证测试有机统一起来，从模块级对可 靠性进行控制，并提供可靠性先验信息．该方法有利于实现软件可靠性快速增长，有效减少测试用例量． 关键词：软件可靠性；可靠性测评；软件体系结构；软件测试 中图分类号：TP311．52 文献标识码：A 而，传统的软件可靠性测评的方法把软件系统看成 0 引 言 一 个整体，不能通过对软件模块级可靠性的控制达 软件可靠性测评是保障其可靠性的重要方法之 到对整个软件系统可靠性的把握．仅依靠系统级的 一 ，对软件可靠性测评的研究有着积极的现实意 软件可靠性增长及验证测试，将无法确保软件可靠 义-】I3J．目前，科研人员对软件可靠性测评的技术与 性盼陕速增长以及用少量测试代价对系统当前可靠 方法已展开了广泛而深人的研究，并取得了丰硕的 性达到高可信的验证L1． 理论成果和工程实践经验．例如，为在软件测试过程 基于此，本研究从软件结构特点和开发的现状 中及早暴露软件缺陷以达到尽快提高软件可靠性的 着手，提出一种软件可靠性测评方法，将软件可靠性 目的，以Musa为代表的软件可靠性工程学派 和 增长与验证测试形成一个有机整体．该方法从软件 以Poore、Whittake为代表的净室软件工程学派l6分 的模块级实施有效的可靠性跟踪与控制并实现可靠 别提出了基于软件运行剖面和基于马尔科夫链使用 性快速增长，同时通过测试所得数据估计出软件可 模型的软件可靠性测试用例产生方法，以统计实验 靠性先验信息值，从而有效减少测试用例量．最后， 的思想对软件测试的输人选择进行研究，从而更快 本研究以一个多模块软件系统为例，对此测评方法 地促进软件可靠性的增长；而就软件可靠性的验证 中的主要程序进行了说明． 测试，Laplace、Thayer等 _9J提出连续性规则、生命期 1 基于体系结构测评思路 测试、概率率序惯测试的方法，这些方法能够实现对 软件可靠性的验证，但由于测试用例量过大，并不适 上世纪70年代末，Littlew．ood提出了按结构化、 用于高可靠性软件 的可靠性验证 ；此外，Tal-】刮提出 模块化的方式进行软件可靠性建模的思想 ．若将此 的单风险序惯测试方法对概率率序惯测试方法有一 思想融人于软件可靠性测评中，通过分析软件系统 定改进，但成效并不显著．针对以上可靠性验证测试 可靠性对模块可靠性的敏感性来识别出对系统可靠 方法在工程实践中暴露出的测试用例开销过大、测 性影响较大的软件模块，并采取相应优化措施 以确 试持续期过长等问题，覃志东等¨¨提出了基于经验 保系统的可靠性．本研究以图1所示多模快的软件 贝叶斯统计推断的软件可靠性验证测试方法，通过