Advanced Formal software engineering

Catalogue des cours de Télécom SudParis

Code

CSC 7204

Niveau

PostGraduate (MSc)

Domaine

Informatique

Langue d'enseignement

Anglais

Crédits ECTS

2

Heures programmées / Charge de travail

24 / 48

Responsable(s)

  • LAURENT Maryline

Département

- Réseaux et Services de Télécom

Objectifs

The purpose of formal methods is to enable the construction of large, highly reliable software. Formal Methods is a generic term for system design, analysis, implementation and verification methods that are described and used with mathematical rigor.
In particular formal specification techniques allow for the construction of automated verification tools that can perform tests on specifications and corresponding code to find errors in implementations (and also in requirements and models)
The course will focus on verification by testing and by proving.

Contenu

Introduction to software engineering and formal methods
Propositional and first order logics (syntax, semantics, deduction) – Notion of contract – Axiomatic specification – Hoare logics – Verification of functional properties Introduction to model based verification and design
Structural testing: path predicates – coverage – generation of test cases -oracles - Model based testing - Conformance testing

Prérequis

A standard background on programming and logics (helpful but not required)

Mots-clés

software engineering – formal methods – design by contract – specification - verification – proof – structural testing – conformance testing -

Evaluation

Project or exam

Approches pédagogiques

 

Programme

Master of Science

Fiche mise à jour : 16/04/2014 15:13:56