CSC410 - Lec 2 - Intro on Decision Procedures
CSC410 - Lec 2 - Intro on Decision Procedures

4 Pages
Unlock Document

University of Toronto St. George
Computer Science
Lindsey Shorser

Wed, Jan 8th Lecture 2 - What is software verification? Verification Does it do what it need to do? Validation Did we write the right code? Static vs Dynamic a. look for errors b. prove that it behaves as described in specifications Static Analysis • You can make sure something works as expected. And because it is that well accurate, it takes time to do it, and you have the option of using unit levels for the big codes. • Static means that you are not executing the code. • It's effective and trusted • You can use model checking, data-flow analysis, abstraction interpretation, assertion based methods Dynamic Testing • You work with the code, and it is executing Why do we test? • Its not possible to check all mistakes duing the process, so after they are ready you need to check it before the user does Software is design with a purpose. Its an engineered product. Its does what the specifications describe. And there is a ISO for it. - how well does it work? - what methods does it have? Types of testing: Black Box Testing • Assume you dont know what is in the software. • You know what it is supposed to do but not how it does what it does. • You need to make sure to know what is that you need to input in order to get the right result. • It can be used on any size of code. • If there is a requirement that is not satisfied, you know what requirement is the wrong one. • Good to test specifications! White Box Testing • You can see whats inside the code • Time consuming because you can/have to read the code • Better with small code • Can use sudo code, a flow charge, that takes the logic out of the code and test what that is supposed to do. OBS: Coverage example on the notes is dynamic. Degree of coverage • When can you say that you have tested enough? • Degree of coverage - how much was tested in the software • decision , sometimes a decision is to be made and it leads to branches. • Branch • What is false is false at least once, and the same goes for true • Path coverage - you need to test every possible combination From Static Analysis • Unit Testing ◦ this is for q
More Less

Related notes for CSC410H1

Log In


Don't have an account?

Join OneClass

Access over 10 million pages of study
documents for 1.3 million courses.

Sign up

Join to view


By registering, I agree to the Terms and Privacy Policies
Already have an account?
Just a few more details

So we can recommend you notes for your school.

Reset Password

Please enter below the email address you registered with and we will send you a link to reset your password.

Add your courses

Get notes from the top students in your class.