C7 : Compétences

Compétences de première

Utiliser la spécification d'une fonction

Déterminer les préconditions et le postconditions d'une fonction (et utiliser éventuellement des assertions pour les garantir)

Utiliser des jeux de tests

Utiliser la documentation d'une bibliothèque

Montrer que le coût du parcours séquentielle d'un tableau est linéaire

Montrer que le coût du tri par insertion et par sélection est quadratique dans le pire cas.

Savoir répondre aux causes typiques de bugs :

- problèmes liées au typage,

- effets de bords non désirés,

- débordement dans les tableaux,

- instructions conditionnelles non exhaustives,

- choix des inégalités,

- comparaison et calculs entre flottants,

- mauvais nommage des variables, etc.

Utiliser la spécification d'une fonction

Utiliser des assertions

Déterminer le coût de quelques algorithmes