 |
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
|
|
application/pdf
|
165.46KB
|
501
|
| Author
|
Shukla, Rakesh
Strooper, Paul
Carrington, David
|
| Title of paper
|
A framework for reliability assessment of software components
|
| Conference Paper Type
|
Fully Published Paper
|
| Conference name
|
7th International Symposium on Component-Based Software Engineering (CBSE 2004) (ERA 2010 Rank A)
|
| DOI
|
10.1007/b97813
|
| Conference location
|
Edinburgh, U.K.
|
| Conference dates
|
24-25 May 2004
|
| Proceedings title
|
Proceedings of the 7th International Symposium on Component-Based Software Engineering (ERA 2012 Listed) Check publisher's open access policy
|
| Journal name
|
Component-Based Software Engineering (ERA 2012 Listed) Check publisher's open access policy
|
| Editor
|
Ivica Crnkovic
Judith Stafford
Heinz Schmidt
Kurt Wallnau
|
| Place published
|
Berlin, Germany
|
| Publisher
|
Springer-Verlag
|
| Publication date
|
2004
|
| Volume number
|
3054
|
| ISBN
|
978-3-540-21998-9
|
| ISSN
|
0302-9743; 1611-3349
|
| 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
|
|
|
|
Cited 
