SSC5829

Name

• Topics in Software Engineering I (Software testing and validation)

Duration

• 45 hours

Requirements

• None.

Syllabus

• software quality
• software verification
• software validation
• software testing
• testing phase
• testing technique
  • functional testing
  • structural testing
  • fault-based testing
  • model-based testing
• software testing cost
• software testing efficacy
• software testing strength
• [[software testing automation]
• reactive system testing
• distributed system testing
• object-oriented software testing
• experimental study
• testing limitations
• subsume relation

Bibliography

• IEEE Transaction on Software Engineering
• IEEE Software
• IEEE Computer
• Information and Software Technology
• Computer Network and ISDN Systems
• IEEE Trans. On Communications
• ACM Transactions on Software Engineering Methodology
• Lecture Notes in Computer Science
• International Conference on Software Engineering
• International Symposium on Software Reliability Engineering
• International IFIP Conference on Formal Description Techniques for Distributed Systems

and Communications Protocol

• International Symposium on Software Testing and Analysis
• Fault Tolerant Comput. Systems
• COMPSAC
• International Workshop on Protocol Test Systems