GB∕T 43499-2023 機(jī)動車檢測系統(tǒng)軟件測試方法（正式版）

機(jī)動車檢測系統(tǒng)軟件測試方法2023-12-28發(fā)布國家市場監(jiān)督管理總局國家標(biāo)準(zhǔn)化管理委員會I前言 l2規(guī)范性引用文件 13術(shù)語和定義 14測試內(nèi)容 15測試方法 56測試文檔集 附錄A(資料性)軟件規(guī)范性測試典型缺陷列表 附錄B(資料性)版本登記記錄表 附錄C(資料性)測試報告 參考文獻(xiàn) Ⅲ本文件按照GB/T1.1—2020《標(biāo)準(zhǔn)化工作導(dǎo)則第1部分：標(biāo)準(zhǔn)化文件的結(jié)構(gòu)和起草規(guī)則》的規(guī)定起草。請注意本文件的某些內(nèi)容可能涉及專利。本文件的發(fā)布機(jī)構(gòu)不承擔(dān)識別專利的責(zé)任。本文件由全國機(jī)動車運(yùn)行安全技術(shù)檢測設(shè)備標(biāo)準(zhǔn)化技術(shù)委員會(SAC/TC364)提出并歸口。本文件起草單位：內(nèi)蒙古自治區(qū)產(chǎn)品質(zhì)量檢驗(yàn)研究院、內(nèi)蒙古安盾信息安全評測有限公司、中國測試技術(shù)研究院、深圳市安車檢測股份有限公司、內(nèi)蒙古自治區(qū)計量測試研究院、重慶市軟件評測中心有限公司、公安部交通安全產(chǎn)品質(zhì)量監(jiān)督檢測中心、廣東康士柏科技股份有限公司、廣東華工機(jī)動車檢測技術(shù)有限公司、北京市計量檢測科學(xué)研究院、云南省計量測試技術(shù)研究院、安徽強(qiáng)科達(dá)智能科技有限公司、深邦智能科技(青島)有限公司、浙江浙大鳴泉科技有限公司、西華大學(xué)、重慶云網(wǎng)科技股份有限公司、廣東省計量科學(xué)研究院、廣東泓勝科技股份有限公司、成都成保發(fā)展股份有限公司、沈陽檢摩爾互聯(lián)科技有限公司。本文件主要起草人：鞏韶飛、王鳳玲、劉美生、孔凡波、高俊、孫磐、丁曉明、李海、華莎、李振峰、1機(jī)動車檢測系統(tǒng)軟件測試方法1范圍本文件規(guī)定了機(jī)動車檢驗(yàn)機(jī)構(gòu)檢測系統(tǒng)軟件的測試內(nèi)容、測試方法、測試文檔集。本文件適用于機(jī)動車檢驗(yàn)機(jī)構(gòu)檢測系統(tǒng)軟件的測試。2規(guī)范性引用文件下列文件中的內(nèi)容通過文中的規(guī)范性引用而構(gòu)成本文件必不可少的條款。其中，注日期的引用文件，僅該日期對應(yīng)的版本適用于本文件；不注日期的引用文件，其最新版本(包括所有的修改單)適用于本文件。GB/T25000.51—2016系統(tǒng)與軟件工程系統(tǒng)與軟件質(zhì)量要求和評價(SQuaRE)第51部分：就緒可用軟件產(chǎn)品(RUSP)的質(zhì)量要求和測試細(xì)則GB/T26765機(jī)動車安全技術(shù)檢驗(yàn)業(yè)務(wù)信息系統(tǒng)及聯(lián)網(wǎng)規(guī)范GB/T38634.4—2020系統(tǒng)與軟件工程軟件測試第4部分：測試技術(shù)GB/T42685機(jī)動車檢驗(yàn)術(shù)語HJ1238汽車排放定期檢驗(yàn)信息采集傳輸技術(shù)規(guī)范3術(shù)語和定義GB/T42685界定的以及下列術(shù)語和定義適用于本文件。機(jī)動車檢驗(yàn)機(jī)構(gòu)vehicleinspectioninstitution依法成立，依據(jù)相關(guān)標(biāo)準(zhǔn)等規(guī)定利用儀器設(shè)備、環(huán)境設(shè)施等技術(shù)條件和專業(yè)技能，對機(jī)動車進(jìn)行檢驗(yàn)檢測的專業(yè)技術(shù)組織。機(jī)動車檢測系統(tǒng)vehicleinspectionsystem綜合運(yùn)用現(xiàn)代檢測技術(shù)對機(jī)動車實(shí)施檢驗(yàn)檢測的軟、硬件系統(tǒng)。注1:機(jī)動車檢測系統(tǒng)軟件主要由業(yè)務(wù)管理、檢驗(yàn)控制、數(shù)據(jù)存儲、設(shè)備標(biāo)定/校準(zhǔn)、檢驗(yàn)過程監(jiān)控、檢驗(yàn)數(shù)據(jù)采集上注2:機(jī)動車檢測系統(tǒng)硬件由儀器設(shè)備狀態(tài)監(jiān)控、機(jī)動車檢驗(yàn)過程監(jiān)測、檢驗(yàn)數(shù)據(jù)采集與處理，以及相關(guān)信息交換與顯示。規(guī)范性測試prescriptivetesting對機(jī)動車檢測系統(tǒng)軟件符合相關(guān)法律法規(guī)、標(biāo)準(zhǔn)的規(guī)定進(jìn)行驗(yàn)證測試。4測試內(nèi)容4.1功能性測試內(nèi)容機(jī)動車檢測系統(tǒng)包括機(jī)動車安全技術(shù)檢驗(yàn)業(yè)務(wù)信息系統(tǒng)、機(jī)動車排放定期檢驗(yàn)系統(tǒng)等。機(jī)動車安2全技術(shù)檢驗(yàn)業(yè)務(wù)信息系統(tǒng)功能應(yīng)符合GB/T26765的相關(guān)要求。機(jī)動車排放定期檢驗(yàn)系統(tǒng)功能應(yīng)符合HJ1238的相關(guān)要求。檢驗(yàn)數(shù)據(jù)傳輸應(yīng)符合GB/T26765、HJ1238的相關(guān)要求。對用戶管理模塊功能性測試包含但不限于以下內(nèi)容：a)人員管理；b)密碼管理；c)權(quán)限分配。對參數(shù)管理模塊功能性測試包含但不限于以下內(nèi)容：a)檢驗(yàn)機(jī)構(gòu)信息管理；b)儀器設(shè)備信息管理；c)檢驗(yàn)標(biāo)準(zhǔn)信息參數(shù)設(shè)置；d)下次檢定/校準(zhǔn)日期參數(shù)設(shè)置。對信息登錄模塊功能性測試包含但不限于以下內(nèi)容：a)人員信息錄入管理；b)強(qiáng)制保險單信息錄入；c)調(diào)取車輛信息；d)違章/盜搶信息核查。對調(diào)度控制模塊功能性測試包含但不限于以下內(nèi)容：b)不合格項(xiàng)目自動生成復(fù)檢。對查詢模塊功能性測試包含但不限于以下內(nèi)容：b)多組合條件查詢；c)檢測結(jié)果查詢；d)檢測人員查詢。對統(tǒng)計模塊功能性測試包含但不限于以下內(nèi)容：a)車輛類型分類合格率；b)檢驗(yàn)類別合格率；c)區(qū)縣分類合格率；d)檢驗(yàn)項(xiàng)目分類合格率；e)客車和危貨車輛檢驗(yàn)情況；f)檢測線檢測車輛數(shù)分布。3對日志管理模塊功能性測試包含但不限于以下內(nèi)容：a)日志記錄功能；b)日志條件查詢功能；c)不具備編輯/刪除功能；d)關(guān)鍵信息加密存儲；e)日志完整性；f)日志保存期限。對檢驗(yàn)結(jié)果處理功能性測試包含但不限于以下內(nèi)容：a)檢驗(yàn)結(jié)果自動判定及報告打??；b)檢驗(yàn)結(jié)果數(shù)值修約；c)檢驗(yàn)結(jié)果準(zhǔn)確性。4.1.7檢驗(yàn)控制系統(tǒng)功能對檢驗(yàn)控制系統(tǒng)功能性測試包含但不限于以下內(nèi)容：a)數(shù)值變換顯示；c)數(shù)值修約；d)結(jié)果判定；e)特殊情形處置及記錄。4.1.8數(shù)據(jù)存儲功能對數(shù)據(jù)存儲功能性測試包含但不限于以下內(nèi)容：a)檢測數(shù)據(jù)實(shí)時記錄；b)檢驗(yàn)數(shù)據(jù)自動存儲及查詢。4.1.9設(shè)備標(biāo)定/校準(zhǔn)功能對設(shè)備標(biāo)定/校準(zhǔn)功能性測試包含但不限于以下內(nèi)容：a)設(shè)備標(biāo)定/校準(zhǔn)結(jié)果顯示；b)設(shè)備標(biāo)定/校準(zhǔn)顯示一致性；c)設(shè)備標(biāo)定/校準(zhǔn)質(zhì)量；d)不具備純軟件標(biāo)定功能。4.1.10檢驗(yàn)過程監(jiān)控功能對檢驗(yàn)過程監(jiān)控功能性測試包含但不限于以下內(nèi)容：a)數(shù)據(jù)監(jiān)控；b)視頻監(jiān)控(適用時);c)圖片監(jiān)控(適用時);d)電子檔案。4.1.11檢驗(yàn)數(shù)據(jù)采集上傳功能測試數(shù)據(jù)上傳接口。4對系統(tǒng)自檢功能性測試包含但不限于以下內(nèi)容：a)系統(tǒng)自檢；b)設(shè)備鎖止。4.2非功能性測試內(nèi)容測試軟件設(shè)計、使用過程中的合法合規(guī)程度。規(guī)范性測試包含但不限于以下內(nèi)容：a)版本一致性：測試實(shí)際運(yùn)行軟件是否與專網(wǎng)服務(wù)平臺登記版本一致；b)業(yè)務(wù)數(shù)據(jù)正確性：測試軟件業(yè)務(wù)數(shù)據(jù)是否正確(包括數(shù)據(jù)是否超出正常范圍、數(shù)據(jù)準(zhǔn)確性等),測試軟件實(shí)時數(shù)據(jù)和歷史數(shù)據(jù)是否準(zhǔn)確無誤；c)時間同步性：測試工位機(jī)、軟件的數(shù)據(jù)庫管理模塊、業(yè)務(wù)管理模塊、監(jiān)控模塊、系統(tǒng)日志時間是否一致同步；d)程序插件修改：測試軟件是否存在利用程序插件修改檢測數(shù)據(jù)的功能；e)功能的合規(guī)性：測試軟件的功能設(shè)計是否符合相關(guān)現(xiàn)行有效法規(guī)、標(biāo)準(zhǔn)和規(guī)定。4.2.2數(shù)據(jù)安全性測試軟件防止未授權(quán)訪問、篡改計算機(jī)程序或數(shù)據(jù)的程度。數(shù)據(jù)完整性測試包含以下內(nèi)容：a)未授權(quán)用戶訪問控制：測試軟件是否具有對未授權(quán)用戶非法訪問的控制能力；b)非法攻擊控制處理：測試軟件在模擬非法入侵攻擊事件的條件下，是否具有控制和處理能力；c)非授權(quán)人創(chuàng)建、刪除、修改控制：測試軟件是否對非授權(quán)人創(chuàng)建、刪除或修改信息具有控制處理能力。測試活動或事件發(fā)生后可被證實(shí)且不可被否認(rèn)的程度。數(shù)據(jù)抗抵賴性測試包含以下內(nèi)容：a)為數(shù)據(jù)原發(fā)者提供證據(jù)功能：測試軟件是否具有在請求的情況下為數(shù)據(jù)原發(fā)者提供數(shù)據(jù)原發(fā)證據(jù)的功能；b)為數(shù)據(jù)接收者提供證據(jù)功能：測試軟件是否具有在請求情況下為數(shù)據(jù)接收者提供數(shù)據(jù)接收證據(jù)的功能。測試實(shí)體的活動可被唯一地追溯到該實(shí)體的程度。數(shù)據(jù)可核查性測試包含以下內(nèi)容：a)用戶進(jìn)程關(guān)聯(lián)與追溯：測試軟件是否實(shí)現(xiàn)將用戶進(jìn)程與所有者用戶相關(guān)聯(lián)，使用戶進(jìn)程的行為可追溯到進(jìn)程的所有者用戶；b)進(jìn)程動態(tài)關(guān)聯(lián)及追溯：測試軟件是否實(shí)現(xiàn)將系統(tǒng)進(jìn)程動態(tài)與當(dāng)前服務(wù)要求者用戶相關(guān)聯(lián)，使系統(tǒng)進(jìn)程的行為可追溯到當(dāng)前服務(wù)要求者用戶。測試對象或資源的身份標(biāo)識能夠被證實(shí)符合其申明的程度。數(shù)據(jù)真實(shí)性測試包含以下內(nèi)容：a)用戶列表與配置表：測試軟件是否具有當(dāng)前使用系統(tǒng)的用戶列表和配置表；b)訪問登錄記錄：測試軟件在系統(tǒng)的訪問歷史數(shù)據(jù)庫中記錄訪問登錄記錄是否完整；c)歷史日志及日志管理：測試軟件是否具有用戶使用系統(tǒng)的歷史日志及日志管理功能；d)模擬入侵日志記錄：測試軟件在模擬攻擊事件的入侵情況下，軟件的日志內(nèi)容是否有相關(guān)5記錄；e)病毒檢測記錄：測試軟件用戶訪問系統(tǒng)和數(shù)據(jù)的記錄內(nèi)容中是否包括防止病毒的“病毒檢測記測試數(shù)據(jù)在傳輸與處理過程中受保護(hù)的程度。數(shù)據(jù)傳輸安全性測試包含以下內(nèi)容：a)校驗(yàn)：測試是否使用數(shù)據(jù)校驗(yàn)碼算法，生成源數(shù)據(jù)的校驗(yàn)碼，在傳輸及處理過程中對重要數(shù)據(jù)的完整性進(jìn)行校驗(yàn)，防止關(guān)鍵數(shù)據(jù)被非法篡改；b)數(shù)據(jù)加密：測試是否采用加密技術(shù)對重要數(shù)據(jù)、隱私信息進(jìn)行加密，實(shí)現(xiàn)數(shù)據(jù)保密性保護(hù)，防止信息泄露；c)網(wǎng)絡(luò)傳輸安全：測試是否采取措施保證數(shù)據(jù)在不同網(wǎng)絡(luò)之間的傳輸安全。4.2.3源代碼規(guī)范性檢查程序，發(fā)現(xiàn)程序可能存在的異常。源代碼測試包含但不限于以下內(nèi)容：a)并不存在語句標(biāo)號：測試是否存在轉(zhuǎn)向并不存在的語句標(biāo)號；b)沒有使用的語句標(biāo)號：測試是否存在沒有使用的語句標(biāo)號；c)沒有使用的子程序定義：測試是否存在沒有使用的子程序定義；d)不存在子程序：測試是否調(diào)用并不存在的子程序；e)無法到達(dá)語句；測試是否存在從程序入口進(jìn)入后無法達(dá)到的語句；f)不能達(dá)到停止語句的語句：測試是否存在不能達(dá)到停止語句的語句；g)特殊觸發(fā)彈窗：測試是否存在特殊的觸發(fā)條件并出現(xiàn)彈窗。檢查軟件版本登記、升級、變更等記錄情況，其他測試包含但不限于以下內(nèi)容：a)登記表：檢查軟件是否有版本登記表、變更和升級記錄表(如已變更或升級)等；b)登記表與軟件一致性：檢查版本登記表、升級(變更)內(nèi)部審批表、升級(變更)記錄表等，幾者是否一致，是否與實(shí)際運(yùn)行軟件符合；c)關(guān)鍵人員簽字：檢查升級(變更)審批是否缺少授權(quán)簽字人及技術(shù)負(fù)責(zé)人簽字。軟件規(guī)范性測試典型缺陷列表見附錄A。版本登記記錄表見附錄B。5測試方法5.1通則采用基于規(guī)格說明的測試方法和基于經(jīng)驗(yàn)的測試方法對功能性測試內(nèi)容及非功能性測試內(nèi)容中的規(guī)范性、數(shù)據(jù)安全性進(jìn)行測試，將實(shí)測結(jié)果與預(yù)期結(jié)果相比較，判斷軟件是否存在功能性、規(guī)范性及數(shù)據(jù)安全性缺陷；采用基于結(jié)構(gòu)的測試方法對源代碼規(guī)范性進(jìn)行檢查，發(fā)現(xiàn)程序存在的異常情況?；谝?guī)格說明的測試方法按照GB/T38634.4—2020中5.2描述的測試技術(shù)進(jìn)行?；谝?guī)格說明法中的一種或多種方法。基于結(jié)構(gòu)的測試方法按照GB/T38634.4—2020中5.3描述的測試技術(shù)進(jìn)行。基于結(jié)構(gòu)的測試方法主要包括語句測試、分支測試、判定測試、分支條件測試、分支條件組合測試、修正條件判定覆蓋測試、數(shù)據(jù)流測試。應(yīng)依據(jù)被測源代碼語句類別、測試目的，選擇使用語句測試、分支測試、判定測試、分支條件測試、分支條件組合測試、修正條件判定覆蓋測試、數(shù)據(jù)流測試等測試方法?；诮?jīng)驗(yàn)的測試方法按照GB/T38634.4—2020中5.4描述的測試技術(shù)進(jìn)行。實(shí)際測試過程中，應(yīng)6將基于經(jīng)驗(yàn)的測試方法與基于規(guī)格說明的測試方法相結(jié)合使用。5.2基于規(guī)格說明的測試方法等價類劃分使用測試項(xiàng)模型將測試項(xiàng)輸入和輸出劃分為等價類(也稱為“分區(qū)”),其中每個等價類都應(yīng)作為一個測試條件。這些等價類應(yīng)從測試依據(jù)導(dǎo)出，對于每個分區(qū)中的所有值，都可被測試項(xiàng)類似地處理(即等價類中的值是“等同的”)。有效的輸入輸出以及無效的輸入輸出均可導(dǎo)出等價類劃分。每個等價類應(yīng)是一個測試覆蓋項(xiàng)(即在等價類劃分中，測試條件和測試覆蓋項(xiàng)是同樣的等價類)。導(dǎo)出的測試用例應(yīng)實(shí)現(xiàn)每個測試覆蓋項(xiàng)(即等價類)。導(dǎo)出測試用例的步驟如下。a)確定選擇測試用例所實(shí)現(xiàn)測試覆蓋項(xiàng)的組合方法，下面是兩種常見的方法：1)一對一，導(dǎo)出的每個測試用例用于覆蓋一個特定的等價類；2)最小化，其中等價類由測試用例覆蓋，使得導(dǎo)出的最小測試用例數(shù)至少覆蓋所有等價類一次。b)采用步驟a)中的方法選擇包含在當(dāng)前測試用例中的測試覆蓋項(xiàng)。c)確定為執(zhí)行測試用例所涵蓋的測試覆蓋項(xiàng)的輸入值，以及測試用例所需的任何其他輸入變量的任意有效值。d)將輸入應(yīng)用于測試依據(jù)來確定測試用例的預(yù)期結(jié)果。e)重復(fù)步驟b)～d)直到達(dá)到要求的測試覆蓋率。分類樹方法使用測試項(xiàng)模型將測試項(xiàng)的輸入進(jìn)行劃分，并且用分類樹的方式進(jìn)行圖形化表示。測試項(xiàng)的輸入被分為若干個“分類”,每個劃分由若干個獨(dú)立(不重疊)的“類”和子類組成，同時分類集是完整的(被建模測試項(xiàng)的所有輸入域都被識別并包括在所有分類內(nèi))。每個分類應(yīng)是一個測試條件。根據(jù)的劃分和類可能同時包括有效和無效的輸入數(shù)據(jù)。將分類、類和子類之間的層次關(guān)系塑造成一棵樹，測試項(xiàng)的輸入域作為樹的根節(jié)點(diǎn)，分類作為分支節(jié)點(diǎn)，類或者子類作為葉節(jié)點(diǎn)。測試覆蓋項(xiàng)應(yīng)采用所選的組合方法由組合分類來導(dǎo)出，導(dǎo)出的測試用例應(yīng)實(shí)現(xiàn)每個測試覆蓋項(xiàng)。導(dǎo)出測試用例的步驟如下：a)導(dǎo)出測試覆蓋項(xiàng)，為當(dāng)前測試用例選擇一個組合，要求該組合沒有被測試用例覆蓋；b)確定每個類別中尚未賦值的輸入值；c)通過將輸入應(yīng)用到測試依據(jù)中來確定測試用例的預(yù)期結(jié)果；d)重復(fù)步驟a)～c),直到達(dá)到要求的測試覆蓋率水平。邊界值分析通過對測試項(xiàng)模型邊界值的分析，將測試項(xiàng)的輸入和輸出劃分為具有可識別邊界的多個有序集和子集(分區(qū)和子分區(qū)),其中每個邊界是測試條件。邊界應(yīng)來自測試依據(jù)。導(dǎo)出的測試用例應(yīng)實(shí)現(xiàn)每個測試覆蓋項(xiàng)。下面是導(dǎo)出測試用例的步驟。a)確定選擇測試用例所實(shí)現(xiàn)測試覆蓋項(xiàng)的組合方法，有兩種常見的方法：1)一對一，每個測試用例實(shí)現(xiàn)一個指定的邊界值；2)最小化，導(dǎo)出最小數(shù)量的測試用例以覆蓋所有邊界值至少一次。b)采用步驟a)中的方法選擇當(dāng)前測試用例包含的測試覆蓋項(xiàng)。c)步驟b)中測試用例沒有選擇的其他輸入變量取任意有效值。d)通過將輸入應(yīng)用到測試依據(jù)中來確定測試用例的預(yù)期結(jié)果。e)重復(fù)步驟b)～d),直到達(dá)到要求的測試覆蓋率水平。7因果圖法使用以因果圖形式表示測試項(xiàng)原因(例如輸入)和結(jié)果(例如輸出)之間的邏輯關(guān)系?！總€結(jié)果定義為測試項(xiàng)的預(yù)期結(jié)果條件或輸出條件組合，表示為布爾值。測試條件應(yīng)為原因和結(jié)果。因果圖將原因和結(jié)果之間的邏輯關(guān)系建模為布爾運(yùn)算符加權(quán)的布爾邏輯網(wǎng)絡(luò)，并根據(jù)原因之間的關(guān)系和結(jié)果之間的關(guān)系進(jìn)行語義和約束建模。在因果圖中，每個判定規(guī)則定義了測試項(xiàng)的原因和結(jié)果之間唯一的組合關(guān)系，其可作為一個測試覆蓋項(xiàng)。導(dǎo)出的測試用例應(yīng)實(shí)現(xiàn)對應(yīng)的測試覆蓋項(xiàng)?？筛鶕?jù)因果圖產(chǎn)生相應(yīng)的判定表，并用于導(dǎo)出測試用例。導(dǎo)出測試用例的步驟如下：a)選擇當(dāng)前測試用例需實(shí)現(xiàn)的測試覆蓋項(xiàng)；b)確定輸入值以執(zhí)行測試用例所實(shí)現(xiàn)的測試覆蓋項(xiàng)，以及執(zhí)行測試用例所需的任意其他輸入變量的任意有效值；c)通過將輸入應(yīng)用于因果圖和/或判定表來確定測試用例的預(yù)期結(jié)果；d)重復(fù)步驟a)～c)直到達(dá)到要求的測試覆蓋率水平。5.2.5狀態(tài)轉(zhuǎn)移測試狀態(tài)轉(zhuǎn)移測試使用測試項(xiàng)的狀態(tài)模型，模型包含測試項(xiàng)可能的狀態(tài)、狀態(tài)間的轉(zhuǎn)移，導(dǎo)致轉(zhuǎn)移的實(shí)際和轉(zhuǎn)移可能導(dǎo)致的動作。模型的狀態(tài)應(yīng)是離散的、可識別的和數(shù)量有限的。單個轉(zhuǎn)移可由事件保護(hù)進(jìn)行約束，事件保護(hù)定義了一組條件，當(dāng)事件發(fā)生時，該組條件應(yīng)為真，從而發(fā)生轉(zhuǎn)移。在狀態(tài)轉(zhuǎn)移測試中，測試條件可是狀態(tài)模型的所有狀態(tài)、狀態(tài)模型的所有轉(zhuǎn)移或整個狀態(tài)模型，這取決于測試的覆蓋要求。模型可表示為狀態(tài)轉(zhuǎn)移圖或狀態(tài)表(也可使用其他表示方式)。在狀態(tài)轉(zhuǎn)移測試中，測試覆蓋項(xiàng)可依據(jù)所選的測試完成準(zhǔn)則和測試設(shè)計方法而變化。狀態(tài)轉(zhuǎn)移測試導(dǎo)出的測試用例應(yīng)實(shí)現(xiàn)測試覆蓋項(xiàng)。導(dǎo)出測試用例的步驟如下：a)選擇當(dāng)前測試用例要包含的測試覆蓋項(xiàng)；b)確定覆蓋測試覆蓋項(xiàng)的測試用例輸入值；c)通過將輸入應(yīng)用到測試依據(jù)中，來確定測試用例的預(yù)期結(jié)果(預(yù)期結(jié)果可使用輸出和狀態(tài)模型中描述的訪問狀態(tài)來定義);d)重復(fù)步驟a)～c)直到達(dá)到要求的測試覆蓋率水平。場景測試使用測試項(xiàng)與其他系統(tǒng)之間的交互序列模型(在此周境中，用戶通常被認(rèn)為是其他系統(tǒng)),以測試所涉及的測試項(xiàng)使用流程。測試條件應(yīng)是一個交互序列(即一個場景)或所有交互序列(即所有場景)。場景測試應(yīng)包括以下場景：“主”場景是測試項(xiàng)的預(yù)期典型動作序列，或無典型動作序列時所采取的一個任意選擇；“備選”場景表示測試項(xiàng)可選擇的(非主)場景。測試覆蓋項(xiàng)應(yīng)是主場景和備選場景(即測試覆蓋項(xiàng)與測試條件相同)。場景測試導(dǎo)出的測試用例中，一個測試用例至少覆蓋一個場景(測試覆蓋項(xiàng))。導(dǎo)出測試用例的步驟如下：a)選擇當(dāng)前測試用例實(shí)現(xiàn)的測試覆蓋項(xiàng)；b)確定測試用例覆蓋的測試覆蓋項(xiàng)的輸入值；c)通過將輸入應(yīng)用到測試依據(jù)中，來確定測試用例的預(yù)期結(jié)果；d)重復(fù)步驟a)～c),直到達(dá)到要求的測試覆蓋率水平。8隨機(jī)測試使用測試項(xiàng)的輸入域模型來定義所有可能輸入值的集合。應(yīng)選擇用于生成隨機(jī)輸入值的輸入分布。整個輸入域應(yīng)是隨機(jī)測試的測試條件。隨機(jī)測試沒有已知的測試覆蓋項(xiàng)，隨機(jī)測試的測試用例應(yīng)根據(jù)所選輸入分布從測試項(xiàng)的輸入域(或如果使用工具生成偽隨機(jī))中隨機(jī)選擇輸入值而來。導(dǎo)出測試用例的步驟如下：a)為測試輸入選擇一種輸入分布；b)根據(jù)步驟a)中的輸入分布，生成測試輸入的隨機(jī)值；c)通過將輸入應(yīng)用到測試依據(jù)中，來確定測試用例的預(yù)期結(jié)果；d)重復(fù)步驟b)～c)直到完成要求的測試。5.3基于結(jié)構(gòu)的測試方法語句測試應(yīng)導(dǎo)出測試項(xiàng)的源代碼模型，并將語句標(biāo)識為可執(zhí)行或不可執(zhí)行。每個執(zhí)行語句應(yīng)為一個測試條件。導(dǎo)出測試用例的步驟如下：a)識別能到達(dá)一個或多個尚未被執(zhí)行到測試覆蓋項(xiàng)的控制流子路徑；b)確定實(shí)現(xiàn)所識別的控制流子路徑的測試輸入；c)通過將相應(yīng)的測試輸入應(yīng)用到測試依據(jù)，來確定執(zhí)行控制流子路徑的預(yù)期結(jié)果；d)重復(fù)步驟a)～c)直到達(dá)到要求的測試覆蓋率水平。分支測試應(yīng)導(dǎo)出識別控制流分支的測試項(xiàng)控制流模型。控制流模型的每個分支是一個測試條——從控制流的任一節(jié)點(diǎn)到另一節(jié)點(diǎn)的條件轉(zhuǎn)移；——從控制流任一節(jié)點(diǎn)到另一節(jié)點(diǎn)控制的明確無條件轉(zhuǎn)移；——當(dāng)一個測試項(xiàng)有不止一個入口點(diǎn)時，到測試項(xiàng)一個入口點(diǎn)的控制轉(zhuǎn)移?？刂屏髂Ｐ椭械拿總€分支都是一個測試覆蓋項(xiàng)(即測試覆蓋項(xiàng)和測試條件一樣)。導(dǎo)出測試用例的步驟如下：a)識別能到達(dá)一個或多個尚未被執(zhí)行到測試覆蓋項(xiàng)的控制流子路徑；b)確定實(shí)現(xiàn)所識別的控制流子路徑的測試輸入；c)通過將相應(yīng)的測試輸入應(yīng)用到測試依據(jù)中，來確定執(zhí)行控制流子路徑的預(yù)期結(jié)果；d)重復(fù)步驟a)～c)直到達(dá)到要求的測試覆蓋率水平。判定測試應(yīng)導(dǎo)出識別判定的測試項(xiàng)控制流模型。判定是測試項(xiàng)中可產(chǎn)生控制流模型兩個或多個結(jié)果(因此出現(xiàn)子路徑)的點(diǎn)。典型的判定用于簡單的選擇(例如，源代碼中的if-then-else),決定何時退出循環(huán)(例如，源代碼中的while循環(huán)),以及case(switch)語句(例如，源代碼中的case-1-2-3-…-N)。在判定測試中，控制流模型中的每個判定都應(yīng)是測試條件。每個判定得到的判定結(jié)果應(yīng)作為測試覆蓋項(xiàng)。導(dǎo)出測試用例的步驟如下：a)識別能到達(dá)一個或多個尚未被執(zhí)行到測試覆蓋項(xiàng)的控制流子路徑；b)確定實(shí)現(xiàn)所識別的控制流子路徑的測試輸入；c)通過將相應(yīng)的測試輸入應(yīng)用到測試依據(jù)中，來確定執(zhí)行控制流子路徑的預(yù)期結(jié)果；d)重復(fù)步驟a)～c)直到達(dá)到要求的測試覆蓋率水平。5.3.4分支條件測試分支條件測試應(yīng)導(dǎo)出識別判定和判定中條件的測試項(xiàng)控制流模型。判定是測試項(xiàng)中可產(chǎn)生控制流9模型兩個或多個結(jié)果(因此出現(xiàn)子路徑)的點(diǎn)。在分支條件測試中，判定中所有條件的賦值(取值)都是測試覆蓋項(xiàng)。每個判定的判定結(jié)果也作為測試覆蓋項(xiàng)。導(dǎo)出測試用例的步驟如下：a)識別能到達(dá)一個或多個尚未被執(zhí)行到測試覆蓋項(xiàng)的控制流子路徑；b)確定實(shí)現(xiàn)所識別的控制流子路徑的測試輸入；c)識別步驟b)中的測試輸入的子集，以覆蓋判定中條件的布爾值和判定結(jié)果；d)通過將相應(yīng)的測試輸入應(yīng)用到測試依據(jù)中，來確定執(zhí)行控制流子路徑的預(yù)期結(jié)果；e)重復(fù)步驟a)～d)直到達(dá)到要求的測試覆蓋率水平。5.3.5分支條件組合測試分支條件組合測試應(yīng)導(dǎo)出識別判定和條件的測試項(xiàng)控制流模型。在分支條件組合測試中，每個判定都應(yīng)是一個測試條件。每個判定中條件的布爾值的每個唯一可行組合應(yīng)被識別為測試覆蓋項(xiàng)。包括簡單判定，即由兩個單一布爾量組合形成一個判定結(jié)果。導(dǎo)出測試用例的步驟如下：a)識別能到達(dá)一個或多個尚未被執(zhí)行到測試覆蓋項(xiàng)的控制流子路徑；b)確定實(shí)現(xiàn)所識別的控制流子路徑的測試輸入；c)識別步驟b)中的測試輸入子集，以覆蓋判定中包含條件的布爾值選定組合；d)通過將相應(yīng)的測試輸入應(yīng)用到測試依據(jù)中，來確定執(zhí)行控制流子路徑的預(yù)期結(jié)果；e)重復(fù)步驟a)～d)直到達(dá)到要求的測試覆蓋率水平。5.3.6修正條件判定覆蓋測試修正條件判定覆蓋測試應(yīng)導(dǎo)出標(biāo)識判定和條件的測試項(xiàng)控制流模型。修正條件判定覆蓋(MCDC)測試中，每個判定應(yīng)為測試條件。由單個布爾條件可獨(dú)立影響判定結(jié)果的判定條件，其布爾值的每個唯一可行組合作為測試覆蓋項(xiàng)。通過僅改變一個條件而保持其他可能的條件不變，來表明條件是否獨(dú)立影響一個判定結(jié)果。導(dǎo)出測試用例時應(yīng)遵循以下步驟：a)識別能到達(dá)一個或多個尚未被執(zhí)行到測試覆蓋項(xiàng)的控制流子路徑；b)確定實(shí)現(xiàn)所識別的控制流子路徑被執(zhí)行的測試輸入；c)確定步驟b)中的測試輸入子集，以覆蓋判定中各個布爾值的選定組合，每個組合條件能夠獨(dú)立影響判定結(jié)果，允許單個布爾條件獨(dú)立地影響判定結(jié)果；d)通過將相應(yīng)的測試輸入應(yīng)用于測試依據(jù)來確定預(yù)期結(jié)果；e)重復(fù)步驟a)～d),直到達(dá)到所需的測試覆蓋水平。測試覆蓋項(xiàng)是從每個變量定義到該定義的某種使用(謂詞使用或計算使用)的控制流子路徑。每個子路徑稱為“定義-使用”路徑?！叭x”測試要求所有變量定義都覆蓋從定義到其謂詞使用或者計算使用的至少一個定義到任意類型使用的子路徑(與特定變量有關(guān))。導(dǎo)出測試用例時應(yīng)遵循以下步驟：a)確定尚未被測試覆蓋的定義；b)確定控制流子路徑的測試輸入，該控制流子路徑是從將要執(zhí)行的定義中獲得；c)通過將相應(yīng)的測試輸入應(yīng)用于測試依據(jù)，來確定執(zhí)行控制流子路徑的預(yù)期結(jié)果；d)重復(fù)步驟a)～c),直到達(dá)到所需的測試覆蓋水平。測試覆蓋項(xiàng)是從每個變量定義到該定義的每個計算使用的控制流子路徑。“全計算使用”測試要求所有相關(guān)變量定義都覆蓋從定義到其每個計算使用的至少一個自由定義子路徑(與特定變量有關(guān))。導(dǎo)出測試用例時應(yīng)遵循以下步驟：a)確定從變量定義到該定義計算使用的控制流子路徑(不包括中間定義),該路徑尚未被測試覆蓋；b)確定將要執(zhí)行的控制流子路徑的測試輸入；c)通過將相應(yīng)的輸入應(yīng)用于測試依據(jù)中，來確定執(zhí)行控制流子路徑的預(yù)期結(jié)果；d)重復(fù)步驟a)～c),直到達(dá)到所需的測試覆蓋水平。測試覆蓋項(xiàng)是從每個變量定義到該定義的每個謂詞使用的控制流子路徑?！叭^詞使用”測試要求所有相關(guān)變量定義都覆蓋從定義到其每個謂詞使用的至少一個自由定義子路徑(與特定變量有關(guān))。導(dǎo)出測試用例時應(yīng)遵循以下步驟：a)確定從變量定義到其謂詞使用的控制流子路徑(不包括中間定義),該路徑尚未被測試覆蓋；b)確定將要執(zhí)行的控制流子路徑的測試輸入；c)通過將相應(yīng)的測試輸入應(yīng)用于測試依據(jù)中，來確定執(zhí)行控制流子路徑的預(yù)期結(jié)果；d)重復(fù)步驟a)～c),直到達(dá)到所需的測試覆蓋水平。測試覆蓋項(xiàng)是從變量定義到該定義每次使用(包括計算使用和謂詞使用)的控制流子路徑。“全使用”測試要求包括從每個變量定義到它的每個使用的所有子路徑(不包括變量的中間定義)。導(dǎo)出測試用例時應(yīng)遵循以下步驟：a)確定從變量定義到謂詞使用或計算使用的控制流子路徑，該路徑尚未被測試覆蓋；b)確定將要執(zhí)行的控制流子路徑的測試輸入；c)通過將相應(yīng)的測試輸入應(yīng)用于測試依據(jù)中，來確定執(zhí)行控制流子路徑的預(yù)期結(jié)果；d)重復(fù)步驟a)～c),直到達(dá)到所需的測試覆蓋層次。測試覆蓋項(xiàng)是從每個變量定義到該定義的每次使用(包括計算使用和謂詞使用)的控制流子路徑。“全定義-使用路徑”測試要求包括從每個變量定義到它的每個使用的所有子路徑(不包括變量的中間定義)。導(dǎo)出測試用例時應(yīng)遵循以下步驟：a)確定從變量定義到謂詞使用或計算使用的控制流子路徑，該路徑尚未被測試覆蓋；b)確定將要執(zhí)行的控制流子路徑的測試輸入；c)通過將測試輸入應(yīng)用于測試依據(jù)中，來確定執(zhí)行控制流子路徑的預(yù)期結(jié)果；d)重復(fù)步驟a)～c),直到達(dá)到所需的測試覆蓋水平。5.4基于經(jīng)驗(yàn)的測試方法基于經(jīng)驗(yàn)的測試方法，又稱為錯誤猜測法。錯誤猜測法涉及設(shè)計測試項(xiàng)中可能存在缺陷類型的檢查清單，如果這些缺陷存在于測試項(xiàng)中，允許測試人員識別可能導(dǎo)致失敗的測試項(xiàng)輸入。每種缺陷類型都應(yīng)作為測試條件。錯誤猜測法沒有公認(rèn)的測試覆蓋項(xiàng)。用于錯誤猜測法的測試用例通常通過從要覆蓋的缺陷類型檢查清單中選擇缺陷類型，并導(dǎo)出可在測試項(xiàng)中檢測缺陷類型(如果存在的話)的測試用例，導(dǎo)出測試用例a)選擇當(dāng)前測試用例覆蓋的缺陷類型；b)確定可能導(dǎo)致與所選缺陷類型相對應(yīng)故障的輸入值；c)通過將輸入應(yīng)用于測試依據(jù)來確定測試用例的預(yù)期結(jié)果；d)重復(fù)步驟a)～c),直到完成所需的測試。6測試文檔集6.1通則測試文檔集的要求按照GB/T25000.51—2016的規(guī)定進(jìn)行。測試文檔集主要包括測試計劃、測試6.2測試計劃測試計劃描述所要完成的測試，包括測試背景、測試目的、測試內(nèi)容、所需資源、任務(wù)安排和進(jìn)度等，測試計劃至少應(yīng)包括下列內(nèi)容：a)對每個范圍制定測試的內(nèi)容、策略和方法；b)測試所使用的標(biāo)準(zhǔn)；c)準(zhǔn)備軟件測試所需要的環(huán)境；d)確定軟件測試目標(biāo)；e)確定測試所需要的資源及其他相關(guān)信息；f)制定測試進(jìn)度和任務(wù)安排。6.3測試用例在測試之前，應(yīng)以產(chǎn)品描述和用戶文檔為基礎(chǔ)構(gòu)造測試用例。測試用例至少應(yīng)包括下列內(nèi)容：a)測試目標(biāo)；b)被測功能；c)測試數(shù)據(jù)；d)測試過程；e)系統(tǒng)的預(yù)期行為。6.4測試記錄根據(jù)測試用例執(zhí)行測試，做好測試記錄。每個測試記錄都應(yīng)包含詳細(xì)的信息，以方便進(jìn)行重復(fù)測試。測試記錄至少應(yīng)包括下列內(nèi)容：a)測試用例與測試計劃或測試需求的追蹤關(guān)系；b)與測試用例相關(guān)的所有結(jié)果，包括在測試期間出現(xiàn)的所有失敗；c)測試中涉及的人員身份及測試時間。6.5測試報告測試的對象和結(jié)果應(yīng)在測試報告中匯總。測試報告至少應(yīng)包括下列內(nèi)容：a)產(chǎn)品標(biāo)識；b)用于測試的計算機(jī)系統(tǒng)(硬件、軟件以及它們的配置);c)測試所使用的標(biāo)準(zhǔn)；d)產(chǎn)品描述、用戶文檔、程序和數(shù)據(jù)的測試結(jié)果；e)要求的清單；f)針對與要求不符的清單，給出未作符合性測試的說明；g)測試問題報告；h)測試結(jié)束日期。機(jī)動車檢測系統(tǒng)軟件功能性測試報告格式見附錄C中表C.1。機(jī)動車檢測系統(tǒng)軟件非功能性測試報告格式見表C.2。(資料性)軟件規(guī)范性測試典型缺陷列表規(guī)范性測試典型缺陷列表見表A.1。表A.1規(guī)范性測試典型缺陷列表序號缺陷描述1實(shí)際運(yùn)行軟件與專網(wǎng)服務(wù)平臺登記軟件版本不一致2業(yè)務(wù)數(shù)據(jù)不正確，實(shí)時數(shù)據(jù)和歷史數(shù)據(jù)有誤3軟件不具有對未授權(quán)用戶非法訪問、模擬非法入侵攻擊事件、對非授權(quán)人創(chuàng)建、刪除或修改信息的控制及處理能力4軟件不具有在請求的情況下為數(shù)據(jù)原發(fā)者提供數(shù)據(jù)原發(fā)證據(jù)數(shù)據(jù)，為數(shù)據(jù)接收者提供數(shù)據(jù)接收證據(jù)的功能5軟件存在實(shí)體的活動無法被唯一地追溯到該實(shí)體的情況6工位機(jī)、數(shù)據(jù)庫管理模塊、業(yè)務(wù)管理模塊、監(jiān)控模塊、系統(tǒng)日志時間不一致7軟件不具有對使用者身份標(biāo)識記錄、證實(shí)符合的功能8軟件具有在特殊條件觸發(fā)后，彈出彈窗功能、干預(yù)檢測數(shù)據(jù)功能、有明顯刪除數(shù)據(jù)痕跡、攔截自動檢測數(shù)據(jù)或延時自動檢測數(shù)據(jù)上傳9軟件存在數(shù)據(jù)傳輸與處理過程中未使用校驗(yàn)、數(shù)據(jù)加密及不同網(wǎng)絡(luò)間傳輸保證數(shù)據(jù)安全的措施軟件存在利用程序插件修改檢測數(shù)據(jù)的功能以及其他不應(yīng)存在的修改問題源代碼程序及數(shù)據(jù)異常，存在不存在或沒有使用的語句標(biāo)號、子程序及無法到達(dá)的語句等軟件的功能未遵循所實(shí)施相關(guān)法規(guī)、標(biāo)準(zhǔn)和規(guī)定無版本登記表、功能變更審批表和升級記錄表版本登記表、功能升級(變更)審批表、升級(變更)記錄表三者不一致或與實(shí)際運(yùn)行軟件不符合升級(變更)審批缺少授權(quán)簽字人及技術(shù)負(fù)責(zé)人簽字(資料性)版本登記記錄表版本登記表格式見表B.1。編號：軟件名稱版本變更說明版本號(原)版本號(變更后)監(jiān)控修改說明配置修改說明其他修改說明登記人：監(jiān)督員：配置管理員：數(shù)據(jù)庫信息數(shù)據(jù)庫名稱及版本表結(jié)構(gòu)產(chǎn)品資料(產(chǎn)品策略書、word版本、PPT)使用單位部署包(執(zhí)行代碼、部署文檔、初始化SQL、初始化文件、BMS菜單列表、割接方案、運(yùn)行系統(tǒng)配置)提供單位需求文檔(需求規(guī)格說明書、功能列表)使用單位升級包(執(zhí)行代碼、部署文檔、初始化SQL、初始化文件、割接方提供單位設(shè)計文檔(概要設(shè)計、詳細(xì)設(shè)計、數(shù)據(jù)庫設(shè)計)提供單位操作手冊提供單位源代碼提供單位測試報告(質(zhì)量檢測報告)第三方測試機(jī)構(gòu)程序源碼信息記錄列表格式見表B.2。表B.2程序源碼信息記錄列表序號軟件名稱版本號源碼庫名稱源碼存放路徑源碼提交時間作者部署版本號記錄列表格式見表B.3。表B.3部署版本號記錄列表序號軟件名稱版本號部署總包名稱二級子包名稱部署包大小/kB部署日期部署包存放路徑作者升級(變更)內(nèi)部審批表格式見表B.4。表B.4升級(變更)內(nèi)部審批表申請人申請時間編號軟件名稱原軟件版本升級(變更)軟件版本升級(變更)原因□性能改良□BUG修改□客戶需求□功能完善口創(chuàng)新□其他軟件升級(變更)背景描述升級(變更)計劃時間完成內(nèi)容本次升級(變更)內(nèi)容本次升級(變更)可能存在風(fēng)險升級(變更)方案評審意見授權(quán)簽字人技術(shù)負(fù)責(zé)人升級(變更)記錄表格式見表B.5。表B.5升級(變更)記錄表變更(升級)類型文檔、文件名稱版本說明作者(資料性)測試報告機(jī)動車檢測系統(tǒng)軟件功能性測試報告格式見表C.1。表C.1機(jī)動車檢測系統(tǒng)軟件功能性測試報告(式樣)版本號開發(fā)時間委托單位名稱及地址開發(fā)單位名稱及地址使用單位名稱及地址□現(xiàn)場測試□來樣測試送樣人姓名及聯(lián)系方式測試地點(diǎn)：服務(wù)器環(huán)境：測試機(jī)環(huán)境：測試總項(xiàng)測試子項(xiàng)預(yù)期結(jié)果測試結(jié)果判定結(jié)果用戶管理模塊人員管理具有增加、刪除和編輯系統(tǒng)管理員、信息登錄員、檢驗(yàn)員(外觀檢驗(yàn)員、底盤檢驗(yàn)員、引車員、動態(tài)檢驗(yàn)員)維護(hù)人員等用戶的基本信息的功能密碼管理具有將系統(tǒng)用戶密碼重置、修改的功能；用戶修改后的密碼不以明文的方式呈現(xiàn)權(quán)限分配具有對業(yè)務(wù)系統(tǒng)進(jìn)行用戶權(quán)限管理的功能，(增加、刪除用戶權(quán)限或分組)參數(shù)管理模塊檢驗(yàn)機(jī)構(gòu)信息具有增加、刪除和編輯功能。檢驗(yàn)檢測機(jī)構(gòu)信息存儲數(shù)據(jù)格式符合GB/T26765、GB3847、GB18285等標(biāo)準(zhǔn)要求。同時，能夠通過上級主管部門(安檢和環(huán)檢)提供的數(shù)據(jù)交換接口，將檢驗(yàn)檢測機(jī)構(gòu)信息上傳到行政管理部門儀器設(shè)備信息管理具有增加、刪除和編輯檢驗(yàn)檢測儀器設(shè)備信息的功能。檢驗(yàn)儀器設(shè)備信息存儲數(shù)據(jù)格式符合GB/T26765、GB3847、GB18285等標(biāo)準(zhǔn)要求。同時，能夠通過上級主管部門(安檢和環(huán)檢)提供的數(shù)據(jù)交換接口，將檢驗(yàn)檢測機(jī)構(gòu)信息上傳到行政管理部門檢驗(yàn)標(biāo)準(zhǔn)信息參數(shù)設(shè)置具有檢驗(yàn)檢測合格判定標(biāo)準(zhǔn)參數(shù)、運(yùn)行標(biāo)準(zhǔn)等參數(shù)增加、刪除和編輯功能下次檢定/校準(zhǔn)日期參數(shù)設(shè)置具有下次檢定/校準(zhǔn)日期參數(shù)增加、刪除和編輯功能表C.1機(jī)動車檢測系統(tǒng)軟件功能性測試報告(式樣)(續(xù))測試總項(xiàng)測試子項(xiàng)預(yù)期結(jié)果測試結(jié)果判定結(jié)果信息登錄模塊信息錄入管理機(jī)動車技術(shù)參數(shù)、檢驗(yàn)檢測類別、檢驗(yàn)檢測項(xiàng)目和檢驗(yàn)檢測人員等信息錄入功能，能夠隨機(jī)分配引車員、外檢員等檢驗(yàn)檢測人員強(qiáng)制保險單信息錄入具有機(jī)動車交通事故責(zé)任強(qiáng)制保險單信息錄入功能調(diào)取車輛信息能夠從本地數(shù)據(jù)庫或主管部門數(shù)據(jù)獲取車輛信息違章/盜搶信息核查能夠聯(lián)機(jī)核查受檢車輛違章信息、盜搶信息調(diào)度控制模塊自動調(diào)度檢測能根據(jù)檢驗(yàn)儀器設(shè)備的檢驗(yàn)?zāi)芰σ训卿涇囕v、檢驗(yàn)人員以及智能終端和檢測工位控制系統(tǒng)進(jìn)行調(diào)度，完成車輛應(yīng)檢項(xiàng)目的檢驗(yàn)檢測不合格項(xiàng)目自動生成復(fù)檢車輛未檢驗(yàn)合格的項(xiàng)目，系統(tǒng)能將不合格項(xiàng)目自動生成復(fù)檢查詢模塊日志查詢能查詢系統(tǒng)用戶、參數(shù)、日志、檢驗(yàn)過程等信息的查詢功能多組合條件查詢顯示能按照多種組合條件查詢或模糊查詢指定受檢車輛相關(guān)檢驗(yàn)信息并顯示檢測結(jié)果查詢能實(shí)時查詢在檢車輛的所有檢測信息及數(shù)據(jù)，判定結(jié)果，檢驗(yàn)檢測報告信息以及檢驗(yàn)檢測標(biāo)準(zhǔn)檢驗(yàn)人員查詢功能能實(shí)時查詢檢驗(yàn)人員的基本信息統(tǒng)計模塊車輛類型分類合格率能根據(jù)時間段按照車輛類型進(jìn)行合格率統(tǒng)計檢驗(yàn)類別合格率能根據(jù)時間段按照檢驗(yàn)類別進(jìn)行合格率統(tǒng)計區(qū)縣分類合格率能根據(jù)時間段按照行政區(qū)劃進(jìn)行合格率統(tǒng)計檢驗(yàn)項(xiàng)目分類合格率能根據(jù)時間段按照檢驗(yàn)項(xiàng)目進(jìn)行合格率統(tǒng)計客車和危貨車輛檢驗(yàn)情況能根據(jù)時間段對五種客車和危貨車輛類型進(jìn)行合格率統(tǒng)計檢測線檢測車輛數(shù)分布能根據(jù)時間段對不同線號檢測車輛合格率分布進(jìn)行統(tǒng)計日志管理模塊日志記錄功能每條日志包括用戶名稱、登錄位置、登錄時間、操作時間、操作內(nèi)容、操作結(jié)果、操作類型和操作條件等內(nèi)容日志條件查詢功能具有按條件查詢查閱的功能無編輯/刪除功能如果具備此功能，記錄缺陷關(guān)鍵信息加密存儲文件中的密鑰以密文方式存儲，如采用明文存儲，記錄缺陷日志完整性日志記錄完整，對參數(shù)更改、設(shè)備校準(zhǔn)等影響檢測結(jié)果的操作記錄完整日志日志保存期限日志記錄的保存期限應(yīng)不少于6年表C.1機(jī)動車檢測系統(tǒng)軟件功能性測試報測試總項(xiàng)測試子項(xiàng)預(yù)期結(jié)果測試結(jié)果判定結(jié)果檢驗(yàn)結(jié)果處理檢驗(yàn)結(jié)果自動判定及報告打印檢驗(yàn)結(jié)果能按照GB38900、GB3847、GB18285等標(biāo)準(zhǔn)要求自動判定檢驗(yàn)結(jié)果；輸出符合標(biāo)準(zhǔn)要求規(guī)范的格式打印檢驗(yàn)報告檢驗(yàn)結(jié)果數(shù)值修約檢驗(yàn)報告信息齊全，根據(jù)相關(guān)標(biāo)準(zhǔn)對檢測數(shù)據(jù)數(shù)值修約，計量單位采用國際SI單位檢驗(yàn)控制系統(tǒng)數(shù)值變換顯示根據(jù)國家相關(guān)標(biāo)準(zhǔn)對采樣數(shù)據(jù)進(jìn)行量值變換，以規(guī)定的計量單位處理顯示數(shù)據(jù)系統(tǒng)終止、中止、鎖止、停止、鎖定能自動識別GB3847、GB18285中規(guī)定的終止、中止、鎖止、停止、鎖定情形，并作出相應(yīng)的動作數(shù)值修約根據(jù)GB/T8170及其他相關(guān)標(biāo)準(zhǔn)對檢測數(shù)據(jù)進(jìn)行修約結(jié)果判定根據(jù)GB7258、GB3847、GB18285以及其他相關(guān)檢驗(yàn)檢測標(biāo)準(zhǔn)對檢測數(shù)據(jù)進(jìn)行結(jié)果判定數(shù)據(jù)存儲檢驗(yàn)數(shù)據(jù)實(shí)時記錄每個項(xiàng)目檢驗(yàn)完成后，是否將受檢車輛的檢驗(yàn)數(shù)據(jù)(含檢測對象有效狀態(tài)的全過程數(shù)據(jù)、起止時間信息、計算結(jié)果等)和判定結(jié)果自動保存并記錄到服務(wù)器數(shù)據(jù)庫中，并提供查詢檢驗(yàn)數(shù)據(jù)自動存儲及查詢對于所存儲數(shù)據(jù)是否存在改變關(guān)鍵數(shù)據(jù)結(jié)果的操作設(shè)備標(biāo)定/校準(zhǔn)設(shè)備標(biāo)定/校準(zhǔn)結(jié)果顯示聯(lián)網(wǎng)檢測系統(tǒng)具備檢定/校準(zhǔn)功能，檢定/校準(zhǔn)程序主要提供各受控檢測設(shè)備測量值的檢定/校準(zhǔn)界面；檢定/校準(zhǔn)界面能顯示受控設(shè)備各模擬輸入通道的零點(diǎn)輸出、AD值和標(biāo)定值；當(dāng)通信協(xié)議支持時，系統(tǒng)檢定/校準(zhǔn)界面能實(shí)時顯示數(shù)字通信傳輸?shù)牧康氖局翟O(shè)備標(biāo)定/校準(zhǔn)顯示一致性檢定/校準(zhǔn)狀態(tài)與實(shí)際狀態(tài)保持一致，確保檢測數(shù)據(jù)的真實(shí)可靠設(shè)備標(biāo)定/校準(zhǔn)質(zhì)量系統(tǒng)或受控設(shè)備的檢定/校準(zhǔn)按照相關(guān)標(biāo)準(zhǔn)執(zhí)行無純軟件標(biāo)定功能給機(jī)動車檢驗(yàn)機(jī)構(gòu)提供不受監(jiān)管的自行采用純軟件方式進(jìn)行檢定/校準(zhǔn)的功能檢驗(yàn)過程監(jiān)控視頻采集功能(適用時)能夠通過視頻監(jiān)控設(shè)備實(shí)時采集機(jī)動車的儀器設(shè)備檢驗(yàn)過程視頻、人工檢驗(yàn)過程的視頻。視頻清晰度能滿足人工遠(yuǎn)程審核現(xiàn)場作業(yè)過程的要求圖片采集功能(適用時)具有對重要工位拍照的功能電子檔案標(biāo)準(zhǔn)化圖片采用JPEG編碼，以JFIF或JPEG文件格式存貯，壓縮因子低于70。具有燈光檢驗(yàn)和制動檢驗(yàn)圖片、人工檢驗(yàn)和檢驗(yàn)部位拍攝的工作場景圖片采集與上傳功能。圖片清晰度滿足人工對機(jī)動車類型、顏色和號牌號碼等進(jìn)行認(rèn)定的要求檢驗(yàn)數(shù)據(jù)采集上傳具備數(shù)據(jù)上傳接口具有通過行政管理部門提供的數(shù)據(jù)上傳