Last Lecture: Axioma0c seman0cs (Hoare logic)
Middle way between tes0ng and analysis
Executes the program on symbolic values
One symbolic execu0on corresponds to many
Design and So,ware Architecture
What is so,ware design/so,ware architecture?
What are the goals of so,ware architecture and design?
What is a module? How to represent modules?
How to decompos
The needs of verica3on
Nature of verica3ons
Approaches to verica3on
What kind of assurance do we get through tes3ng?
Theore3cal founda3ons of tes3ng
Test (selec3on) criterion
Tuesday, March 29, 2016
Lecture 1 [3.29.16]
- class website not iLearn
- 90% or more on a MIT lab is full credit
- only need to attend lab the first 3 weeks after that only week 4 and 7 to get your labs
graded is mandatory
Lecture 2 [3.31.16]
Team 1 (6):
Rachel Schartman, Wyatt Sullivan, Daniel Nguyen,
Michael Pena, Alexander Ardelean, Mark Lieu
Team 2 (6):
Chanho Lee, Clayton Su, David Simon,
Brian Nguyen, John Edward Reyes, Anthony Mai
Team 3 (6):
Stanley Cohen, Mark Asfour, Bren