驗證(Verification)是信息術語,編譯過程的一部分,在該過程中,對代碼進行檢查,看是否與定義的特定規則集相一致,以允許檢驗某些安全要求。
相關詞條
- 驗證(詞語)
驗證,讀音yàn zhèng,漢語詞語,經過檢驗得到證實。出自王充《論衡·奇怪》。...... 驗證,讀音yàn zhèng,漢語詞語,經過檢驗得到證實。出自王充《論衡·奇怪》。...
- 產品驗證
產品驗證就是對產品實現過程形成的有形產品和無形產品,通過物理的、化學的和其他科學技術手段和方法進行觀察、試驗、測量後所提供的客觀證據,證實規定要求已經得到滿足...
- 通過驗證
《通過驗證》是歌手艾福傑尼演唱的一首歌曲,收錄於專輯《通過驗證》中。...... 《通過驗證》是歌手艾福傑尼演唱的一首歌曲,收錄於專輯《通過驗證》中。 [1] ...
- 形式驗證
所謂形式驗證,是指從數學上完備地證明或驗證電路的實現方案是否確實實現了電路設計所描述的功能。形式驗證方法分為等價性驗證、模型檢驗和定理證明等。...
- 交叉驗證
交叉驗證(Cross-validation)主要用於建模套用中,例如PCR 、PLS 回歸建模中。在給定的建模樣本中,拿出大部分樣本進行建模型,留小部分樣本用剛建立的模型進行預報,並...
- 驗證機
驗證機,最新技術,為驗證各單項技術的相容性、綜合技術方案的可行性,就離不開技術驗證機。只有經技術驗證機驗證過的技術,才能安全地套用於其他飛機上,這樣做不僅...
- 表單驗證
表單驗證是javascript中的高級選項之一。JavaScript 可用來在數據被送往伺服器前對 HTML 表單中的這些輸入數據進行驗證。...
- 多因素驗證
多重要素驗證(英語:Multi-factor authentication,縮寫為 MFA),又譯多因子認證、多因素驗證、多因素認證,是一種計算機訪問控制的方法,用戶要通過兩種以上的認證機制...
- 程式驗證
程式設計師從早期程式設計起,就面臨要證明他們的程式達到某種預定目的的任務,這就是程式驗證。早期計算機主要用於數學計算,人們通過對數據的某一子集用人工複雜的簡單過程...
- 身份驗證
身份驗證又稱“驗證”、“鑒權”,是指通過一定的手段,完成對用戶身份的確認。身份驗證的方法有很多,基本上可分為:基於共享密鑰的身份驗證、基於生物學特徵的身份...
- 驗證試驗
驗證實驗是指對研究對象有了一定了解,並形成了一定認識或提出了某種假說,為驗證這種認識或假說是否正確而進行的一種實驗。驗證性實驗強調演示和證明科學內容的活動,...
- 校驗
核對查考;比較驗證。 唐李綽《尚書故實》:“﹝汲冢書﹞竹簡漆書科斗文字,雜寫經史,與今本校驗,多有異同。”唐司空圖《華夷圖》:“煨燼所殘,尚存 賈僕射 ...
- 認證
-examination procedure provided for in Annex IX,plus the internal checks on the manufacture of machinery provided for in Annex VIII,point 3 EC 型式驗證;...
- 校驗和
最終目的端根據偽報頭和數據單元計算校驗和以驗證通信數據在傳輸過程中沒有改變而且到達了正確的目的地址。)檔案校驗和在Windows中,exe校驗和是沒有必要的,因為系統...
- 檢驗(漢語詞語)
檢驗,漢語詞語。意思是檢查並驗證。對檢驗項目中的性能進行量測、檢查、試驗等,並將結果與標準規定要求進行比較,以確定每項性能是否合格所進行的活動。...
- 數據校驗
數據校驗是為保證數據的完整性進行的一種驗證操作。通常用一種指定的算法對原始數據計算出的一個校驗值,接收方用同樣的算法計算一次校驗值,如果兩次計算得到的檢驗...
- CRC校驗
傳送方通過指定的g(x)產生CRC碼字,接收方則通過該g(x)來驗證收到的CRC碼字。CRC校驗生成方法 編輯 藉助於模2除法則,其餘數為校驗欄位。...
- 檢查
檢查的英文名稱為Check, 定義為為驗證航空器其功能是否符合經批准的標準而進行的工作。 所屬學科為航空科技(一級學科) ;航空器維修工程(二級學科)。...
- 正則表達式
正則表達式驗證URL function IsValidUrl(str){ varregu="^(https?://)" +"?(([0-9a-z_!~*'().&=+$%-]+:)?[0-9a-z_!~*'().&=+$%-]+@...
- 3C認證
第十七條 認證機構應當通過現場產品檢測或者檢查、市場產品抽樣檢測或者檢查、質量保證能力檢查等方式,對獲證產品及其生產企業實施分類管理和有效的跟蹤檢查,控制並驗證...
- 統一身份認證
統一身份認證伺服器向應用程式提供統一的Webservice認證服務。它接收應用程式傳遞過來的用戶名和密碼,驗證通過後把用戶的認證令牌返回給應用程式。...
- dvt
DVT(Design Verification Test)設計驗證測試 是硬體生產中不可缺少的一個檢測環節,包括模具測試、電子性能、外觀測試等等。解決樣品在EVT階段的問題後進行,對所有信號...