• # Preuve du code pour éviter ces âneries

    Posté par (site web personnel) . En réponse au journal Encore un exemple de code spaghetti : Toyota. Évalué à 4.

    Normalement les codes sensibles comme dans l'aérospatial sont prouvés voire même écrits par d'autres programmes pour limiter les effets de bords et bogues qu'un humain pourrait générer.

    Pourquoi est-ce qu'un système de sécurité de la voiture n'en profiterait pas ? Que l'autoradio plante ce n'est pas trop un problème mais le frein c'est plus emmerdant...