語句覆蓋 的英文怎麼說

中文拼音 [yǔjùfùgě]
語句覆蓋 英文
statement coverage
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 句 : 句名詞1. [書面語] （指草木初生拳狀的幼芽） tender bud2. （姓氏） a surname
  • 覆 : 動詞1. [書面語] （蓋住） cover 2. [書面語] （底朝上翻過來; 歪倒） overturn; upset 3. 同 「復」 （Ⅱ1. 2. ）
  • 蓋 : 蓋名詞（姓氏） a surname
  • 語句 : 1. （成句的話） sentence2. [自動化] statement
  • 覆蓋 : 1 （遮蓋） cover; overlap 2 （植被） plant cover; vegetation3 （保護層 覆蓋物） cover; covering; ...
  1. Abstract : for a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions. in this paper, the authors discuss how to represent, compute and propagate the region, region of the conditional reference. meanwhile, the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information

    文摘:用計算函數模型進行精確的數據流分析，條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域，並在數據流分析過程中，利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性，以得到更精確的數據流信息
  2. 19 farzan fallah, pranav ashar, srinivas devadas. simulation vector generation from hdl descriptions for observability - enhanced statement coverage

    本文以可觀測性語句覆蓋評估準則為例，提出了計算可觀測性語句覆蓋率的方法。
  3. Basic black - box testing and white - box testing are successfully carried out. in white - box testing, the statement coverage and branch coverage are achieved ; static analysis and dynamic analysis are also implemented. the static analysis mainly used to generate flow graph while the dynamic analysis serves program instrument, technique realization object, subprogram and the detailed coverage and the calculation of operation time of the documents

    原型系統實現了基本的黑盒和白盒測試，其中白盒測試實現了語句和分支覆蓋;實現了匯編測試的靜態分析和動態分析，靜態分析主要是生成程序的流程圖，動態分析主要是利用程序插樁技術實現語句和分支覆蓋率及在多個測試用例驅動下的綜合覆蓋率的計算和運行時間及內存使用情況的統計。
  4. Provides comprehensive statement and decision coverage, invoking every point of entry and exit in the program at least once

    提供全面的語句及決策覆蓋，至少一次調用程序中的每個進入和退出點，配備
  5. There are types of coverage that point more directly to design mistakes than statement coverage does ( branch coverage, for example )

    還有幾類覆蓋率，比語句覆蓋率更直接地指向設計錯誤（例如分支覆蓋率） 。
  6. Format causes the backup operation to write a new media header on all media volumes used for the backup operation

    禁用備份集的過期和名稱檢查，這些檢查一般由backup語句執行以防覆蓋備份集。
  7. An efficient evaluation and vector generation method for observability - enhanced statement coverage

    基於可觀測性語句覆蓋準則的評估分析與激勵生成方法
  8. A user can override these defaults by using the set statement

    用戶可以使用set語句覆蓋這些默認值。
  9. With or without assert statements, unit tests can generate code coverage data

    無論是否使用assert語句，單元測試都可以生成代碼覆蓋率數據。
  10. Of their oral literature of sacred songs, formulas for prayers and incantations, rules of divination and magic, not one verse has survived, even in translation, nor is there even a legend that we can call purely druidic, without a christian overlay or interpretation

    他們的口頭文獻是神聖的歌，成為禱告者的客套語和咒語，預言和巫術的法則，並沒有詩句保存下來，甚至沒有譯本，也沒有一個可以稱得上純粹的德魯伊教的傳說，沒有像基督教那樣的覆蓋圖和解釋。
  11. This method is more computationally efficient than prior efforts to assess observability and it could be integrated into compilers and simulators easily. a new simulation vector generation procedure involving the observability - enhanced statement coverage metric is developed. the method is simulation - based and driven by the distribution of unobserved statements

    可觀測性語句覆蓋率並不像傳統的語句覆蓋率那樣過于樂觀，它不僅評估代碼是否被執行，而且檢驗被激勵激活的那些潛在錯誤的影響是否可以傳播到觀測點，該準則可以更確切地評估驗證的力度。
  12. It is clear that achieving 100 % statement coverage does not ensure a correct program

    代碼覆蓋有多種，語句覆蓋是最基本的，條件判斷覆蓋會強一些。
  13. Codetest also provides statement coverage measurements and produces documentation to validate that every statement in the program has been invoked at least once

    還提供語句覆蓋測量，並生成驗證程序中每條語句至少被調用一次的文件。
  14. You can measure code coverage in several ways : by assessing line or statement coverage, condition coverage, branch coverage, and so on

    您可以通過許多方法來測量代碼覆蓋率：通過評估代碼行或語句的覆蓋面、條件覆蓋面、分支覆蓋面等等。
  15. The mcdc, decision and statement coverage tools accurately collect live, in - circuit program measurements, analyze test history at a number of levels of granularity and generate specific reports to document both the process and the results

    、決策及語句覆蓋工具準確收集運行中的在線程序測量，以多種間隔等級分析測試歷史，並生成記錄過程和結果的特定報告。
  16. Many problems in software testing, such as statement coverage and patl1 coverage, can be reduced to tlle path - wise test data generating problem, which will be referred to as problem q in this thesis and can be described ast given a program p and a path w in p, let the input space of p be d, compute x e d, such that when p executes on x, path w wiil be traversed

    軟體測試中的諸如語句覆蓋、路徑覆蓋等問題可以歸結為面向路徑的測試數據的生成問題。該問題在本文中簡稱為問題2 ，可以描述為：給定一個程序p和p中一條路徑w ，設p的輸入空間為d ，求（ ? ） d ，使得p以（
  17. The next statement in the restore sequence overwrites one of the files

    該還原順序中的下一個語句將覆蓋其中一個文件。
  18. Property for the column with the

    語句覆蓋列的
  19. In proc. 36th design automation conference, new orleans, usa, june 21 - 25, 1999, pp. 666 - 671

    3提出一種新的基於可觀測性語句覆蓋評估準則的激勵生成方法。
  20. You can override this value for individual query or index statements by specifying the maxdop query hint or maxdop index option

    通過指定maxdop查詢提示或maxdop索引選項，可以針對單個查詢語句或索引語句覆蓋此值。
分享友人
分享到 Line

分享到臉書