des methodes pour analyser le code et trouver des défaillances existent. Mais c'est un domaine encore jeune et qui bute naturellement sur l'explosion des combinaisons à tester
Il ne s'agit pas uniquement de puissance de calcul, certains problèmes sont indécidables ( cf boucle infinie), et dans tous les cas, rien ne remplace un developpeur.
Sur l'approche par composants logiciel, je suis d'accord avec toi mais rien n'empeche un composant de ne pas etre à code source ouvert, tant que son interface est fournie. Apres tout l'encapsulation vise justement cet objectif : pouvoir utiliser un composant sans connaitre sa structure interne. D'un point de vue securité, par contre, un code ouvert est indispensable.
[^] # Re: nan rien...
Posté par patapon . En réponse à la dépêche Réactions au site pecephobie.be. Évalué à 2.
Il ne s'agit pas uniquement de puissance de calcul, certains problèmes sont indécidables ( cf boucle infinie), et dans tous les cas, rien ne remplace un developpeur.
Sur l'approche par composants logiciel, je suis d'accord avec toi mais rien n'empeche un composant de ne pas etre à code source ouvert, tant que son interface est fournie. Apres tout l'encapsulation vise justement cet objectif : pouvoir utiliser un composant sans connaitre sa structure interne. D'un point de vue securité, par contre, un code ouvert est indispensable.