Model-based identification of fault-prone components

Lecture Notes in Computer Science

Volumn 3463, Issue , 2005, Pages 435-452

  Wagner, Stefan ^a   Jürjens, Jan ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION (OF INFORMATION); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; COSTS; FAULT TOLERANT COMPUTER SYSTEMS; MATHEMATICAL MODELS; SOFTWARE ENGINEERING;

FAULT-PRONE COMPONENTS; MODEL-BASED IDENTIFICATION; UML MODELS; VALIDATION;

IDENTIFICATION (CONTROL SYSTEMS);

EID: 24944449535     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11408901_32     Document Type: Conference Paper

References (34)

1. Myers, G.: The Art of Software Testing. John Wiley & Sons (1979)
2. Khoshgoftaar, T., Woodcock, T.: Predicting Software Development Errors Using Software Complexity Metrics. IEEE Journal on Selected Areas in Communications 8 (1990) 253-261
3. Munson, J., Khoshgoftaar, T.: Software Metrics for Reliability Assessment. In Lyu, M.R., ed.: Handbook of Software Reliability Engineering. IEEE Computer Society Press and McGraw-Hill (1996)
4. Rosenberg, L., Hammer, T., Shaw, J.: Software Metrics and Reliability. In: Proc. 9th International Symposium on Software Reliability Engineering (ISSRE'98), IEEE (1998)
5. Card, D., Agresti, W.: Measuring Software Design Complexity. The Journal of Systems and Software 8 (1988) 185-197
6. Blundell, J., Hines, M., Stach, J.: The Measurement of Software Design Quality. Annals of Software Engineering 4 (1997) 235-255
7. Wang, W.L., Wu, Y., Chen, M.H.: An Architecture-Based Software Reliability Model. In: Proc. Pacific Rim International Symposium on Dependable Computing (PRDC'99). (1999) 143-150
8. Chidamber, S., Kemerer, C.: A Metrics Suite for Object Oriented Design. IEEE Trans. Software Eng. 20 (1994) 476-493
9. Basili, V., Briand, L., Melo, W.: A Validation of Object-Oriented Design Metrics as Quality Indicators. IEEE Trans. Software Eng. 22 (1996) 751-761
10. Object Management Group: UML 2.0 Superstructure Final Adopted specification (2003) OMG Document ptc/03-08-02.
11. McCabe, T.: A Complexity Measure. IEEE Trans. Software Eng. 5 (1976) 45-50
12. Melton, A., Gustafson, D., Bieman, J., Baker, A.: A Mathematical Perspective for Software Measures Research. IEE/BCS Software Engineering Journal 5 (1990) 246-254
13. Fenton, N., Pfleeger, S.: Software Metrics. A Rigorous & Practical Approach. 2nd edn. International Thomson Publishing (1997)
14. Henry, S., Selig, C.: Predicting Source-Code Complexity at the Design Stage. IEEE Software 7 (1990) 36-44
15. Prenninger, W., Pretschner, A.: Abstractions for Model-Based Testing. In Pezze, M., ed.: Proc. Test and Analysis of Component-based Systems (TACoS'04). (2004)
16. Huber, F., Schätz, B., Schmidt, A., Spies, K.: AutoFocus: A tool for distributed systems specification. In Jonsson, B., Parrow, J., eds.: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96. Volume 1135 of LNCS., Uppsala, Sweden, Springer (1996) 467-470
17. Selic, B., Gullekson, G., Ward, P.: Real-Time Object-Oriented Modeling. John Wiley & Sons (1994)
18. Selic, B., Rumbaugh, J.: Using UML for Modeling Complex Real-Time Systems. Available at http://www-106.ibm.com/developerworks/rational/library/ (1998)
19. Mayer, T., Hall, T.: A Critical Analysis of Current OO Design Metrics. Software Quality Journal 8 (1999) 97-110
20. Binkley, A., Schach, S.: Validation of the Coupling Dependency Metric as a Predictor of Run-Time Failures and Maintenance Measures. In: Proc. 20th International Conference on Software Engineering (ICSE'98), IEEE Computer Society (1998) 452-455
21. Pintér, G., Majzik, I.: Program Code Generation based on UML Statechart Models. In: Proc. 10th PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems (2003)
22. Wagner, S.: Efficiency Analysis of Defect-Detection Techniques. Technical Report TUMI-0413, Institut für Informatik, Technische Universität München (2004)
23. Musa, J.: Software Reliability Engineering. McGraw-Hill (1999)
24. The ENTERPRISE Program: Mayday: System Specifications (1997) Available at http://enterprise.prog.org/completed/ftp/mayday-spe.pdf (January 2005).
25. The ENTERPRISE Program: Colorado Mayday Final Report (1998) Available at http://enterprise.prog.org/completed/ftp/maydayreport.pdf (January 2005).
26. Pretschner, A., Prenninger, W., Wagner, S., Kühnel, C., Baumgartner, M., Sostawa, B., Zölch, R., Stauner, T.: One Evaluation of Model-Based Testing and its Automation. In: Proc. 27th International Conference on Software Engineering (ICSE'05). (2005) To appear.
27. MOST Cooperation: MOST Media Oriented System Transport - Multimedia and Control Networking Technology. MOST Specification Rev. 2.3. (2004)
28. In, P., Kim, S., Barry, M.: UML-based Object-Oriented Metrics for Architecture Complexity Analysis. In: Proc. Ground System Architectures Workshop (GSAW'03), The Aerospace Corporation (2003)
29. Douglass, B.: Computing Model Complexity. Available at http://www.ilogix.com/whitepapers/whitepapers.cfm (January 2005) (2004)
30. Bondavalli, A., Mura, I., Majzik, I.: Automated Dependability Analysis of UML Designs. In: Proc. Second IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. (1999)
31. Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., Savoia, G.: Dependability Analysis in the Early Phases of UML Based System Design. Journal of Computer Systems Science and Engineering 16 (2001) 265-275
32. Huszerl, G., Majzik, I., Pataricza, A., Kosmidis, K., Cin, M.D.: Quantitative Analysis of UML Statechart Models of Dependable Systems. The Computer Journal 45 (2002) 260-277
33. Jürjens, J., Wagner, S.: Component-based Development of Dependable Systems with UML. In Atkinson, C., Bunse, C., Gross, H.G., Peper, C., eds.: Embedded System Development with Components. Springer (2005) To appear.
34. Munson, J., Khoshgoftaar, T.: The Detection of Fault-Prone Programs. IEEE Trans. Software Eng. 18 (1992) 423-433