Markov model and functional size with COSMIC-FFP

Abstract

This research extends the architecture-based software reliability prediction model to the COSMIC-FFP context. This model is based on Markov chains and it is applicable prior to implementation with the ability to build reliability models much earlier at the requirement phase or based on the specifications for the design. In essence, each component of the system is modeled by a discrete time Markov chain. If this can be done, then a probabilistic analysis by Markov chains can be performed to evaluate the product reliability in the early phases of software development and to improve the reliability process for large software systems. This approach of applying a Markov model in the COSMIC-FFP context is illustrated with the railroad crossing case study