Software Reliability Estimations through Usage Analysis of Specifications and Designs
(1996) In International Journal of Reliability, Quality and Safety Engineering 3(2). p.101-117- Abstract
- This paper presents a method proposal for estimation of software reliability before the implementation phase. The method is based upon that a formal specification technique is used and that it is possible to develop a tool performing dynamic analysis, i.e., locating semantic faults in the design. The analysis is performed with both applying a usage profile as input as well as doing a full analysis, i.e., locate all faults that the tool can find. The tool must provide failure data in terms of time since the last failure was detected. The mapping of the dynamic failures to the failures encountered during statistical usage testing and operation is discussed. The method can be applied either on the software specification or as a step in the... (More)
- This paper presents a method proposal for estimation of software reliability before the implementation phase. The method is based upon that a formal specification technique is used and that it is possible to develop a tool performing dynamic analysis, i.e., locating semantic faults in the design. The analysis is performed with both applying a usage profile as input as well as doing a full analysis, i.e., locate all faults that the tool can find. The tool must provide failure data in terms of time since the last failure was detected. The mapping of the dynamic failures to the failures encountered during statistical usage testing and operation is discussed. The method can be applied either on the software specification or as a step in the development process by applying it on the software design. The proposed method allows for software reliability estimations that can be used both as a quality indicator, and for planning and controlling resources, development times, etc. at an early stage in the development of software systems. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/0c6504f1-c953-413e-a447-62b2732c0d8c
- author
- Wohlin, Claes LU ; Wesslén, Anders LU and Runeson, Per LU
- publishing date
- 1996
- type
- Contribution to journal
- publication status
- published
- subject
- in
- International Journal of Reliability, Quality and Safety Engineering
- volume
- 3
- issue
- 2
- pages
- 17 pages
- external identifiers
-
- scopus:28144465294
- DOI
- 10.1142/S0218539396000089
- language
- English
- LU publication?
- no
- id
- 0c6504f1-c953-413e-a447-62b2732c0d8c
- date added to LUP
- 2019-03-28 20:29:15
- date last changed
- 2022-01-31 18:30:47
@article{0c6504f1-c953-413e-a447-62b2732c0d8c, abstract = {{This paper presents a method proposal for estimation of software reliability before the implementation phase. The method is based upon that a formal specification technique is used and that it is possible to develop a tool performing dynamic analysis, i.e., locating semantic faults in the design. The analysis is performed with both applying a usage profile as input as well as doing a full analysis, i.e., locate all faults that the tool can find. The tool must provide failure data in terms of time since the last failure was detected. The mapping of the dynamic failures to the failures encountered during statistical usage testing and operation is discussed. The method can be applied either on the software specification or as a step in the development process by applying it on the software design. The proposed method allows for software reliability estimations that can be used both as a quality indicator, and for planning and controlling resources, development times, etc. at an early stage in the development of software systems.}}, author = {{Wohlin, Claes and Wesslén, Anders and Runeson, Per}}, language = {{eng}}, number = {{2}}, pages = {{101--117}}, series = {{International Journal of Reliability, Quality and Safety Engineering}}, title = {{Software Reliability Estimations through Usage Analysis of Specifications and Designs}}, url = {{http://dx.doi.org/10.1142/S0218539396000089}}, doi = {{10.1142/S0218539396000089}}, volume = {{3}}, year = {{1996}}, }