COMPGS03 - Validation and Verification
This database contains the 2017-18 versions of syllabuses. Syllabuses from the 2016-17 session are available here.
Note: Whilst every effort is made to keep the syllabus and assessment records correct, the precise details must be checked with the lecturer(s).
|Code||COMPGS03 (Also taught as: COMPM023)|
|Prerequisites||Successful completion of years 1 and 2 of the Computer Science programme.|
Earl Barr (50%)
Federica Sarro (50%)
|Aims||The module will train students in the principles and techniques of validating and verifying software systems. The training will be intellectually demanding and will cover not only the state-of-the practice in validation and verification, but also the most significant trends, problems and results in validation and verification research.|
|Learning Outcomes||On completion of the module, the successful student should have a good knowledge and understanding of correctness, consistency, faults and failures, static analysis and testing. The student should be able to understand the use of logic as a formal language for the specification of systems, to understand the use of symbolic execution, and the main verification techniques used in symbolic model checking, and be able to verify simple systems. In addition, students should have a good understanding of the range of approaches to testing that can be applied to software systems and be able to undertake both black-box and white-box (unit-level) testing. Further, successful students will be able to appreciate the limitations of the current tools and have insights in ongoing research topics to overcome them.|
Software engineering lifecycle context
Soundness and completeness
Static and dynamic analysis
Kinds of testing (unit, functional, integration, system, acceptance, regression)
Black Box Testing: input partitioning and combinatorial testing
Coverage and Structural Testing
Propositional and Predicate Logic
Specifying and verifying programs
Temporal Logic: NuSMV, Computational Tree Logic (CTL)
Selected surveys and research papers
Method of Instruction
Lectures, coursework. There are two pieces of equally weighted coursework.
The course has the following assessment components:
- Written Examination (2.5 hours, 80%)
- Coursework Section (2 pieces, 20%)
To pass this course, students must:
- Obtain an overall pass mark of 50% for all sections combined.
Reading list available via the UCL Library catalogue.