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

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