2022-2023/1NSI/04_Fonctions_specifications.../index.rst

71 lines
2.1 KiB
ReStructuredText
Raw Blame History

This file contains ambiguous Unicode characters

This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

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.
- Limportance de la qualité et du nombre des tests est mise en évidence. Le succès dun jeu de tests ne garantit pas la correction dun 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>`_