Specification Inference Using Systematic Reverse-Engineering Methodologies: An Automotive Industry Application
Muzammil Shahbaz, K.C. Shashidhar, Robert Eschbach · IEEE Software · 2011
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.