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 …