<button id="awefu"><object id="awefu"><input id="awefu"></input></object></button>

  1. <tbody id="awefu"><noscript id="awefu"></noscript></tbody>
  2. <dd id="awefu"></dd>
    <progress id="awefu"></progress>

    <tbody id="awefu"><noscript id="awefu"></noscript></tbody>

    昆明UI培訓
    達內昆明五一路

    188-5191-7064

    美國航空航天局,是這樣編程的

    • 時間:2016-08-08 16:15
    • 發布:昆明UI培訓
    • 來源:伯樂在線

    一些大公司或者大的項目,往往會實用一些編程規則或者編程標準。作為NASA(美國航空航天局)來說,有哪些編程規則呢,來和達內昆明UI的培訓老師一起看一下吧。

    (這里介紹的NASA的10大編程規則,主要偏重于安全參數,這10大規則是由NASA噴氣推進實驗室(JPL)的首席科學家Gerard J. Holzmann提出的。)

    第1條規則 — 簡單的控制流

    用非常簡單的控制流結構體來編寫程序 — 不要用setjmp或者longjmp結構體,goto語句,以及直接或間接的遞歸調用。

    第2條規則 — 循環設置固定的上限

    所有的循環必須有一個固定的上限。對于檢查工具來說,在給定循環次數的情況下,可以通過靜態分析證實循環結果不超過預設的上限。如果工具不能靜態檢測出循環上限,那么這條規則就不適用。

    第3條規則 — 沒有動態內存分配

    初始化之后不要使用動態內存分配。

    第4條規則 — 沒有大函數

    如果以一行一條聲明和一行一條語句這樣標準的格式來寫,那么函數的長度不應該超過一張紙。這也就是說一個函數不應該超過60行代碼。

    第5條原則 — 低斷言使用密度

    代碼斷言的密度應該低至平均每個函數兩個。斷言是用來檢查現實執行中不會發生的不正常情況。它應該被定義為布爾測試。當斷言失敗,應當立即采取恢復措施。如果靜態檢測工具證明斷言永遠不會失敗或者條件永遠不為真,這條規則就無效。

    第6條規則 — 最小范圍內聲明數據對象

    這條規則支持數據隱藏的基本原則。所有的數據對象必須在盡可能最小范圍內聲明。

    第7條規則 — 檢查參數和返回值

    當函數的返回值為非空的時候,每次函數調用都應該檢查其返回值,并且每個被調用的函數還要檢查所帶參數的有效性。

    在最嚴格的模式下,這條規則意味著printf和文件關閉語句的返回值也要檢查

    第8條規則 — 限制使用預處理器

    預處理器的使用應該限制在頭文件和宏定義中。不允許使用遞歸宏調用,拼接符和可變參數列表。即使在大型程序的開發工作中,如果使用了超過一兩個條件編譯指令必須要有充足的理由,這么做超出了統一的代碼標準,同樣也是為了避免同樣的頭文件包含多重釋義。每次這么做必須在代碼中要有由基于工具的檢查器進行標記并且要有充分的理由。

    條件編譯也同樣需要謹慎,10個條件編譯指令代碼中就會有1024(2^10)個不同版本的代碼,這也增加了測試的工作量。

    第9條規則 — 限制使用指針

    必須要限制指針的使用。最多只允許使用一級指針解引用。指針解引用操作不可以隱藏在類型聲明或宏定義中。還有,不允許使用函數指針。

    第10條規則 — 所有代碼必須能編譯通過

    從開發的第一天起,所有的代碼都必須通過編譯。所有的編譯器警告必須遵循編譯器可使用警告。在編譯器可使用警告范圍內,編譯的代碼必須沒有警告。

    所有代碼必須每天至少使用一個(最好多于一個)最新的靜態源代碼分析器進行檢查,而且以0警告通過所有的分析。

    NASA是這么評價這些規則的:“它們就像車里的安全帶:剛開始用會有點不舒服,但是過了一段時間就會成為一種習慣,你會無法想象不使用它們的日子。”

    上一篇:你的工作有哪些值得享受的地方
    下一篇:分享:工作5年以上的UI設計師都在做什么

    馬上預約三天免費體驗課

    姓名:

    電話:

    • 掃碼領取資料

      回復關鍵字:視頻資料

      免費領取 達內課程視頻學習資料

    • 視頻學習QQ群

      添加QQ群:1143617948

      免費領取達內課程視頻學習資料

    Copyright ? 2018 Tedu.cn All Rights Reserved 京ICP備08000853號-56 京公網安備 11010802029508號 達內時代科技集團有限公司 版權所有

    選擇城市和中心
    江西省

    貴州省

    廣西省

    海南省

    2018最新天堂福视频 2019亚洲福利合集 老司机带带我精品视频 百度 好搜 搜狗
    <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <蜘蛛词>| <文本链> <文本链> <文本链> <文本链> <文本链> <文本链>