statement n. 1.陳述,聲明,聲明書。 2.【法律】供述;交待。 3.【商業(yè)】貸借對照表;(財務(wù))報告書。 Statements should be based on facts. 說話要有根據(jù)。 prepare an official statement 準(zhǔn)備一項正式說明。 make a detailed statement of profit and loss 出具詳細(xì)的損益計算書。 issue a statement 發(fā)表一個聲明。 a random statement 胡亂的供詞。 a bank statement 銀行報告單[結(jié)單]。
It is clear that achieving 100 % statement coverage does not ensure a correct program 代碼覆蓋有多種,語句覆蓋是最基本的,條件判斷覆蓋會強(qiáng)一些。
An efficient evaluation and vector generation method for observability - enhanced statement coverage 基于可觀測性語句覆蓋準(zhǔn)則的評估分析與激勵生成方法
There are types of coverage that point more directly to design mistakes than statement coverage does ( branch coverage , for example ) 還有幾類覆蓋率,比語句覆蓋率更直接地指向設(shè)計錯誤(例如分支覆蓋率) 。
Codetest also provides statement coverage measurements and produces documentation to validate that every statement in the program has been invoked at least once 還提供語句覆蓋測量,并生成驗(yàn)證程序中每條語句至少被調(diào)用一次的文件。
You can measure code coverage in several ways : by assessing line or statement coverage , condition coverage , branch coverage , and so on 您可以通過許多方法來測量代碼覆蓋率:通過評估代碼行或語句的覆蓋面、條件覆蓋面、分支覆蓋面等等。
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 、決策及語句覆蓋工具準(zhǔn)確收集運(yùn)行中的在線程序測量,以多種間隔等級分析測試歷史,并生成記錄過程和結(jié)果的特定報告。
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 軟件測試中的諸如語句覆蓋、路徑覆蓋等問題可以歸結(jié)為面向路徑的測試數(shù)據(jù)的生成問題。該問題在本文中簡稱為問題2 ,可以描述為:給定一個程序p和p中一條路徑w ,設(shè)p的輸入空間為d ,求( ? ) d ,使得p以(
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 原型系統(tǒng)實(shí)現(xiàn)了基本的黑盒和白盒測試,其中白盒測試實(shí)現(xiàn)了語句和分支覆蓋;實(shí)現(xiàn)了匯編測試的靜態(tài)分析和動態(tài)分析,靜態(tài)分析主要是生成程序的流程圖,動態(tài)分析主要是利用程序插樁技術(shù)實(shí)現(xiàn)語句和分支覆蓋率及在多個測試用例驅(qū)動下的綜合覆蓋率的計算和運(yùn)行時間及內(nèi)存使用情況的統(tǒng)計。
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 可觀測性語句覆蓋率并不像傳統(tǒng)的語句覆蓋率那樣過于樂觀,它不僅評估代碼是否被執(zhí)行,而且檢驗(yàn)被激勵激活的那些潛在錯誤的影響是否可以傳播到觀測點(diǎn),該準(zhǔn)則可以更確切地評估驗(yàn)證的力度。