03質(zhì)量評審(編輯修改稿)
2025-03-12 13:22 本頁面
【文章內(nèi)容簡介】 nfinite loop LCSAJs 線性代碼序列及跳轉(zhuǎn) LCSAJs ? 維護(hù)性度量指標(biāo) ? 檢測不可達(dá)代碼 ? 識(shí)別不可測試（或不合理）代碼 ? 強(qiáng)制用于歐洲安全苛刻性軍用航空電子項(xiàng)目 ? 路徑測試的覆蓋度量基礎(chǔ) ? 最高級(jí)別的代碼覆蓋率度量 LCSAJ三要素 ? 根據(jù)定義和 LDRA的代碼重格式化策略， LCSAJs能描述成三要素的形式： – 1. 起始點(diǎn) [一個(gè)線性代碼序列 ] – 2. 結(jié)束點(diǎn) – 3. 目標(biāo)點(diǎn) LCSAJ起始點(diǎn) ? LCSAJs開始于： – 程序的第一行可執(zhí)行代碼 – A的第一行可執(zhí)行代碼， A可以是： ? 功能 ? 程序 ? 方法 … – 任何控制流跳轉(zhuǎn)的目標(biāo)行： ? 標(biāo)號(hào) ? else語句 ? endif語句 ? switch語句的子句 ? 循環(huán) ? 函數(shù)調(diào)用的返回 ... LCSAJ跨度 LCSAJ跨度是程序中的最小分割，任何 LCSAJ的線型代碼序列都完全包含在 LCSAJ的跨度中 LCSAJ跨度的第一行可以是程序的開始，或者是前面的 LCSAJ序列不能到達(dá)的那一行 LCSAJ跨度的終止行可以是程序的結(jié)束行，或者是控制流不能經(jīng)過其下一行的代碼行 Span FINISH 82 else 1 START 83 { 1 84 mess = Hello There。 1 85 } 1 START 86 } 2 START 87 } 3 START 88 printf ( %d %d %d %20s\n, i, j, k, mess )。 4 FINISH 89 } 4 START FINISH 90 } 1 LCSAJ密度 ? LCSAJ密度是維護(hù)性度量元 ? 如果某一行代碼作了修改， LCSAJ密度會(huì)告訴用戶由于此代碼修改影響到多少條 LCSAJ ? 如果密度越高，那么就越會(huì)降低對于所有的 LCSAJ此改變都是正確的信心，因此必須增加需要的回歸測試數(shù)目 Code “LCSAJ” Lines Density a=b 2 if 2 (a==x) 2 { 1 b=y。 1 } 1 print (“ok”)。 2
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號(hào)-1