Usage Modelling: The Basis for Statistical Quality Contro
(1992) p.77-84- Abstract
- The testing method proposed in the Cleanroom methodology is Statistical Usage Testing. This testing technique is based on that the test cases represent the
operational profile. The failure data from testing is then used in a software reliability model to certify the reliability of the software. This paper introduces a new model for modelling the usage of the system, i.e. the operational profile. It is shown to cope with the state explosion problem encountered when applying a simple Markov model to large software systems. The proposed model
introduces a hierarchical Markov model, which is shown to solve the problems encountered in the ordinary Markov description. Users and services are represented so that the model can easily be... (More) - The testing method proposed in the Cleanroom methodology is Statistical Usage Testing. This testing technique is based on that the test cases represent the
operational profile. The failure data from testing is then used in a software reliability model to certify the reliability of the software. This paper introduces a new model for modelling the usage of the system, i.e. the operational profile. It is shown to cope with the state explosion problem encountered when applying a simple Markov model to large software systems. The proposed model
introduces a hierarchical Markov model, which is shown to solve the problems encountered in the ordinary Markov description. Users and services are represented so that the model can easily be extended when new users or services are added. It is concluded that the introduction of this model will make it possible to certify large software systems in the future. The model generates test cases providing failure data that can be used in software reliability models. The new model forms the basis for being able to apply statistical quality control to software systems. (Less)
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/65d0ae00-7ec2-4b3b-903a-6d281c0aa1e5
- author
- Runeson, Per LU and Wohlin, Claes LU
- publishing date
- 1992
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- host publication
- Proceedings 10th Annual Software Reliability Symposium
- pages
- 8 pages
- language
- English
- LU publication?
- no
- additional info
- 10th Annual Software Reliability Symposium, Denver, Colorado, USA, June 1992.
- id
- 65d0ae00-7ec2-4b3b-903a-6d281c0aa1e5
- date added to LUP
- 2019-03-28 20:21:38
- date last changed
- 2022-06-21 14:29:33
@inproceedings{65d0ae00-7ec2-4b3b-903a-6d281c0aa1e5, abstract = {{The testing method proposed in the Cleanroom methodology is Statistical Usage Testing. This testing technique is based on that the test cases represent the<br/>operational profile. The failure data from testing is then used in a software reliability model to certify the reliability of the software. This paper introduces a new model for modelling the usage of the system, i.e. the operational profile. It is shown to cope with the state explosion problem encountered when applying a simple Markov model to large software systems. The proposed model<br/>introduces a hierarchical Markov model, which is shown to solve the problems encountered in the ordinary Markov description. Users and services are represented so that the model can easily be extended when new users or services are added. It is concluded that the introduction of this model will make it possible to certify large software systems in the future. The model generates test cases providing failure data that can be used in software reliability models. The new model forms the basis for being able to apply statistical quality control to software systems.}}, author = {{Runeson, Per and Wohlin, Claes}}, booktitle = {{Proceedings 10th Annual Software Reliability Symposium}}, language = {{eng}}, pages = {{77--84}}, title = {{Usage Modelling: The Basis for Statistical Quality Contro}}, year = {{1992}}, }