在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

靜態測試用例和測試過程分析工具

星星科技指導員 ? 來源:嵌入式計算設計 ? 作者:Sayali Salape ? 2022-07-04 10:00 ? 次閱讀

在航空電子領域,安全關鍵軟件必須通過 DO-178B/C 合規方式遵守聯邦航空法規。航空無線電技術委員會 (RTCA) 和歐洲民用航空設備組織 (EUROCAE) 聯合開發了DO-178 機載系統和設備認證中的軟件注意事項。DO-178B/C 是處理機載系統中使用的安全關鍵軟件的安全性的指南,旨在滿足適航系統的需求。機載系統中使用的軟件必須滿足標準和相關認證目標。

DO-178B/C 的目標之一是“對軟件產品進行符合性審查”。同行評審的目的是確保完成軟件生命周期,并交付優質產品進行認證。在同行評審過程中,評審者必須評審在評審過程中添加的所有工件,并確保這些工件沒有缺陷。如果發現任何缺陷,審核者需要將其作為發現來捕獲。

在下一步中,實施者必須針對這些缺陷提供適當的解決方案。在對航空電子軟件進行驗證時,我們的團隊遇到了許多與拼寫錯誤、同一測試(或同一單元)內重復要求、冗余空格(前導、尾隨、單詞之間等)、HLR-to -LLR 可追溯性,以及缺少特定要求的測試用例。

審查者和實施者都需要花費大量時間來捕捉和解決這些發現。如果工件數量增加,識別和解決此類錯誤所需的時間也會增加。因此,為了避免此類發現,我們的團隊提出了“靜態測試用例和測試過程分析工具”。該工具是用 Python 開發的,可以捕獲上述錯誤。它有助于實施者在初始階段修復此類錯誤,并有助于減少審查過程的時間。

概述:

開發靜態測試用例和測試過程分析工具的主要目標是盡量減少用戶在搜索拼寫錯誤的單詞、空格、需求可追溯性問題(在 HLR 和 LLR 之間)和丟失的測試用例(未測試的需求)方面的工作量。

在這里,測試用例在 excel 或文本文件中開發并添加到工具中。測試用例包含測試用例 ID、低級和高級需求的跟蹤、測試用例的目標以及包含輸入/輸出的測試步驟以及每個步驟的目的。

手動生成的文檔必然存在容易被忽略的錯誤。但是,該工具會掃描整個文檔并識別文本中的拼寫錯誤、文本中存在的額外空格以及連續的重復單詞。它還檢查測試用例文件名和測試用例 ID 的命名約定,并將其記錄在要顯示的文本文件中。

雖然,excel提供了檢查文本拼寫的功能。它遍歷每個單詞并需要更多時間,而該工具可以直接顯示錯誤及其位置。

分析需求可追溯性和定位缺失的測試用例是該工具的另一個特點。在驗證中,需求覆蓋率是一個非常重要的方面,也是 DO-178B/C 標準的核心目標之一。DO-178B/C 第 A-7.4 節和 A-4.6 節的目標分別是“實現低級需求的測試覆蓋”和“低級需求可追溯至高級需求”。

工程師必須檢查需求是否經過測試,以及每個低級需求 (LLR) 是否都有相應的高級需求 (HLR) 可追溯。靜態測試用例和測試過程分析工具從測試用例文件中收集數據并維護 LLR 和 HLR 列表,以便用戶可以輕松查看并交叉檢查 LLR 到 HLR 的可追溯性。

該工具檢查每個 LLR 是否有與之關聯的測試,并記錄同一單元格中 LLR 和 HLR 的重復項,幫助用戶最大限度地減少檢查整個測試文件的工作量。

設計細節:

靜態測試用例和測試過程分析工具主要分為兩部分:1)需求追溯分析,2)發現拼寫錯誤、空行、多余的空格和錯誤的測試用例ID(靜態分析和清理)。

在需求追溯分析部分,.xlsx 中的測試用例和 .csv 中被測模塊的需求列表作為該工具的輸入提供。它會生成包含 LLR 和相關測試 ID 的 CSV 文件、包含測試 ID、HLR、LLR 的解析數據的 excel 文件,以及帶有 LLR 和 HLR 的任何重復項的文本文件。

poYBAGLCSkqAFGBQAAC4DzENU6c859.png

圖 2.1:工具的需求追溯分析功能

該工具的需求可追溯性分析部分執行以下功能:

HLR 和 LLR 之間的可追溯性 —— CSV 格式的測試用例文件和被測模塊的需求列表作為輸入提供給為檢查需求可追溯性而開發的功能。它根據測試用例 ID、LLR 和 HLR 解析測試用例文件,并將其放入新創建的 xlsx 文件中。輸入 CSV 文件包含特定模塊的要求列表。

需求測試可追溯性 ——該函數從 CSV 文件中讀取需求并將它們搜索到已解析的 HLR 和 LLR xlsx 中。如果 LLR 存在于已解析的工作表、LLR 和 HLR 中,它會捕獲相應的測試用例 ID。該工具創建一個新的 CSV 并在其中寫入 LLR 及其各自的測試用例 ID。如果 LLR 不存在,則會導致字符串顯示“需求未測試”。

重復需求識別 - 該工具識別解析的 HLR LLR xlsx 文件中的單元格是否包含重復的 HLR 或 LLR,并在文本文件中記錄這些需求。

在工具的靜態分析和清理部分,提供一個或多個不同格式的測試文件(例如 .xlsx 或 .txt)作為輸入,這些錯誤的結果記錄在一個文本文件中。

poYBAGLCSlCAVOIqAABsixtasgQ356.png

圖 2.2:工具的靜態分析和清理功能

靜態分析和清理部分執行以下功能:

捕獲靜態錯誤(拼寫錯誤、多余的空格、連續重復的單詞等)——用戶可以選擇一個或多個測試用例文件并將它們作為輸入提供給檢查測試用例文件中的靜態錯誤的函數。該工具檢查測試用例文件名和測試 ID 名稱是否符合指南,并在文本文件中記錄所有錯誤。它還報告測試用例文件中未使用的行。

結果:

該工具生成四個結果文件:

靜態錯誤報告 (.txt)

HLR 和 LLR 之間的可追溯性報告 (.xlsx)

需求和測試之間的可追溯性報告 (.csv)

重復要求 (.txt)

以下片段可幫助用戶了解該工具如何工作并產生結果。

poYBAGLCSleAVotWAAB24nH-pV4449.png

圖 3.1:測試用例中的靜態錯誤報告

pYYBAGLCSl6AODfoAACJnaVyHvY153.png

圖 3.2:HLR 和 LLR 之間的可追溯性報告

poYBAGLCSmOAbBGGAAB6RFHP2EQ762.png

圖 3.3:需求和測試之間的可追溯性報告

poYBAGLCSmmAfQQ5AAAylsBh30k329.png

圖 3.4:顯示重復需求的報告

靜態測試用例和測試過程分析工具與 C# 開發的 GUI 的集成:

我們已經成功地將我們團隊創建的靜態測試用例和測試過程分析工具與另一個團隊實現的 GUI 工具集成在一起。挑戰在于 GUI 工具是用 C# 實現的,而靜態測試用例和測試過程分析工具是用 Python 實現的。

集成兩者的想法使用戶能夠保持他們一直在使用的相同 GUI,并具有用于檢查他們正在處理的 TC 中的靜態錯誤的附加功能。集成過程包括啟用 python 腳本以提供與基于 C# 的 GUI 的接口(即,使函數以測試用例列表作為參數在命令行上執行),從 C# 調用 python 腳本,以及從 C# 執行文件操作生成日志文件。

以下是此集成的功能:

節省單獨操作工具的開銷

GUI工具本身提供了選擇TC、執行工具、分析報告等所有界面,節省了工程師執行每個步驟的時間

執行活動與 GUI 工具中的時間戳(以活動日志的形式)一起監控,讓用戶知道執行是如何工作的

案例分析:

如引言中所述,如果在實施階段沒有發現和解決錯誤,則在審查過程中糾正錯誤的實施和審查工作會更大。本案例研究包括同行評審過程中確定的一項發現以及解決該問題所需時間的估計。下面提供的分析顯示了在此工具的幫助下可以節省多少實施和審查時間。

同行評審結果描述:

清除單詞“contrl”的所有拼寫錯誤,即測試 1 中的目的陳述 - “Slider contrl”應該是“Slider control”。

工件需要重命名。根據指南重命名它。

表 5.1:工具的有效性

優點:

該工具的有效性隨著多個工件和多個 TC 的審查而增加

將修復錯誤的周轉時間縮短 70%

減少與拼寫、命名約定和 HLR-LLR 可追溯性問題相關的發現數量

未來范圍:

它將 LLR 和相應的 HLR 作為需求管理工具的輸入,并檢查測試用例是否包含正確的 LLR 到 HLR 可追溯性。

基于解析的 LLR,它生成一個 TC 模板,該模板將根據需求準備好一些基本字段,如目標、目的、輸入/輸出。

支持以 .c、.py 或 .xml 格式手動創建的測試程序文件。

支持 pdf 標記。

結論:

該工具的目的是通過消除需求可追溯性問題和錯誤(例如空格、重復單詞、拼寫錯誤的單詞和命名約定)來生成健壯或高質量的工件。它可以節省大約 10 分鐘。對于每個工件。

當有多個工件時,該工具會更有效,并節省大約 70% 的周轉時間。通過持續使用該工具,我們的團隊消除了與上述所有錯誤相關的發現,顯著提高了工件質量和工作效率。

審核編輯:郭婷

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 無線電
    +關注

    關注

    60

    文章

    2145

    瀏覽量

    116661
  • python
    +關注

    關注

    56

    文章

    4802

    瀏覽量

    84890
  • 航空電子
    +關注

    關注

    15

    文章

    491

    瀏覽量

    45280
收藏 人收藏

    評論

    相關推薦

    是德科技助力三星電子驗證FiRa 2.0安全測距測試用

    是德科技(Keysight Technologies,Inc.)成功助力三星電子,在其Exynos Connect U100芯片組上驗證了FiRa 2.0安全測試用。此次驗證得益于是德科技提供的超寬帶 (UWB)測試解決方案,
    的頭像 發表于 11-18 10:08 ?216次閱讀

    端到端測試用怎么寫

    測試方法,旨在驗證整個應用程序從前端到后端的流程是否能夠按照預期工作。它涉及多個系統組件和接口的交互,確保業務流程的完整性和正確性。 二、編寫端到端測試用的步驟 需求分析 理解業務流
    的頭像 發表于 09-20 10:29 ?528次閱讀

    利用靜態檢查工具完善功能安全中測試覆蓋率

    在功能安全中測試覆蓋率是比較重要的概念,也是在驗證過程中通常需要花費時間較多的步驟,如果能借助于靜態檢查工具的死邏輯查找和聲明、測試用
    的頭像 發表于 09-05 09:15 ?384次閱讀
    利用<b class='flag-5'>靜態</b>檢查<b class='flag-5'>工具</b>完善功能安全中<b class='flag-5'>測試</b>覆蓋率

    恒訊科技分析:如何測試海外靜態IP服務的穩定性和速度?

    測試海外靜態IP服務的穩定性和速度可以通過以下步驟進行: 1、選擇測試工具:使用網絡測試工具,如ping命令、traceroute(或 racert)、網絡速度
    的頭像 發表于 08-14 14:58 ?386次閱讀

    鑒源實驗室·ISO 26262中測試用的得出方法-等價類的生成和分析

    標準規范中給出了單元、集成、系統測試各階段的建議測試使用方法,設計生成測試用的建議方法包括需求分析、等價類的生成和
    的頭像 發表于 07-30 15:37 ?567次閱讀
    鑒源實驗室·ISO 26262中<b class='flag-5'>測試用</b><b class='flag-5'>例</b>的得出方法-等價類的生成和<b class='flag-5'>分析</b>

    是德科技獲得窄帶非地面網絡標準的新測試用驗證

    是德科技(Keysight Technologies,Inc.)日前宣布,該公司針對3GPP Rel-17標準中關于NB-IoT NTN技術的新一致性測試用獲得驗證通過。這些測試用
    的頭像 發表于 07-26 14:13 ?740次閱讀

    動態追溯方法:徹底革新軟件測試

    動態追溯方法為解決軟件開發中追溯的挑戰提供了創新的解決方案。通過自動和動態地鏈接需求和測試用,使測試過程顯著提高效率和精確度。該方法減少了手工操作,改善了故障分析,并確保了持續的追溯
    的頭像 發表于 07-05 17:40 ?436次閱讀
    動態追溯方法:徹底革新軟件<b class='flag-5'>測試</b>

    單元測試、集成測試自動化工具

    HookCode?直接使用目標機代碼進行單元測試 聯合靜態解析工具[CasePlayer2],提供C0(語句),C1(判定),MC/DC覆蓋率報告,優化測試用
    的頭像 發表于 06-26 13:41 ?474次閱讀
    單元<b class='flag-5'>測試</b>、集成<b class='flag-5'>測試</b>自動化<b class='flag-5'>工具</b>

    ADC靜態測試全流程:以斜坡測試(一)

    如何利用該系統進行精確的ADC靜態參數測試。我們將以斜坡測試(Ramp test)這一典型測試流程為,指導您高效地使用我們的ATX
    的頭像 發表于 06-14 10:11 ?1045次閱讀
    ADC<b class='flag-5'>靜態</b><b class='flag-5'>測試</b>全流程:以斜坡<b class='flag-5'>測試</b>為<b class='flag-5'>例</b>(一)

    LitePoint與三星電子合作支持FiRa 2.0物理層安全測距測試用

    先進無線測試解決方案提供商LitePoint與三星電子宣布緊密合作,支持FiRa 2.0物理層(PHY)一致性測試規范內定義的新安全測試用
    的頭像 發表于 05-16 11:26 ?608次閱讀

    DEKRA被CSA指定為Zigbee統一測試工具開發和優化新功能和測試用

    DEKRA德凱被CSA聯盟(Connectivity Standards Alliance,CSA)指定負責為Zigbee統一測試工具(Zigbee Unified Test Harness,ZUTH)開發和優化新功能和測試用
    的頭像 發表于 04-09 14:10 ?553次閱讀

    PTCRB的測試用類認證等級分類介紹

    PTCRB的測試用類認證等級CategoryA/B/EA類項:測試用在商用系統上經過完全驗證;必測項且需要結果為PASSB類項:測試用
    的頭像 發表于 03-14 16:46 ?428次閱讀
    PTCRB的<b class='flag-5'>測試用</b>類認證等級分類介紹

    是德科技首批3GPP Release 16 16/32測試用獲得批準

    本次驗證涵蓋單個和多個預編碼矩陣指示符測試用,主要面向在頻分雙工和時分雙工頻段上運行的 16/32 通道發射機
    的頭像 發表于 02-21 14:14 ?450次閱讀

    常用的變頻器檢測方法靜態測試和動態測試

    常用的變頻器檢測方法靜態測試和動態測試? 變頻器是一種電力調節裝置,可以實現對電動機的調速和節能。在使用變頻器時,經常需要對其進行檢測,以確保其正常工作。常用的變頻器檢測方法主要包括靜態
    的頭像 發表于 02-01 15:47 ?4879次閱讀

    靜態測試方案

    隨著自動駕駛、車聯網等技術突飛猛進的發展,汽車中包含的軟件越來越多。如何保證這些軟件的質量就成了重中之重。經緯恒潤擁有十幾年的嵌入式軟件研發及測試經驗,經驗豐富的軟件測試團隊,能夠借助測試工具及設備給客戶提供優質的
    的頭像 發表于 01-29 11:36 ?2091次閱讀
    <b class='flag-5'>靜態</b><b class='flag-5'>測試</b>方案
    主站蜘蛛池模板: 69色综合| 男女在线视频| 色天天综合色天天天天看大| 亚洲成人午夜影院| 女色专区| 免费a在线看| 国产片一级aaa毛片视频| 国产精品虐乳在线播放| 在线国产播放| 免费黄色一级片| 视频黄色在线| 男女在线视频| 四虎黄色| 亚洲色图狠狠干| 婷婷久久久五月综合色| 日本三级在线视频| 国产一级久久免费特黄| 亚洲 欧美 自拍 另类 欧美| 久久三级网站| 亚洲一区二区三区在线| 永久黄网站色视频免费| 色噜噜狠狠网站| 国内精品久久久久影院薰衣草 | 免费在线观看的网站| 丝袜美腿视频一区二区三区| 一级毛片aaaaaa视频免费看| 老司机精品视频免费| 亚洲97| 一级片aaa| 日本三级视频| 国产欧美日韩综合精品一区二区| 一级不卡毛片| 五月天婷婷在线免费观看| 一区二区不卡在线观看| 免费视频在线视频观看1| 高清欧美性xxxx成熟| 亚洲三级在线免费观看| 欧美 在线播放| 天天天色综合| 色五丁香| 香蕉久久夜色精品国产2020|