2022-12-02 09:08:30 +00:00
|
|
|
|
Fonctions spécifications et tests
|
|
|
|
|
|
#################################
|
|
|
|
|
|
|
|
|
|
|
|
:date: 2022-12-02
|
2023-01-03 16:18:41 +00:00
|
|
|
|
:modified: 2023-01-03
|
2022-12-02 09:08:30 +00:00
|
|
|
|
: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
|
|
|
|
|
|
------------------------------------------
|
|
|
|
|
|
|
2023-01-03 16:18:41 +00:00
|
|
|
|
Activité capytale pour apprendre à programmer des fonctions en décorant du texte.
|
2022-12-02 09:08:30 +00:00
|
|
|
|
|
|
|
|
|
|
- `Fonctions décoratives (notebook) <./1E fonctions de décorations.ipynb>`_
|
|
|
|
|
|
|
|
|
|
|
|
Bilan: structure d'une fonction, arguments, valeur retournée, spécifications
|
|
|
|
|
|
|
2023-01-03 16:18:41 +00:00
|
|
|
|
.. image:: ./1B_fonctions.pdf
|
|
|
|
|
|
:height: 200px
|
|
|
|
|
|
:alt: Cours sur les fonctions
|
|
|
|
|
|
|
2022-12-02 09:08:30 +00:00
|
|
|
|
|
|
|
|
|
|
Étape 2: Coder des fonctions et les documenter
|
|
|
|
|
|
----------------------------------------------
|
|
|
|
|
|
|
|
|
|
|
|
Fonctions plus classiques à programmer et à documenter.
|
|
|
|
|
|
|
|
|
|
|
|
- `Fonctions et documentation (notebook) <./2E fonction documentations.ipynb>`_
|
2023-01-03 16:18:41 +00:00
|
|
|
|
|
|
|
|
|
|
Bilan: documenter et spécifier une fonction
|
|
|
|
|
|
|
|
|
|
|
|
.. image:: ./2B_specifiction_test.pdf
|
|
|
|
|
|
:height: 200px
|
|
|
|
|
|
:alt: Documenter et spécifier une fonction
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Étape 3: Tester une fonction
|
|
|
|
|
|
----------------------------
|
|
|
|
|
|
|
|
|
|
|
|
Écrire des tests avant d'écrire une fonction. Utilisation d'assert.
|
