Electronicdesign 8064 Adacorepromo

Requiem for a Bug – Verifying Software: Testing and Static Analysis (.PDF Download)

Nov. 4, 2014

This article is part of the Embedded Software Series: Enforced Coding Using Ada Contracts

Read this article online

What do you do to make your code behave as intended? And are the methods you chose as effective in finding problems as you thought? In this article, the first of a two-part series, I will write a piece of code in Ada and then try to find bugs with two different methods...

Sponsored Recommendations