Akhtar, Shakil (1982) Software reliability modelling and evaluation via Markov and semi-Markov processes. Masters thesis, King Fahd University of Petroleum and Minerals.
This thesis develops Markov and semi-Markov models for quantitative evaluation of software reliability. Two measures software reliability termed as operational reliability and operational availability have been introduced which provide better figures of merit than reliability. Quantitative evaluation of total expected cost and the cost due to failures in control transfer of a computer program are described and the overall failure process of the program is developed. Program examples are presented to illustrate the procedure presented in this thesis. Some possible future extensions of the work are also examined.
|Item Type:||Thesis (Masters)|
|Divisions:||College Of Engineering Sciences > Electrical Engineering Dept|
|Committee Advisor:||Alam, M. S.|
|Committee Members:||Achilles, Gunter D. and Milyani, A. M.|
|Deposited By:||KFUPM ePrints Admin|
|Deposited On:||22 Jun 2008 16:44|
|Last Modified:||25 Apr 2011 08:58|
Repository Staff Only: item control page