Theory of software reliability based on components

Proceedings - International Conference on Software Engineering

Volumn 2001-May, Issue , 2001, Pages 361-370

  Hamlet, Dick ^a   Mason, Dave ^b   Woit, Denise ^b  

^a PORTLAND STATE UNIVERSITY   (United States)

^b RYERSON UNIVERSITY   (Canada)

Author keywords

CBSE; COTS; Foundational theory; Reliability composition; Software components

Indexed keywords

RELIABILITY THEORY; SOFTWARE PACKAGES; SOFTWARE RELIABILITY; COMPONENTS; REQUIREMENTS ENGINEERING; USABILITY ENGINEERING;

CBSE; COMPOSITE SYSTEM RELIABILITY; FOUNDATIONAL THEORY; RELIABILITY COMPOSITIONS; RELIABILITY-BASED; SOFTWARE-COMPONENT; SOFTWARE-RELIABILITY; SOFTWARE-SYSTEMS; SYSTEM DESIGNERS; SYSTEM RELIABILITY; COMMERCIAL OFF THE SHELF COMPONENTS; SOFTWARE COMPONENTS; SOFTWARE QUALITY;

TECHNOLOGY TRANSFER; SOFTWARE ENGINEERING;

EID: 0035000893     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2001.919109     Document Type: Conference Paper

References (23)

1. A. F. Ackerman. http//: www.izdsw.org/projects/CodeGradeshndex.html.
2. P. Ammann and J. C. Knight. Data diversity: an approach to software fault tolerance. IEEE Trans. on Computers, pages 41-25, 1998.
3. M. Blum and S. Kannan. Designing programs that check their work. JACM, pages 269-291, Jan. 1995.
4. R. W. Butler and G. B. Finelli. The infeasibility of experimental quantification of life-critical software reliability. IEEE Transactions on Software Engineering, 19(1):3-12, Jan. 1993.
5. D. Hamlet. Random testing. In J. Marciniak, editor, Encyclopedia of Software Engineering, pages 970-978. Wiley, New York, 1994.
6. D. Hamlet. Software component dependability, a subdomain-based theory. Technical Report RSTR-96-999-01, Reliable Software Technologies, Sterling, VA, Sept. 1996.
7. D. Hamlet. On subdomains: testing, profiles, and components. In Proceedings ISSTA '00, pages 71-76, Portland, OR, 2000.
8. D. Hamlet and R. Taylor. Partition testing does not inspire confidence. IEEE Transactions on Software Engineering, 16:1402-1411, 1990.
9. J. Knight, A. Cass, A. Femandez, and K. Wika. Testing a safety-critical application. In Proceedings ISSTA '94, page 199, Seattle, WA, 1994.
10. J. C. Knight and N. G. Leveson. An experimental evaluation of the assumption of independence in multi-version programming. IEEE Transactionson Software Engineering, SE-12(1):96-109, 1986.
11. L. Krishnamurthy and A. Mathur. The estimation of system reliability using reliabilities of its components and their interfaces. In Proceedings 8th Intl. Symposium on Software Reliability Engineering, Albuquerque, NM, USA, Nov. 1997.
12. S. Kubal, J. May, and G. Hughes. Building a system failure rate estimator by identifying component failure rates. In Proceedings Fifrh International Symposium on Software Reliability Engineering, pages 32-41, Boca Raton, Florida, USA, Nov. 1999. IEEE.
13. J.-C. Laprie. Dependability evaluation of software systems in operation. IEEE Transactionson Software Engineering, 10(6):701-714, Nov. 1984.
14. J.-C. Laprie and K. Kanoun. Software Reliability and System Reliability, pages 27-70. In Lyu [16], 1996.
15. B. Littlewood. Software reliability model for modular program structure. IEEE Transactions on Reliability, 28(3):241-246, Aug. 1979.
16. M. Lyu, editor. Handbook of SoftwareReliability Engineering. McGraw-Hill, New York, 1996.
17. D. Mason and D. Woit. Software system reliability from component reliability. In Proc. of 1998 Workshop on Software Reliability Engineering (SRE'98), Ottawa, Ontario, July 1998.
18. D. Mason and D. Woit. Input domain analysis for software reliability measurement. In The Fifth International Conference on Computer Science and Informatics, Atlantic City, USA, Feb. 2000.
19. J. Musa, G. Fuoco, N. Irving, and D. Kropfl. The Operational Profile, pages 167-216. In Lyu [16], 1996.
20. D. Parnas. On a “Buzzword”: Hierarchical structure. In Proc. IFIP Congress, pages 336-339. North-Holland Publishing Co., 1974.
21. D. Peters and D. L. Parnas. Generating a test oracle from program documentation. In Proceedings ISSTA '94, pages 58-65, Seattle, WA, 1994.
22. D. J. Richardson and L. A. Clarke. Partition analysis: A method combining testing and verification. IEEE Transactions on Software Engineering, 11(12):1477-1490, Dec. 1985.
23. D. Woit and D. Mason. Software component independence. In Proc. 3rd IEEE High-Assurance Systems Engineering Symposium (HASE'98), Washington, DC, Nov. 1998.