Verifying embedded software functionality: fault localization, metrics and directed testing

Editor’s Note: In the third in a four part series Abhik Roychoudhury, author of Embedded Systems and software validation, discusses the pros and cons of metric base fault localization and directed testing for assessing software functionality. So far, in Part 1 and Part 2 in this series, we have presented the dynamic slicing method, which is fully formal and …

Verifying embedded software functionality: The power of dynamic slicing

Editor’s Note: In this second in a six part series, Abhik Roychoudhury, author of Embedded Systems and software validation, details the ways in which dynamic slicing can be used for assessing software functionality. In this Part 2: The power of dynamic slicing. Dynamic slicing is a generic method for program debugging and comprehension. The method takes in the following: …

Verifying embedded software functionality: Why it’s necessary

Editor’s Note: In this six part series Abhik Roychoudhury, author of Embedded Systems and software validation, explains why it is important for embedded developers to about new techniques such as dynamic slicing, metric based fault localization and directed testing techniques for assessing software functionality. In this Part 1: what must be done and how to achieve it. Embedded software …