Robust Programming Practice (RPP)

Goal

Maintainability:

\(\checkmark\)

Reliability:

\(\checkmark\)

Portability:

\(\checkmark\)

Performance:

\(\checkmark\)

Security:

\(\checkmark\)

Description

These rules promote the production of robust software.

Rules

RPP01, RPP02, RPP03, RPP04, RPP05, RPP06, RPP07, RPP07, RPP08, RPP09, RPP10, RPP11, RPP12, RPP13, RPP14

• No Use of "others" in Case Constructs (RPP01)
• No Enumeration Ranges in Case Constructs (RPP02)
• Limited Use of "others" In Aggregates (RPP03)
• No Unassigned Mode-Out Procedure Parameters (RPP04)
• No Use of "others" in Exception Handlers (RPP05)
• Avoid Function Side-Effects (RPP06)
• Functions Only Have Mode "in" (RPP07)
• Limit Parameter Aliasing (RPP08)
• Use Precondition and Postcondition Contracts (RPP09)
• Do Not Re-Verify Preconditions In Subprogram Bodies (RPP10)
• Always Use the Result of Function Calls (RPP11)
• No Recursion (RPP12)
• No Reuse of Standard Typemarks (RPP13)
• Use Symbolic Constants For Literal Values (RPP14)