49 lines
1.5 KiB
ReStructuredText
49 lines
1.5 KiB
ReStructuredText
Fonctions spécifications et tests
|
||
#################################
|
||
|
||
:date: 2022-12-02
|
||
:modified: 2022-12-02
|
||
:authors: Benjamin Bertrand
|
||
:tags: Programmation
|
||
:category: 1NSI
|
||
:summary: Découverte des fonctions en python, de la spécification et des tests.
|
||
|
||
|
||
Éléments du programme
|
||
=====================
|
||
|
||
.. list-table:: Fonction, spécification et tests
|
||
:header-rows: 1
|
||
|
||
* - Contenus
|
||
- Capacités attendues
|
||
- Commentaires
|
||
|
||
* - Spécification
|
||
- Prototyper une fonction. Décrire les préconditions sur les arguments. Décrire des postconditions sur les résultats.
|
||
- Des assertions peuvent être utilisées pour garantir des préconditions ou des postconditions.
|
||
|
||
* - Mise au point de programmes
|
||
- Utiliser des jeux de tests.
|
||
- L’importance de la qualité et du nombre des tests est mise en évidence. Le succès d’un jeu de tests ne garantit pas la correction d’un programme.
|
||
|
||
Progression
|
||
===========
|
||
|
||
Étape 1: Création de fonctions décoratives
|
||
------------------------------------------
|
||
|
||
Activité capytale pour apprendre a programmer des fonctions en décorant du texte.
|
||
|
||
- `Fonctions décoratives (notebook) <./1E fonctions de décorations.ipynb>`_
|
||
|
||
Bilan: structure d'une fonction, arguments, valeur retournée, spécifications
|
||
|
||
|
||
Étape 2: Coder des fonctions et les documenter
|
||
----------------------------------------------
|
||
|
||
Fonctions plus classiques à programmer et à documenter.
|
||
|
||
- `Fonctions et documentation (notebook) <./2E fonction documentations.ipynb>`_
|