Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application

Lack of precise specification is a well-known problem in the software industry. This article covers some peculiar aspects of the problem and its causes in the automotive software industry. The authors describe how the situation motivates engineers to grasp reverse-engineering methodologies to comprehend third-party components. They developed a novel approach for reverse-engineering components, which they applied to a recent project on testing embedded systems of a modern vehicle.