基于不变量的软件可靠性计算  

Software Reliability Calculation Based on Invariants

作　　者：张可昀 丁佐华[1] ZHANG Keyun;DING Zuohua(School of Computer Science and Technology,Zhejiang Sci-Tech University,Hangzhou 310018,China)

机构地区：[1]浙江理工大学计算机科学与技术学院,浙江杭州310018

出　　处：《软件工程》2024年第7期73-78,共6页Software Engineering

摘　　要：传统模型采用静态的失效数据评估软件的可靠性往往不够准确,为此提出一种基于不变量的可靠性计算方法。通过Daikon不变量工具收集失效不变量,依据函数调用关系图消除冗余,再输入Nelson模型进行可靠性计算。对西门子程序包中的28个错误程序进行了实验,计算不变量约简前后的可靠性,实验结果表明,基于不变量的可靠性计算方法约简后计算得到的可靠性结果较约简前平均提升50.502%,其中print_tokens2的最小方差可达到0,数据波动小。该方法将程序不变量作为失效数据,进一步完善了现有的可靠性评估技术。Traditional models that use static failure data to assess software reliability are often not accurate enough.Therefore,this paper proposes a reliability calculation method based on invariants.Failure invariants are collected using the Daikon invariant tool,redundancies are eliminated based on function call graphs,and then Nelson model is input for reliability calculation.Experiments are conducted on 28 erroneous programs in the Siemens package to compute the reliability before and after invariants reduction.The experimental results show that the reliability calculation method based on invariants results in an average improvement of 50.502%after reduction.The minimum variance of print_tokens2 can reach 0 with minimal data fluctuation.By treating program invariants as failure data,this method further enhances existing reliability assessment techniques.

关 键 词：程序不变量 软件可靠性 冗余不变量 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]