ÍÃ×ÓÏÈÉú

3 Credit Hours

Catalog description:

This course emphasizes the importance of quality when developing software systems. Topics include design for reuse, formal specification, applications of software testing, and maintenance of evolving systems.

Prerequisite:

None for MSCS students, permission of instructor for others.

Learning Objectives:

• Explain and apply techniques that contribute to the development of high quality software.
• Apply software design principles to facilitate software reuse in complex systems.formal specifications using pre and post conditions and check their validity on low-level software modules.
• Create formal specifications using pre and post conditions and check their validity on low-level software modules.
• Analyze large-scale systems and apply appropriate testing techniques to ensure the deployment of high-quality software.
• Demonstrate the need for ongoing maintenance in evolving software and conduct suitable maintenance tasks.

Topics and Weeks Allocated

(total of 14 semester weeks):

• Overview and Assessment (2)
  • Introduction to Software Quality (1)
  • Assessment of Course Content (1)
• Software Design and Reuse (3)
  • Software Design Patterns and Principles (1)
  • Principles of Reuse (1)
  • Licensing and Dependencies (1)
• Formal Specification (3)
  • Creating Formal Specifications (1)
  • Pre and Post Conditions (1)
  • Checking Validity of Specifications (1)
• Software Testing (3)
  • Determining Appropriate Testing Techniques (1)
  • Developing and Executing Software Testing Plans (1)
  • Exploring State-of-the-Art Testing (1)
• Software Maintenance (3)
  • Understanding Evolution (1.5)
  • Conducting Maintenance Tasks (1.5)