C S 329
Testing, Analysis, and Verification
Computer Science
College of Physical and Mathematical 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
Grade Rule
Grade Rule 8: A, B, C, D, E, I (Standard grade rule)
Min
3
Fixed
3
Fixed
3
Fixed
0
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.
