imported>InternetArchiveBot：补救4个来源，并将0个来源标记为失效。) #IABot (v2.0.9.3

2023-01-23T17:59:05Z

补救4个来源，并将0个来源标记为失效。) #IABot (v2.0.9.3

新页面

'''The Power of 10'''是[[NASA]][[喷气推进实验室]]（JPL）的Gerard J. Holzmann在2006年所提出，有關軟體可靠性的原則<ref name="PowerOf10">{{Cite web |url=http://web.eecs.umich.edu/~imarkov/10rules.pdf |title=The Power of 10: Rules for Developing Safety-Critical Code |access-date=2022-12-20 |archive-date=2022-09-02 |archive-url=https://web.archive.org/web/20220902092203/https://web.eecs.umich.edu/~imarkov/10rules.pdf |dead-url=no }}</ref>。此原則的目的是要消除[[C語言]]中不容易[[代碼評審|評審]]，或不容易進行[[靜態程序分析|靜態分析]]的程式寫法。此原則是補充[[MISRA C]]的內容，後來已整合JPL的{{le|編程規範|Coding conventions|編程標準}}裡<ref name="JPL">[https://web.archive.org/web/20111015064908/http://lars-lab.jpl.nasa.gov/JPL_Coding_Standard_C.pdf JPL C Coding Standard - JPL Laboratory for Reliable Software]</ref>。

==原則==
這十條原則是<ref name="PowerOf10"/>：
# 不要使用複雜的流程控制，像是[[goto]]或是[[递归 (计算机科学)|递归]]。
# 所有迴圈都要有固定的上下界，以避免迴圈失控。
# 不要使用{{le|heap記憶體管理|Manual_memory_management}}。
# 限制函式的長度，列印後不得超過一頁。
# 每個函式至少要有二個[[斷言_(程式)#執行期檢查的斷言|執行時檢查的斷言]]（assertion）。
# 限制資料在程式中的可存取範圍，越小越好。
# 有傳回值的函式，要檢查函式的傳回值，不然就要轉型成void，表示其傳回值沒有意義。
# 謹慎的使用[[預處理器]]。
# [[指標_(電腦科學)|指標]]只能使用一個[[解引用运算符]]"*" ，而且不要使用[[函数指针]]。
# 在編譯時開啟所有的警告（warnings），需要處理完所有的警告，才能發行軟體。

==應用==
NASA曾研究[[豐田汽車]]的{{le|电子油门加速器|Electronic throttle control}}[[韌體]]，有243處違反上述的規定<ref>[http://embeddedgurus.com/barr-code/2011/03/unintended-acceleration-and-other-embedded-software-bugs/ Unintended Acceleration and Other Embedded Software Bugs] {{Wayback|url=http://embeddedgurus.com/barr-code/2011/03/unintended-acceleration-and-other-embedded-software-bugs/ |date=20221220085456 }}, March 1st, 2011, by Michael Barr, Embedded Gurus</ref><ref>{{Cite web |url=http://www.nhtsa.gov/staticfiles/nvs/pdf/NASA_FR_Appendix_A_Software.pdf |title=NASA Engineering and Safety Center Technical Assessment Report, National Highway Traffic Safety Administration Toyota Unintended Acceleration Investigation, Appendix A |access-date=2022-12-20 |archive-date=2022-12-20 |archive-url=https://web.archive.org/web/20221220085515/https://www.nhtsa.gov/staticfiles/nvs/pdf/NASA_FR_Appendix_A_Software.pdf |dead-url=no }}</ref>。

==相關條目==
*[[生命攸關系統]]
*{{le|編程規範|Coding conventions}}
*[[软件质量]]
*{{le|軟體保證|Software assurance}}

==延伸閱讀==
*{{cite journal
| author = G.J. Holzmann
| date = 2006-06-19
| title = The Power of 10: Rules for Developing Safety-Critical Code
| journal = IEEE Computer
| volume = 39
| issue = 6
| page = 95–99
| doi = 10.1109/MC.2006.212
}}

==參考資料==
{{reflist}}

==外部連結==
* [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?] {{Wayback|url=https://opensourcesatellite.org/how-do-you-make-software-reliable-enough-space-travel/ |date=20221220085504 }}

{{DEFAULTSORT:Power of 10}}
[[Category:C語言]]

The Power of 10 - 版本历史

imported>InternetArchiveBot：​补救4个来源，并将0个来源标记为失效。) #IABot (v2.0.9.3

imported>InternetArchiveBot：补救4个来源，并将0个来源标记为失效。) #IABot (v2.0.9.3