期刊
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
卷 36, 期 3, 页码 323-337出版社
IEEE COMPUTER SOC
DOI: 10.1109/TSE.2010.6
关键词
Reliability; software architecture; software testing
资金
- US National Science Foundation [NSF-CNS-08-31325]
- Division Of Computer and Network Systems
- Direct For Computer & Info Scie & Enginr [0831325] Funding Source: National Science Foundation
With software systems increasingly being employed in critical contexts, assuring high reliability levels for large, complex systems can incur huge verification costs. Existing standards usually assign predefined risk levels to components in the design phase, to provide some guidelines for the verification. It is a rough-grained assignment that does not consider the costs and does not provide sufficient modeling basis to let engineers quantitatively optimize resources usage. Software reliability allocation models partially address such issues, but they usually make so many assumptions on the input parameters that their application is difficult in practice. In this paper, we try to reduce this gap, proposing a reliability and testing resources allocation model that is able to provide solutions at various levels of detail, depending upon the information the engineer has about the system. The model aims to quantitatively identify the most critical components of software architecture in order to best assign the testing resources to them. A tool for the solution of the model is also developed. The model is applied to an empirical case study, a program developed for the European Space Agency, to verify model's prediction abilities and evaluate the impact of the parameter estimation errors on the prediction accuracy.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据