L'interet de mon travail

Par Arthur Milchior le vendredi 31 juillet 2009, 01:46 - Informatique - Lien permanent

Voici une fois pour toute l'explication de mon job, pour un non informaticien.

Si vous avez déjà utilisé un ordinateur, vous savez qu'il arrive qu'il plante, et qu'il se passe des choses inattendue. Des "bugs". Les gens qui font du dépannage disent qu'il s'agit souvent d'une erreur de l'interface chaise-clavier^[1]. Mais parfois, il arrive que ce soit vraiment le programme qui a été mal conçu. Moi je travaille sur un des logiciel conçus pour éviter ce genre de problème, pour s'assurer que quand vous ferez tourner un logiciel, il fera bien ce que vous voulez.

Ce qu'il faut savoir, c'est que quand un programmeur travaille, il dit à l'ordinateur comment faire, mais il ne lui dis pas quel résultat il attend. Dans le cas de alt-ergo on indique aussi ce qu'on veut comme résultat.

Un exemple simple, vous avez un robot qui fait la cuisine, et vous voulez manger des pates, vous auriez du dire:

Prendre une casserole
Remplir une casserole d'eau
Mettre la casserole sur une plaque chauffante
Allumer le feu de la plaque
Attendre que l'eau bout
Attendre 5 minute
Éteindre la plaque
Vider la casserole dans une passoire
Mettre le contenu de la passoire dans une assiette
M'apporter l'assiette.

Et hop, vous avez des pattes cuites dans votre assiette !

Enfin, c'est ce que vous auriez voulu, mais vous avez oublié de dire "mettre les pattes dans l'eau". Vous avez donc en fait une assiette vide.

Et alors, avec Alt-ergo^[2], vous rajoutez l'information "But: Avoir des pattes mangeable dans l'assiette", et alt-ergo vérifiera pour vous^[3] que vous aurez toujours le résultat attendu.

Ce processus peut-être assez complexe, mais est indispensable... imaginez que quelqu'un fasse le même genre d'erreur sur le logiciel qui s'occupe de la direction assisté de votre voiture.

Moi, là-dedans, je travaille juste sur un petit morceau du vérificateur, mais il n'est pas vraiment possible que j'explique plus en détail ce que je fais à quelqu'un qui ne fait pas d'informatique.

Notes

[1] l'utilisateur

[2] via frama-c, why ou une autre plateforme

[3] en tout cas quand il fonctionne

Commentaires

1. Le vendredi 31 juillet 2009, 09:06 par Sven

Ne pas acheter de bagnole "tout électronique" car il y a la fenêtre et la dent bleue dedans, c'est bien ça que tu nous dit ?

Sven, pas le permis...

2. Le vendredi 31 juillet 2009, 09:49 par Arthur Rainbow

@Oriel, votre commentaire et le lien avec ressemble à un spam, et était assez incompréhensible, donc je le supprime.
Si vous êtes humaine, répondez moi de nouveau, désolé.

@Sven,
Si tu as une bagnole sans fenêtre, je suis inquiet. J'espère au moins que tu as une vitre devant toi

Je ne sais pas si il y a windows dans les bagnoles, mais je serai surpris qu'il y ait un système d'exploitation de manière générale.
Je ne vois pas le rapport avec le bluetooth.

Je ne travaille pas sur des voitures, loin de là. C'était juste pour donner un exemple de l'intéret de mon boulot

3. Le vendredi 31 juillet 2009, 21:06 par LCF

Bho, un SE pour voiture, ça pourrait finir par arriver. Y'en a déjà pour les téléphones portables...

4. Le dimanche 2 août 2009, 13:11 par Blaireauman

Les systèmes d'exploitation, figurez-vous qu'il y en a dans les bagnoles ! Eh oui, pour le GPS !

Toute manière, je conduis une 205 vingt ans d'âge, donc question électronique, le truc le plus évolué qu'il y a dedans après les relais, c'est l'allume-cigare.

Blog personnel d'Arthur Milchior