Show/hide main menu


6CCS3SMT Software Measurement and Testing

Credit value: 15
Lecturer: Dr Hanna Chockler and Dr Jose Such (office hours)
Semester: 1
Teaching pattern: weekly 2-hour lecture and 1-hour tutorial
Assessment: 100% written examination, 2 hours (Marking Model 2 - Double Marking)
Learning aims & outcomes
  • To convey an understanding of the basic elements of software design, development, and testing cycle.
  • To be able to describe, apply and critique a number of well known software metrics for testing adequacy. 
  • To be able to describe and apply several techniques for checking software correctness that go beyond testing. 
  • Basic definitions of software design, development, and analysis; software lifecycle.
  • Test and analysis activities matched to different phases in design, development, deployment, and maintenance of software.
  • The concepts of white-box testing and black-box testing.
  • Finite models for software testing activities: control flow graphs, data-flow graphs, finite state machines, combinatorial models.
  •  Coverage metrics as measures of exhaustiveness of testing.
  • Differences between functional correctness and robustness and testing techniques to assess these qualities.
  • Symbolic execution.
  • Static analysis techniques.
  • Test oracles and automatic extraction of correctness properties.
Suggested reading/resources
08 September 2017
Sitemap Site help Terms and conditions  Privacy policy  Accessibility  Modern slavery statement  Contact us

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454