靜態檢驗（static check）是2018年經全國科學技術名詞審定委員會審定發布的計算機科學技術名詞。
基本介紹
- 中文名：靜態檢驗
- 外文名：static check
- 所屬學科：計算機科學技術
- 發布時間：2018年
定義,出處,
定義
某一部件或程式運行之前或一組數據在使用、傳輸之前進行的正確性檢查。
出處
《計算機科學技術名詞 》 (第三版)
靜態檢驗
相關詞條
- 靜態檢驗
靜態檢驗（static check）是2018年經全國科學技術名詞審定委員會審定發布的計算機科學技術名詞。定義某一部件或程式運行之前或一組數據在使用、傳輸之前進行的正確性檢查。1出處《計算機科學技術名詞 》 (第三版)1...
- 獸藥生產企業潔淨區靜態檢測相關要求
（農辦醫〔2004〕20號）以及《農業部獸醫局關於確定遼寧省藥品檢驗所為獸藥GMP潔淨度檢測單位的函》（農醫藥便函〔2006〕330號）同時廢止；此前相關檔案中與公告內容不一致的，以本公告為準。附屬檔案：獸藥生產企業潔淨區靜態檢測相關要求 農業農村部 2021年1月19日 要求全文 獸藥生產企業潔淨區靜態檢測相關要求 ...
- 靜態檢測技術
靜態檢測技術是指對被測軟體的源程式或者二進制代碼進行掃描，從語法、語義上理解程式的行為，直接分析被檢測程式的特徵，尋找可能導致錯誤的異常。基本含義 具體的掃描過程可以使用採取測，或者手工測試的方法。深層分析 二進制對比技術（Binary Contrast）和詞法分析（Lexical Analysis）是針對軟體代碼進行審查的檢測技術，...
- 道路交通事故非機動車制動性能靜態檢驗鑑定規範
《道路交通事故非機動車制動性能靜態檢驗鑑定規範》是2023年12月01日實施的一項中國行業標準。編制進程 2023年10月07日，《道路交通事故非機動車制動性能靜態檢驗鑑定規範》發布。2023年12月01日，《道路交通事故非機動車制動性能靜態檢驗鑑定規範》實施。起草工作 起草單位：司法鑑定科學研究院、上海市公安局交通警察總隊...
- 基於數據挖掘的安全漏洞靜態檢測方法研究
《基於數據挖掘的安全漏洞靜態檢測方法研究》是依託中國人民大學，由梁彬擔任項目負責人的面上項目。項目摘要 安全漏洞靜態檢測技術是近年來國際上的熱點研究領域，目前存在的主要問題是：漏洞檢測規則主要依賴人工分析提取，效率問題十分突出，且與具體目標系統密切相關，使得檢測規則提取已經成為了漏洞靜態檢測技術發展的瓶頸...
- 靜態測試
1、靜態測試是指無須執行被測代碼，而是藉助專用的軟體測試工具評審軟體文檔或程式，度量程式靜態複雜度，檢查軟體是否符合編程標準，藉以發現編寫的程式的不足之處，減少錯誤出現的機率；2、靜態測試是指測試不運行的部分：只是檢查和審閱,如規範測試、軟體模型測試、文檔測試等。動態測試是通常意義上的測試，也就是...
- 汽車電子調節器靜態測試儀
汽車電子調節器靜態測試儀 汽車電子調節器靜態測試儀主要用於汽車電子調節器的靜態檢測，其體積小，操作方便 概述：，具有很高的準確性和靈活性，採用最新的單片機處理技術和獨特的測量技術；可實時顯示電子調節器的調節電壓、頻率、占空比，無須成本昂貴的示波器配合，即可準確的判斷電子調節器的好壞優劣。主要技術參數：
- 靜態審計
靜態審計 靜態審計，是“動態審計”的對稱。對被審單位的反映一定時期經濟活動結果的靜態資料進行的審計。如對資金平衡表的審計，以檢查一定時期內資金來源與資金占用情況及資金使用效益等。即一般的常規財務審計，其屬於正常審計範疇，如月終、季結、年度會計決算審計。
- 惡意軟體靜態分析與檢測關鍵技術研究
《惡意軟體靜態分析與檢測關鍵技術研究》是依託華東師範大學，由宋富擔任項目負責人的青年科學基金項目。項目摘要 惡意軟體規模越來越大並大量使用了代碼保護機制以及多態和變形技術，嚴重影響國家的安全。傳統基於特徵碼掃描和動態監控的惡意軟體識別技術已無法滿足新時代惡意軟體分析與檢測的需求。基於特徵碼掃描的技術通過...
- 汽車覆蓋件模具設計與製造全過程檢驗圖解
《汽車覆蓋件模具設計與製造全過程檢驗圖解》作者依據國內外的模具設計資料及20多年的現場工作經驗，總結制訂了模具工藝圖、模具設計圖、實型泡沫、模具裝配、模具靜態檢驗和動態檢驗六個方面的檢查驗收標準，並對每一個檢查項目都以圖解的形式列出了最主要及最基本的檢查內容，通俗易懂，實用性、可操作性強，易於學習...
- 靜態驗鈔機
靜態驗鈔機是一種體積等於或稍大於攜帶型雷射驗鈔機的常用驗鈔儀器。其功能一般以磁性檢驗(磁編碼和安全線的磁性檢驗)、螢光檢驗、光普檢驗、雷射檢驗等為主，在工能表達上則多種多樣，這直接跟廠家對驗鈔機技術的了解和其對產品成本的計畫有關。特別是有的廠家為了搶占市場或是以期睥取暴利，因而將產品的功能減之...
- 腎靜態顯像
腎靜態顯像對異位腎、腎畸形、單腎缺如為首選方法。正常值 正常。臨床意義 (1) 了解腎臟位置、大小和形態。 (2) 疑有腎內占位性病變、破壞性病變及缺血性病變。 (3) 進一步了解一側腎功能減退和腎缺如。注意事項 嚴重心肺功能受損者慎用。相關疾病 腎及輸尿管重複畸形，腎融合 相關症狀 夜尿清長，皮膚色素...
- 紙和紙板靜態和動態摩擦係數的測定平面法
《紙和紙板 靜態和動態摩擦係數的測定 平面法(GB/T 22895-2008)》的附錄A為資料性附錄。由中國輕工業聯合會提出。由全國造紙工業標準化技術委員會歸口。由中國製漿造紙研究院、中國造紙協會標準化專業委員會起草。陳曦、崔立國為主要起草人。內容簡介 《紙和紙板 靜態和動態摩擦係數的測定 平面法(GB/T 22895-2008)...
- infer(APP靜態分析工具)
Facebook 的 Infer 是一個靜態分析工具。Infer 可以分析 Objective-C， Java 或者 C 代碼，報告潛在的問題。任何人都可以使用 Infer 檢測套用，這可以將那些嚴重的 bug 扼殺在發布之前，同時防止套用崩潰和性能低下。簡介 Infer 是一個靜態程式分析工具,可以對 Java、C 和 Objective-C 程式進行分析，此工具是用...
- 自底向上的靜態圖像顯著性檢測
《自底向上的靜態圖像顯著性檢測》是依託大連理工大學,由張立和擔任項目負責人的面上項目。項目摘要 圖像顯著性檢測是估計圖像每個位置屬於顯著目標（最吸引視覺注意力的區域）的可能性，並用灰度圖的形式表示出來。由於缺乏高層學習知識，自底向上的顯著性檢測是一個病態問題，可以藉助有關目標與背景的先驗知識將其...
- 靜態彈性模數的測定
項目編號Plan Name in Chinese 20080859-T-609 中文項目名稱Plan Name in Chinese 天然石材試驗方法-靜態彈性模數的測定 英文項目名稱Plan Name in English Natural stone test methods??Determination of static elastic modulus 信息介紹 項目編號Plan Name in Chinese 20080859-T-609 中文項目名稱Plan Name in Chinese...
- 靜態安全分析
靜態安全分析 逐個無故障斷開線路、變壓器、發電機、母線等單一元件或其預定義組合，分析其他元件是否因此過負荷和電網電壓水平是否符合要求，用以檢驗校核斷面結構強度和運行方式是否滿足安全運行的要求。——引自GB/T 33590.2-2017《智慧型電網調度控制系統技術規範 第2部分：術語》
- 消費品中可揮發性有機物含量的測定—靜態頂空進樣法
國家標準《消費品中可揮發性有機物含量的測定—靜態頂空進樣法》（GB/T 39107-2020）依據中國國家標準《標準化工作導則—第1部分：標準的結構和編寫規則》（GB/T 1.1-2009）和《標準編制規則—第四部分：化學分析方法》（GB/T 20001.4-2001）規則起草。起草工作 主要起草單位：山東省產品質量檢驗研究院、...
- 包裝材料中揮發性有機物(VOCs)的測定靜態頂空-氣相色譜法
包裝材料中揮發性有機物(VOCs)的測定靜態頂空-氣相色譜法 《包裝材料中揮發性有機物(VOCs)的測定靜態頂空-氣相色譜法》是2015年9月1日實施的行業標準。起草單位 上海出入境檢驗檢疫局等。起草人 程欲曉、李洪濤、馬明等。
- 包裝用緩衝材料靜態壓縮試驗方法
《包裝用緩衝材料靜態壓縮試驗方法(GB/T 8168-2008)》代替GB/T 8168—1987《包裝用緩衝材料靜態壓縮試驗方法》。本標準與GB/T 8168—1987相比，主要變化如下：1.增加了引用檔案、術語、試驗設備的內容；2.增加了對試驗樣品進行隨機抽取的要求；3.修改了試驗用試驗樣品的數量；4.增加了推薦使用試驗樣品的尺寸規格；...
- 類型檢查
類型檢查指驗證操作接收的是否為合適的類型數據以及賦值是否合乎類型要求。最自然的方式是認為檢查發生在運行時，即當涉及到具體的數據值時，即動態類型檢查(即運行時檢查)。編譯時檢查(即靜態檢查)通過對程式的靜態分析，檢查所有涉及值的使用的操作、調用和賦值，在程式運行前排除潛在的類型錯誤。類型檢查需基於一定的...
- 汽車檢測
8、測量誤差的分類：按測量誤差的表示方法分為絕對和相對，按測量誤差出現的規律分為系統、隨機和過失，按測量誤差的狀態分為靜態和動態。9、絕對誤差是測量值與被測量值之間的差值；相對誤差是測量值的絕對誤差與被測量值真值的比值，用百分比表示。10、檢測設備一般採用最大引用誤差不能超過的允許值，作為劃分精度...
- 獸藥生產質量管理規範檢查驗收辦法
第十七條 獸藥GMP檢查分為動態檢查和靜態檢查。對新建企業 （車間）和新增產品劑型的進行靜態檢查驗收，對改建、擴建和進行GMP改造的企業（車間）進行動態檢查驗收。對獸藥GMP動態檢查作出“推薦”綜合評定結論，但存在一定缺陷尚須進行整改的，由申請企業提出整改計畫並組織實施，由省級人民政府畜牧獸醫行政管理部門負責...
- 軟體測試方法
軟體測試是使用人工或自動的手段來運行或測定某個軟體系統的過程，其目的在於檢驗它是否滿足規定的需求或弄清預期結果與實際結果之間的差別。從是否關心軟體內部結構和具體實現的角度劃分，測試方法主要有白盒測試和黑盒測試。白盒測試方法主要有代碼檢查法、靜態結構分析法、靜態質量度量法、邏輯覆蓋法、基本路徑測試法、...
- 溢出檢測
現有緩衝區溢出靜態檢測方法包括：模式匹配，詞法分析，約束求解等。 FlawFinder 和 ITS4 採用模式匹配方法。 SPLINT使用輕量級數據流分析驗證程式中的錯誤，它要求程式設計師在源碼中添加注釋。Bugscam是一個用於檢測執行檔中緩衝區溢出問題的工具，以 IDA PRO 支持的 IDC 腳本形式實現。該工具採用模式匹配方法，定位不...
- 軟體測試(使用人工或自動的手段來運行或測定某個軟體系統的過程)_百度...
1、靜態測試方法 靜態測試方式指軟體代碼的靜態分析測驗，此類過程中套用數據較少，主要過程為通過軟體的靜態性測試（即人工推斷或計算機輔助測試）測試程式中運算方式、算法的正確性，進而完成測試過程，此類測試的優點在於能夠消耗較短時間、較少資源完成對軟體、軟體代碼的測試，能夠較為明顯地發現此類代碼中出現的錯誤...
