The Power of 10
The Power of 10是NASA喷气推进实验室(JPL)的Gerard J. Holzmann在2006年所提出,有關軟體可靠性的原則[1]。此原則的目的是要消除C語言中不容易評審,或不容易進行靜態分析的程式寫法。此原則是補充MISRA C的內容,後來已整合JPL的編程標準裡[2]。
原則
编辑這十條原則是[1]:
應用
编辑相關條目
编辑延伸閱讀
编辑- G.J. Holzmann. The Power of 10: Rules for Developing Safety-Critical Code. IEEE Computer. 2006-06-19, 39 (6): 95–99. doi:10.1109/MC.2006.212.
參考資料
编辑- ^ 1.0 1.1 The Power of 10: Rules for Developing Safety-Critical Code (PDF). [2022-12-20]. (原始内容存档 (PDF)于2022-09-02).
- ^ JPL C Coding Standard - JPL Laboratory for Reliable Software
- ^ Unintended Acceleration and Other Embedded Software Bugs (页面存档备份,存于互联网档案馆), March 1st, 2011, by Michael Barr, Embedded Gurus
- ^ NASA Engineering and Safety Center Technical Assessment Report, National Highway Traffic Safety Administration Toyota Unintended Acceleration Investigation, Appendix A (PDF). [2022-12-20]. (原始内容存档 (PDF)于2022-12-20).