A framework for reliability assessment of software components

Shukla, Rakesh, Strooper, Paul and Carrington, David (2004). A framework for reliability assessment of software components. In: Ivica Crnkovic, Judith Stafford, Heinz Schmidt and Kurt Wallnau, Proceedings of the 7th International Symposium on Component-Based Software Engineering. 7th International Symposium on Component-Based Software Engineering (CBSE 2004), Edinburgh, U.K., (272-279). 24-25 May 2004.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
framework-cbse7.pdf framework-cbse7.pdf Click to show the corresponding preview/stream application/pdf 165.46KB 1599

Author Shukla, Rakesh
Strooper, Paul
Carrington, David
Title of paper A framework for reliability assessment of software components
Conference name 7th International Symposium on Component-Based Software Engineering (CBSE 2004)
Conference location Edinburgh, U.K.
Conference dates 24-25 May 2004
Proceedings title Proceedings of the 7th International Symposium on Component-Based Software Engineering   Check publisher's open access policy
Journal name Component-Based Software Engineering   Check publisher's open access policy
Place of Publication Berlin, Germany
Publisher Springer-Verlag
Publication Year 2004
Sub-type Fully published paper
DOI 10.1007/b97813
ISBN 978-3-540-21998-9
ISSN 0302-9743
1611-3349
Editor Ivica Crnkovic
Judith Stafford
Heinz Schmidt
Kurt Wallnau
Volume 3054
Start page 272
End page 279
Total pages 8
Language eng
Abstract/Summary 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.
Subjects 280302 Software Engineering
E1
080309 Software Engineering
Keyword Reliability assessment
Software components
Operational profile
Test oracle
References 1. P. E. Ammann, S. S. Brilliant, and J. C. Knight, "The effect of imperfect error detection on reliability assessment via life testing," IEEE Transactions on Software Engineering, vol.20, pp. 142 -148, 1994. 2. L. Bass, C. Buhman, S. Comella-Dorda, F. Long, J. Robert, R. Seacord, and K. Wallnau, "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. 3. B. Cukic and D. Chakravarthy, "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. 4. R. W. Duke and G. Rose, Formal Object-Oriented Specification Using Object-Z: Macmillan Press Limited, 2000. 5. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: elements of reusable object-oriented software. Reading, Mass; Sydney: Addison-Wesley, 1994. 6. D. Hamlet, D. Mason, and D. Woit, "Theory of Software Reliability Based on Components," In Proceedings of 23rd International Conference on Software Engineering, pp. 361-370, 2001. 7. D. M. Hoffman and P. A. Strooper, Software Design, Automated Testing, and Maintenance A Practical Approach: International Thomson Computer Press, 1995. 8. J. McDonald and P. A. Strooper, "Translating Object-Z specifications to passive test oracles," In Proceedings of 2nd International Conference on Formal Engineering Methods, pp. 165 -174, 1998. 9. J. D. McGregor, J. A. Stafford, and I.-H. Cho, "Measuring component reliability," In Proceedings of 6th ICSE Workshop on Component-based Software Engineering, 2003. 10. J. D. Musa, "The operational profile in software reliability engineering: an overview," In Proceedings of 3rd International Symposium on Software Reliability Engineering, pp. 140-154, 1992. 11. J. A. Stafford and J. D. McGregor, "Issues in predicting the reliability of composed components," In Proceedings of 5th ICSE Workshop on Component-based Software Engineering, 2002. 12. J. A. Whittaker, Markov chain techniques for software testing and reliability analysis, PhD Thesis, University of Tennessee: Knoxville, TN. 1992. 13. D. Woit, Operational Profile Specification, Test Case Generation, and Reliability Estimation for Modules, PhD Thesis, Computing and Information Science, Queen's University: Kingston, Ontario, Canada. 1994.
Q-Index Code E1
Additional Notes Published in 'Lecture Notes in Computer Science' Book Series

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 2 times in Thomson Reuters Web of Science Article | Citations
Google Scholar Search Google Scholar
Access Statistics: 303 Abstract Views, 1599 File Downloads  -  Detailed Statistics
Created: Fri, 18 Feb 2005, 10:00:00 EST by Rakesh Shukla on behalf of School of Information Technol and Elec Engineering