The Power of 10是NASA喷气推进实验室(JPL)的Gerard J. Holzmann在2006年所提出,有關軟體可靠性的原則。此原則的目的是要消除C語言中不容易評審,或不容易進行靜態分析的程式寫法。此原則是補充MISRA C的內容,後來已整合JPL的裡。
原則
這十條原則是。
相關條目
*生命攸關系統
*
*软件质量
*
延伸閱讀
*
參考資料
外部連結
- [https://opensourcesatellite.org/how-do-you-make-software-reliable-enough-space-travel/ Open Source Satellite: How do you make software that is reliable enough for space missions?]
评论 (0)