The development of object code verification

The ever-increasing reliance on software control has meant that automotive companies have a need for verifying object code in software development. There has been a tendency for companies to look outside their own market sector when seeking 'best practice' techniques. This is exemplified by the adoption of elements of the DO-178B standard in the automotive industry and the MISRA standard in the avionics industry. Object code verification is concerned with how much of the control flow structure of the compiler generated object code differs from that of the application source code from which it was derived. Many software tool vendors can now provide partial or complete structural coverage analysis solutions for both source and object code. Some vendors also provide partial or fully automated facilities targeted at the unit test level. The 'Object-box Mode' unit test object code verification facility is discussed.

• Availability:
  • Find a library where document is available. Order URL: http://worldcat.org/issn/17491819
• Authors:
  • ST CLAIR, B
• Publication Date: 2006-2

Language

• English

Media Info

• Pagination: 10,12-3
• Serial:
  • AUTOMOTIVE ELECTRONICS
  • Publisher: MT PUBLICATIONS LIMITED
  • ISSN: 1749-1819

Subject/Index Terms

• TRT Terms: Aircraft; Control; Evaluation; Industries; Quality assurance; Vehicles
• Subject Areas: Aviation; Vehicles and Equipment; I90: Vehicles;

Filing Info

• Accession Number: 01040693
• Record Type: Publication
• Source Agency: TRL
• Files: ITRD
• Created Date: Jan 17 2007 8:39AM