C S 329

Download as PDF

Testing, Analysis, and Verification

Computer Science College of Computational, Mathematical, & Physical Sciences

Course Description

Fundamental challenge of software quality through the entire software product life-cycle. Sound engineering principles to ensure and assure quality at each stage of the life-cycle with an emphasis in early stages on testing techniques, dynamic and static program analysis, and formal verification for high assurance systems. Practical application to software artifacts and algorithm implementation connects the course material to real world application in the field.

When Taught

Fall and Winter

Credit Hours

Min

Fixed

Lecture Hours

Fixed

Lab Hours

Fixed

Learning Outcomes

Title

Quality

Learning Outcome

Implement comprehensive automated testing strategies, including unit, UI, E2E, performance, and load testing.

Title

Deployment

Learning Outcome

Deploy various automated CI/CD pipeline strategies to reliably deliver software that is resilient, scalable, and secure.

Title

Management

Learning Outcome

Monitor, detect anomalies, alter, and automatically correct system behavior.

Title

Curious

Learning Outcome

Characterize and address gaps in understanding related to DevOps techniques and principles.

Title

Creative

Learning Outcome

Discuss and generate alternatives DevOps designs.

Title

Collaborative

Learning Outcome

Work as a team to discover DevOps design weaknesses.

Title

Christlike

Learning Outcome

Strive for divine inspiration for, and ability to apply capabilities to, celestial pursuits.