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.