Abstract
This paper proposes a conceptual framework for the reliability assessment of software components that incorporates test case execution and output evaluation. Determining an operational profile and test output evaluation are two difficult and important problems that must be addressed in such a framework. Determining an operational profile is difficult, because it requires anticipating the future use of the component. An expected result is needed for each test case to evaluate the test result and a test oracle is used to generate these expected results. The framework combines statistical testing and test oracles implemented as self-checking versions of the implementations. The framework is illustrated using two examples that were chosen to identify the issues that must be addressed to provide tool support for the framework.
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.
Similar content being viewed by others
References
Ammann, P.E., Brilliant, S.S., Knight, J.C.: The effect of imperfect error detection on reliability assessment via life testing. IEEE Transactions on Software Engineering 20, 142–148 (1994)
Bass, L., Buhman, C., Comella-Dorda, S., Long, F., Robert, J., Seacord, R., Wallnau, K.: Volume I: Market Assessment of Component-Based Software Engineering," Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA 15213, USA CMU/SEI- 2001-TN-007 (May 2000)
Cukic, B., Chakravarthy, D.: Bayesian framework for reliability assurance of a deployed safety critical system. In: Proceedings of 5th IEEE International Symposim on High Assurance Systems Engineering, pp. 321–329 (2000)
Duke, R.W., Rose, G.: Formal Object-Oriented Specification Using Object-Z. Macmillan Press Limited, Basingstoke (2000)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design patterns: elements of reusable object-oriented software. Addison-Wesley, Reading (1994)
Hamlet, D., Mason, D., Woit, D.: Theory of Software Reliability Based on Components. In: Proceedings of 23rd International Conference on Software Engineering, pp. 361–370 (2001)
Hoffman, D.M., Strooper, P.A.: Software Design, Automated Testing, and Maintenance A Practical Approach. International Thomson Computer Press (1995)
McDonald, J., Strooper, P.A.: Translating Object-Z specifications to passive test oracles. In: Proceedings of 2nd International Conference on Formal Engineering Methods, pp. 165–174 (1998)
McGregor, J.D., Stafford, J.A., Cho, I.-H.: Measuring component reliability. In: Proceedings of 6th ICSE Workshop on Component-based Software Engineering (2003)
Musa, J.D.: The operational profile in software reliability engineering: an overview. In: Proceedings of 3rd International Symposium on Software Reliability Engineering, pp. 140–154 (1992)
Stafford, J.A., McGregor, J.D.: Issues in predicting the reliability of composed components. In: Proceedings of 5th ICSE Workshop on Component-based Software Engineering (2002)
Whittaker, J.A.: Markov chain techniques for software testing and reliability analysis, PhD Thesis, University of Tennessee: Knoxville, TN (1992)
Woit, D.: Operational Profile Specification, Test Case Generation, and Reliability Estimation for Modules, PhD Thesis, Computing and Information Science, Queen’s Universitym, Kingston, Ontario, Canada (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Shukla, R., Strooper, P., Carrington, D. (2004). A Framework for Reliability Assessment of Software Components. In: Crnkovic, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds) Component-Based Software Engineering. CBSE 2004. Lecture Notes in Computer Science, vol 3054. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24774-6_24
Download citation
DOI: https://doi.org/10.1007/978-3-540-24774-6_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21998-9
Online ISBN: 978-3-540-24774-6
eBook Packages: Springer Book Archive