Door rsterenb: *Alu-hoedje op* ------ *Alu-hoedje af* Als je de source hebt kun je white-box tests uitvoeren die het bewijs vormen dat de code zich inderdaad zo gedraagt als daar bedoeld is. Je zult ook snel de kritieke problemen kunnen als die er zijn. Bedenk dat het nadeel van gedegen analyse van de source kan zijn dat je iets tegenkomt. Dat is het nadeel met open source. Helaas een paar ervaringen afgelopen jaar lieten zien dat die gedegen analyse kennelijk ontbrak. Alu hoedje op? 1/ Wil je het opnieuw compileren? Dat hoeft niet dezelfde code op te leveren eerder onwaarschijnlijk. Ook compilers zijn software en kunnen met alle meegelverde basis libraries fouten bevatten. (eerder al gebeurd) 2/ De hardware zelf kan fouten bevatten of er kan een parallel systeem ingebouwd zijn (standaard al gangbaar) Wanneer is een systeem betrouwbaar? Het enige wat er op zit is openheid en meten is weten. Het is een begin, 100% zekerheid is uitgesloten. Gaat meer om een onderbouwde waarschijnlijkheid met ...