Empirical Research on the Application of a Structure-Based Software Reliability Model

来源 :自动化学报(英文版) | 被引量 : 0次 | 上传用户:qq1094795388
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Reliability engineering implemented early in the development process has a significant impact on improving software quality. It can assist in the design of architecture and guide later testing, which is beyond the scope of traditional reliability analysis methods. Structural reliability models work for this, but most of them remain tested in only simulation case studies due to lack of actual data. Here we use software metrics for reliability modeling which are collected from source codes of post versions. Through the proposed strategy, redundant metric elements are filtered out and the rest are aggregated to represent the module reliability. We further propose a framework to automatically apply the module value and calculate overall reliability by introducing formal methods. The experimental results from an actual project show that reliability analysis at the design and development stage can be close to the validity of analysis at the test stage through reasonable application of metric data. The study also demonstrates that the proposed methods have good applicability.
其他文献
源—汇系统要素特征与耦合关系分析作为当前沉积学领域的研究热点,已成为定量预测沉积体及油气储集体规模的重要思路与手段之一.为了研究Melut盆地新近系Jimidi组沉积期的源
松辽盆地湖盆深水区重力流沉积广泛发育,由于资料分辨率低的限制,以往对其时空演化、内部结构方面的认识不清.基于高精度三维地震资料,利用90°相位转换、地层切片、光照显示
迄今为止,增强现实(Augmented reality,简称A R)技术在印刷和包装领域的应用有限,而在数字世界的应用最多.但这种情况可能即将改变.rn利用增强现实技术,人们可以使用智能手机
柴达木盆地是研究新生代湖相碳酸盐岩特别是湖相微生物岩的一个极佳场所.柴西始新统下干柴沟组是少见的发育规模大、产出类型多、与油气关系密切的一套湖相微生物岩发育层组.
泥质潮坪中,高自然伽马特征多指示浅水沉积环境,导致利用自然伽马测井划分层序界面的传统方法在浅水台地中并不完全适用.为此,以渤海海域渤中21-22地区奥陶系马家沟组为例,提
页岩气储层致密、非均质性强,在开发中须要压裂改造,准确地评价其可压裂性及其展布规律对压裂设计意义重大.以川南X地区五峰组—龙一段1亚段(龙一1)页岩地层为研究对象,以岩
期刊
期刊
This paper is concerned with the problem of distributed joint state and sensor fault estimation for autonomous ground vehicles subject to unknown-but-bounded (U
In this paper the distributed asymptotic consensus problem is addressed for a group of high-order nonaffine agents with uncertain dynamics,nonvanishing disturbances and unknown control directions under directed networks.A class of auxiliary variables are