首页> 外文学位 >Towards a formal and scalable approach for quantifying software reliability at early development stages.
【24h】

Towards a formal and scalable approach for quantifying software reliability at early development stages.

机译:寻求一种正式的,可扩展的方法,以在开发的早期阶段量化软件的可靠性。

获取原文
获取原文并翻译 | 示例

摘要

Problems which originate in early development stages can have a lasting influence on the reliability, safety, and cost of a software system. The requirements document, which is usually available at the requirements analysis stage, must be correct, unambiguous, and complete if the rest of the development effort is to succeed. The ability to identify faults in requirements and predict the reliability of a software system early in its development can help organizations make informative decisions about corrective actions and improve the system's quality in a cost-effective manner. A review of the literature reveals that existing approaches are unsuited to provide trustworthy reliability prediction either due to the ignorance of the requirements documents, or because of the informal and fairly sketchy way in detecting faults in requirements.;This study explores the use of a preselected software reliability measurement for early software faults detection and reliability prediction. This measurement, originally a black-box testing technique, was broadly recognized for its ability to detect incomplete and ambiguous requirements, although no information was found in the literature about how to take advantage of its power. This study mathematically formalized the measurement to enhance its rigidity, repeatability and scalability and further extended it as an effective requirements faults detection technique. An automation-oriented algorithm was developed for quantifying the impact of the detected requirements faults on software reliability. The feasibility and scalability of the proposed approach for early faults detection and reliability prediction were examined using two real applications. The results clearly confirmed its feasibility and usefulness, particularly when no failure data is available and other methods are not applicable. The scalability barriers were also spotted in the approach. An empirical study was thus conducted to gain insight into the nature of the technical barriers. As an attempt to overcome the barrier, a set of rules was proposed based on the observed patterns. Finally, a preliminarily controlled experiment was conducted to evaluate the usability of the proposed rules.;This study will enable software project stakeholders to effectively detect requirements faults and assess the quality of requirements early in development, and ultimately lead to improved software reliability if the identified faults are removed in time. Software project practitioners, regulators, and policy makers involved in the certification of software systems can benefit most from the techniques proposed in this study.
机译:源于早期开发阶段的问题可能会对软件系统的可靠性,安全性和成本产生持久影响。如果要继续进行其余的开发工作,通常在需求分析阶段就可以找到的需求文档必须正确,明确且完整。能够识别需求中的错误并在软件系统的早期开发中预测其可靠性的能力可以帮助组织就纠正措施做出明智的决定,并以经济高效的方式提高系统的质量。对文献的回顾表明,由于需求文档的不了解,或者由于非正式且相当粗略的方式来检测需求中的错误,现有的方法不适合提供可信赖的可靠性预测。本研究探索了预先选择的方法的使用。软件可靠性测量,用于早期软件故障检测和可靠性预测。这种测量方法最初是一种黑盒测试技术,由于它能够检测不完整和模棱两可的要求而得到广泛认可,尽管在文献中没有找到有关如何利用其功能的信息。这项研究在数学上对测量进行了形式化,以增强其刚性,可重复性和可扩展性,并进一步将其扩展为一种有效的需求故障检测技术。开发了一种面向自动化的算法,用于量化检测到的需求故障对软件可靠性的影响。使用两个实际应用检查了所提方法的早期故障检测和可靠性预测的可行性和可扩展性。结果清楚地证实了其可行性和实用性,特别是在没有故障数据可用且其他方法不适用的情况下。该方法中还发现了可伸缩性障碍。因此进行了一项实证研究,以了解技术壁垒的性质。为了克服障碍,基于观察到的模式提出了一套规则。最后,进行了初步控制的实验,以评估所建议规则的可用性。该研究将使软件项目涉众能够有效地检测需求故障并在开发的早期评估需求质量,并最终在确定后提高软件可靠性。及时排除故障。参与软件系统认证的软件项目从业人员,监管人员和政策制定者可以从本研究中建议的技术中受益最多。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号