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.
Le téléchargement de ce magazine est réservé aux visiteurs enregistrés.
Veuillez saisir votre adresse électronique. Les instructions de réinitialisation de votre mot de passe vous seront immédiatement envoyées par courriel.
Discussion (0 commentaire(s))