Abstract
Software reliability models are mostly used at the test phase; there are only a few models that are employed at early phase of software development. Early prediction, however, is very important for better prognosis and management of risks. In this paper we propose an approach for early software reliability prediction, based on software behavioral requirements. The major difference between our approach and those of others is the fact that we use a formal method, called Viewcharts, to specify the behavior of software systems.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Isazadeh, A., Lamb, D.A., Shepard, T.: Behavioral views for software requirements engineering. Requirements Engineering Journal 4(1), 19–37 (1999)
Standard Glossary of Software Engineering Terminology, STD-729-1991, 1991; ANSI/IEEE
Yin, M.-L., Hyde, C.L., James, L.E.: A Petri-Net approach for earl-Stage system-Level software reliability estimation. In: Proceedings Annual reliability and maintainability Symposium. IEEE, Los Alamitos (2000)
Wang, W.-L., Pan, D., Chen, M.-H.: Architecture-based software reliability modeling. The Journal of Systems and Software 79, 132–146 (2006)
Wang, W.-L., Chen, M.-H.: Heterogeneous Software Reliability Modeling. In: Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002). IEEE, Los Alamitos (2002)
Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, 231–274 (1987)
Gaffney Jr., J.E., Davis, C.F.: An Approach to Estimating Software Errors and Availability., SPC-TR-88–007, version 1.0 (March 1988a); Proceedings of the 11th Minnowbrook Workshop on Software Reliability (July 1988)
McCall. J.: Rome Laboratory (RL), Methodology for Software Reliability Prediction and Assessment. Technical Report RL-TR-92-52, vol. 1, 2 (1992)
Gokhale, S.S., Wong, W.E., Trivedi, K.S., Horgan, J.R.: An Analytical Approach to Architecture-based Software Reliability Prediction. In: Proceedings of IEEE International Computer Performance and Dependability Symposium (IPDS), Durham, North Carolina (September 1998)
Wang, W.-L., Scannell, D.: An Architecture- Based Software Reliability Modeling Tool and Its Support for Teaching. In: Proceedings of the 35th ASEE/IEEE Frontiers in Education Conference (October 2005)
Gokhale, S.S., Lyu, M.R.: A simulation approach to structure- Based software reliability analysis. IEEE Trans. Software Eng. 31(8), 643–656 (2005)
Gokhale, S., Trivedi, K.: Structure-based software reliability prediction. In: Proceedings of the Fifth International Conference on Advanced Computing (ADCOMP 1997), pp. 447–452 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alipour, H., Isazadeh, A. (2008). Software Reliability Prediction Based on a Formal Requirements Specification. In: Sarbazi-Azad, H., Parhami, B., Miremadi, SG., Hessabi, S. (eds) Advances in Computer Science and Engineering. CSICC 2008. Communications in Computer and Information Science, vol 6. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89985-3_110
Download citation
DOI: https://doi.org/10.1007/978-3-540-89985-3_110
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89984-6
Online ISBN: 978-3-540-89985-3
eBook Packages: Computer ScienceComputer Science (R0)