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>`_
|