Redaktion Elektor
Over dit artikel

7 Ways to Make Embedded Software Safe and Secure with Static Analysis and Formal Methods

The Dutch logician Edsger Dijkstra, a pioneer in computer science, once said, “Program testing can be used to show the presence of bugs, but never to show their absence!” Yet, many embedded projects mistakenly interpret the absence of test failures as proof of quality. This article presents a unique way to address this problem.
Dit artikel kan alleen worden gedownload door geregistreerde gebruikers.
Login | Registreer nu!
Reacties worden ingeladen...