DIT085

Testing and Verification @ Chalmers / GU - Edition 2015

Contact

Lecturer

Mohammad Mousavi

• Office: Halmstad University, E 305 (on Fridays at Chalmers: Jupiter, ?)
• Telephone 035 16 71 22 (on Fridays at Chalmers: )
• Email: m.r.mousavi@hh.se

Objectives

• Knowledge and understanding:
  • describe the distinction between software verification and software validation;
  • name and describe basic concepts on testing, as well as different testing techniques and approaches
  • describe the connection between software development phases and kinds of testing;
  • exemplify and describe a number of different test methods, and be able to use them in practical situations.

• Skills and abilities:
  • write models in at least one formal specification language;
  • construct appropriate and meaningful test cases, and interpret and explain (to stakeholders) the results of the application of such test cases ( using appropriate tools) to practical examples
  • plan and produce appropriate documentation for testing
  • apply different testing techniques on realistic examples.

• Judgement and approach:
  • exemplify and describe tools used for testing software, and be able to use them and interpret their output
  • exemplify and describe the area of formal verification in general, including model checking and runtime
  • verification, and its relationship to software quality.
  • identify and hypothesize about sources of program failures, and reflect on how to better verify the correctness of such programs.