Download now Free registration required
Adopting a coding standard can increase system reliability, safety, and security. Popular standards include Misra C, the JSF C++ rules, and Holzmann's ten rules developed at JPL. Checking rules manually is tedious, so automated review is desirable. However, behind many rules lie hidden assumptions and potential complexity that makes comprehensive automation difficult. Three rules sets and the rationale behind them are discussed. Technologies for detecting violations are described. Recommendations for how to best apply these rules are given.
- Format: PDF
- Size: 1337.2 KB