靜態分析工具 的英文怎麼說

中文拼音 [jìngtàifēnxīgōngjù]
靜態分析工具 英文
static analysis tools
  • 靜 : Ⅰ形容詞1. （安定不動; 平靜） still; calm; motionless 2. （沒有聲響; 清靜） silent; quiet Ⅱ名詞（姓氏） a surname
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 分 : 分Ⅰ名詞1. （成分） component 2. （職責和權利的限度） what is within one's duty or rights Ⅱ同 「份」Ⅲ動詞[書面語] （料想） judge
  • 析 : Ⅰ動詞1. （分開; 散開） divide; separate 2. （分析） analyse; dissect; resolve Ⅱ名詞（姓氏） a surname
  • 工 : Ⅰ名詞1 （工人和工人階級） worker; workman; the working class 2 （工作; 生產勞動） work; labour 3 ...
  • 靜態 : [物理學] static state; quiescent condition; steady state; statics; dead level; akinesis; akynesis...
  1. Is another open source static code analysis tool

    是另一個開源靜態代碼分析工具。
  2. A space geometric non - linear static finite element analysis program about the long span plate - truss composite cable - stayed bridges is presented. not only it can be used to solve the space static analysis about the state of the dead load configuration ( geometry and internal forces ), but also it can be used to analyze the internal forces and deformations of the whole construction course

    基於以上理論，並結合斜拉橋的施工過程，編制了大跨徑斜拉橋的空間幾何非線性靜力分析程序，既可用於斜拉橋成橋狀態的空間靜力分析，也可結合斜拉橋的具體施工過程，進行施工過程中的內力與變形狀態的跟蹤分析。
  3. Find bugs before they bite with this handy static analysis tool

    用這個方便的靜態分析工具「在臭蟲咬人之前發現它」
  4. It presents the verification strategy used in the whole eda design flow of the chip. the simulation on module level ( inc. post - layout ) uses the software event - driven simulator, the simulation of the associated modules or whole system uses cycle - based simulator and hardware emulator, for the gate - level netlist produced by using top - down design flow, the sta tool can analyze the static timing, and more formal verification is used to ensure the correct function

    本章還提出了系統在整個eda設計流程中的設計驗證策略方法：模塊級的模擬（包括布線后的模擬）全部採用事件驅動式的軟體模擬工具來驗證，各大模塊的聯合模擬及整個晶元的功能驗證（寄存器傳輸級與門級）使用基於周期的模擬工具和硬體模擬器；對于採用top - down的設計方法得到的門級網表使用專門的靜態時序分析工具來進行時序分析以及採用形式驗證來保證正確的功能。
  5. We use different commercial eda tools in order to achieve better implementation in different design phase, which include silicon ensemble of cadence, design compiler and design primer of synopsys and so on

    在設計的不同階段使用了不同的主流eda工具進行輔助設計和驗證，包括synopsys公司的邏輯綜合工具designcompiler 、靜態時序分析工具designprimer和cadence公司的自動布局布線工具siliconensemble等。
  6. His research concerns the development of semantic models and static analysis tools for the java language, both at the source and bytecode levels

    他的研究包括源代碼和位元組碼級別上java語言的語義模型和靜態分析工具的開發。
  7. Eric s research concerns the development of semantic models and static analysis tools for the java language at the source and bytecode levels

    Eric的研究主要集中在源代碼和位元組碼級別上java語言的語義模型和靜態分析工具的開發。
  8. At first, the article describes the basic concept of testbench ; summaries general function verification approaches : white - box verification, black - box verification, and grey - box verification, and shows their different application situations ; examples general verification tools : linting tools, code review, simulator, waveform viewer and code coverage. after doing that, it discusses how to analysis the granularity for verification and how to specify the verification, and details the construct relations between verification specification, testcase and testbench

    本文首先闡述了測試平臺的基本概念；歸納了常用的功能測試方法：白箱測試、黑箱測試和灰箱測試，並說明了其不同的應用場合；列舉了常用的測試工具：代碼靜態分析工具、代碼檢查、模擬器、示波器和代碼覆蓋；接著討論了如何在測試計劃中分析測試粒度、確定待測特徵；闡明了待測特徵、測試實例和測試平臺之間的結構關系。
  9. Path testing lets you find the likely culprit with which you can follow up with static analysis a code review

    路徑測試工具讓您發現最可能的故障位置，根據這個故障位置您可以跟蹤靜態分析（代碼檢查） 。
  10. This thesis analyzed the relation of parameters describing humidity of humid air. based on traditional operating methodology of h - d graph, a program for drawing dynamic h - d graph and analyzing air conditioning process was developed. it would be used for analysis of air conditioning process and system design

    3 、針對傳統h - d圖作業靜態、單一的缺點，本文對描述濕空氣濕度的物性參數及其相互關系進行了分析，在傳統濕空氣h - d圖作業的基礎上，結合h - d圖的動態繪制和熱濕過程處理，開發了濕空氣h - d圖及熱濕過程分析程序，為濕空氣過程分析、系統的設計提供了基礎和分析工具。
  11. Is another powerful open - source static code analysis tool that let s you write custom rules

    是另一個強大的開放源代碼靜態代碼分析工具，它可以讓您編寫自定義規則。
  12. In static analysis, we generate the control flow graph of the sequential program and convert the graph to an extended finite state machine ( efsm ). by analyzing the paths of the efsm, we can find whether there is data dependence in the program or not

    數據相關性的靜態測試中，我們首先生成程序的流程圖，在遍歷流程圖的同時生成這個程序的擴展有限狀態機（ efsm ） ，然後調用路徑分析工具對efsm的路徑進行分析。
  13. Uml modeling or static analysis tools

    Uml建模或靜態分析工具
  14. Gets the identifier of the static analysis tool rule to be suppressed

    獲取要取消的靜態分析工具規則的標識符。
  15. This is the sort of data flow analysis that some static analysis tool can help with

    這是類一些靜態分析工具可能幫助的數據流分析。
  16. However, static analysis tools should complement your unit system tests and code reviews

    不過，靜態分析工具應作為單元/系統測試和代碼審查的補充。
  17. Class, specifying the category of the static analysis tool and the identifier for an analysis rule

    類的新實例，同時指定靜態分析工具的類別和分析規則的標識符。
  18. Pmd, an open source static analysis tool, can be a worthwhile addition to your bug - zapping arsenal

    Pmd是一個開源的靜態分析工具，是一個值得您添加到捉蟲工具箱中的工具。
  19. Findbugs is a static analysis tool that can be extended and customized to meet your team s unique requirements

    Findbugs是一種可以擴展和定製以滿足自己團隊獨特要求的靜態分析工具。
  20. Suppresses reporting of a specific static analysis tool rule violation, allowing multiple suppressions on a single code artifact

    取消報告特定的靜態分析工具規則沖突，允許一個代碼項目上應用多個取消報告設置。
分享友人
分享到 Line

分享到臉書