CPEN 400P | Class Profile

Course Information
Staff
Resources

Description

This course will investigate the principles of systematic techniques to analyze large-scale software systems, and ensure that they satisfy their requirements. While software testing can check for functional correctness, it cannot ensure adherence to attributes beyond functional correctness. Further, testing by itself is necessarily incomplete, and hence cannot even guarantee functional correctness. Therefore, this course will investigate techniques beyond traditional software testing. Because of the large scale of software systems, it is challenging to apply techniques that require manual intervention. The course will thus focus on scalable and automated techniques.

General Information

Lectures

MCLD 3014 (see below). Tuesdays/Thursdays: 11 AM to 12:30 PM (in person). Lectures will NOT be recorded or streamed online.

https://learningspaces.ubc.ca/classrooms/mcld-3014

Labs

Tues (9 to 11 AM)
Wed (1 to 3 PM)

Labs will be held online - no in-person attendance in necessary. Attendance is optional at labs, but they're the only way to get one on one help from the TAs with the assignments (on first-come-first-served basis).

Office Hours

Karthik will hold office hours on Tuesdays from 4 to 5 PM in KAIS 4048.

No questions about the assignment will be answered during Karthik's office hours. Go to the labs for these or ask on Piazza (for generic questions).

Emails

We will NOT answer any emails - please use Piazza for all course related communications, with the exception of accessibility issues.

Piazza Posts

All post should be public unless they pertain to your grade or unique circumstances. No solution code should be posted on Piazza for any assignment (even privately), or else it'll be a violation of academic integrity. No questions will be answered 48 hours before an assignment deadline.