To achieve the software quality assurance that today's challenging embedded systems require involves using every means and tool available, from testing and static analysis to metrics collection and ...