9 Software Verification
Acronym
| BVA | boundary value analysis |
| CAST | Certification Authorities Software Team |
| CC1 | control category #1 |
| CC2 | control category #2 |
| CCB | change control board |
| DC/CC | data coupling and control coupling |
| DP | discussion paper |
| FAA | Federal Aviation Administration |
| IMA | integrated modular avionics |
| ISR | interrupt service routine |
| MC/DC | modified condition/decision coverage |
| OOT | object-oriented technology |
| PR | problem report |
| PSAC | Plan for Software Aspects of Certification |
| RAM | random access memory |
| SAS | Software Accomplishment Summary |
| SCMP | Software Configuration Management Plan |
| SDP | Software Development Plan |
| SLECI | Software Life Cycle Environment Configuration Index |
| SQA | software quality assurance |
| SQAP | Software Quality Assurance ... |
Get Developing Safety-Critical Software now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
