Se connecter avec
S'enregistrer | Connectez-vous

Faire un logiciel avec des garanties !!!

Dernière réponse : dans Programmation

Salut,
je sais c'est pas une vrai question mais cela vaut sont poids :D  :p 

Je vous invite a lire un article dans 01informatique (facicule papier pas sur la verion web)

il y a dans l'aire un projet de protection des utilisateurs/consomateur pour les produits logiciels un soft sans bug !! :sarcastic:  :sarcastic: 

belle intention mais windows, sage, sap, ... sans bug c'est quoi ?

on n'as jamais connue un soft/os sans bug..


a+




Autres pages sur : logiciel garanties

Lassé par la pub ? Créez un compte

Il existe des méthodes de validations de logiciel qui vérifie et prouve que ton code répond a ce que tu voulais implanter. C'est très long, chiant et très difficilement utilisable dans un système commercial. (Bien sûr pour des applications où la vie de patients, d'astronautes ou des centaiens de millions sont en jeu comme l'envoi d'un robot sur mars, ça peut être utilisé)

Mais encore là les erreurs humaines de compréhensions des besoins peuvent créer ce qui pourrait être perçu comme des bugs, et les "bugs" peuvent survenir à plusieurs niveaux qui influence le logiciel même, le matériel aussi bien que l'OS ...

http://fr.wikipedia.org/wiki/M%C3%A9thode_formelle_(informatique)

C'est un peu bizzare de nous dire d'acheter une revue pour lire un article alors que tu ne fais même pas un sommaire de celui-ci, mais bon ...
Expert Programmation

Errare humanum est

Des programmes sans bug, des codes prouvés... la quête de la perfection en informatique, que c'est noble ! Mais de grâce, ne reliez pas ça, à la conquête de Mars. Permettez-moi de vous rappeler que la plus préparée des missions vers Mars (tout était prévu, même le crash), Mars Climate Orbiter, a fini en grillade parce qu'un opérateur à confondu mètre et pied !

:whistle: 

Salut,

Philo du matin :

L'erreur est humain (normal l'univers dont nous somme issu est lui-même issus d'une explosion le big-bang) comment peut-ont produit quelque chose de correcte avec une si gros explosion ? hein ... nous ne somme qu'issus de bactérie tél, des dioxid de carbone issus de la combustion d'un moteur a explosion !


pour en revenir a Mars Climate Orbiter c'est pas la 1er fois que les ricain ne savent pas fair gaff a la messus utilisé !
parfois il oublie même des chiffons dans une tuylière et boom plus de navette !

Oui c'est beau de pense a un code sans erreur mais cela est un rêve ! doux rêve cert mais rêve !

a+



Lassé par la pub ? Créez un compte