Bertrand Benjamin
717642a1b7
All checks were successful
continuous-integration/drone/push Build is passing
71 lines
2.1 KiB
ReStructuredText
71 lines
2.1 KiB
ReStructuredText
Fonctions spécifications et tests
|
||
#################################
|
||
|
||
:date: 2022-12-02
|
||
:modified: 2023-01-08
|
||
: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 à programmer des fonctions en décorant du texte.
|
||
|
||
- `Fonctions décoratives (html) <./1E_fonctions_de_decorations.html>`_
|
||
- `Fonctions décoratives (notebook) <./1E_fonctions_de_decorations.ipynb>`_
|
||
|
||
Bilan: structure d'une fonction, arguments, valeur retournée, spécifications
|
||
|
||
.. image:: ./1B_fonctions.pdf
|
||
:height: 200px
|
||
:alt: Cours sur les fonctions
|
||
|
||
|
||
Étape 2: Coder des fonctions et les documenter
|
||
----------------------------------------------
|
||
|
||
Fonctions plus classiques à programmer et à documenter.
|
||
|
||
- `Fonctions et documentation (html) <./2E_fonction_documentations.html>`_
|
||
- `Fonctions et documentation (notebook) <./2E_fonction_documentations.ipynb>`_
|
||
|
||
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.
|
||
|
||
- `Fonctions et tests (html) <./3E_Tester_des_fonctions.html>`_
|
||
- `Fonctions et tests (notebook) <./3E_Tester_des_fonctions.ipynb>`_
|