The Power of 10 The Power of 是NASA喷气推进实验室JPL的Gerard J Holzmann在年所提出有關軟體可靠性的原則此原則的目的是要消除C語言中不容易評審或不容易進行靜態分析的程式寫法此原則是補充MISRA C的內容後來已整合JPL的編程標準英语Coding conventions裡