Prévu le vendredi 11 juin 2018 à 20h, en live sur le discord NaN.
Si on demande à un développeur d'écrire une fonction en C pour calculer la valeur absolue d'un nombre entier, il pourrait proposer le code suivant :
int abs(int x) {
return (x < 0 ? -x : x);
}
Malheureusement, ce code n'est pas correct pour toutes les valeurs de x. Et l'erreur n'est pas du tout évidente à trouver, si on ne l'a jamais vu avant.
Programmer, c'est écrire un code qui va résoudre un problème. Mais quand peut-on dire que le problème est effectivement résolu ? Quand on a lancé le programme et qu'il semble fonctionner correctement ? Quand on a écrit suffisament de tests ? Quand on a prouvé que la solution est correte ? Comment peut-on être certain que la solution va fonctionner partout, tout le temps, quelque soit les actions des utilisateurs ?
Dans la discussion de ce soir, nous allons faire le tour des problématiques posées en qualité logicielle, et les différentes solutions que l'on peut apporter.
Invités : Ksass'peuk (Allan Blanchard). Animateur : gbdivers (Guillaume Belz).