程序語句分析 的英文怎麼說
中文拼音 [chéngxùyǔjùfēnxī]
程序語句分析
英文
program statement analysis- 程 : 名詞1 (規章; 法式) rule; regulation 2 (進度; 程序) order; procedure 3 (路途; 一段路) journe...
- 語 : 語動詞[書面語] (告訴) tell; inform
- 句 : 句名詞1. [書面語] (指草木初生拳狀的幼芽) tender bud2. (姓氏) a surname
- 分 : 分Ⅰ名詞1. (成分) component 2. (職責和權利的限度) what is within one's duty or rights Ⅱ同 「份」Ⅲ動詞[書面語] (料想) judge
- 析 : Ⅰ動詞1. (分開; 散開) divide; separate 2. (分析) analyse; dissect; resolve Ⅱ名詞(姓氏) a surname
- 程序 : 1 (進行次序) order; procedure; course; sequence; schedule; ground rule; routing process 2 [自動...
- 語句 : 1. (成句的話) sentence2. [自動化] statement
-
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
文摘:用計算函數模型進行精確的數據流分析,條件謂詞之間的邏輯關系被轉化為空間區域之間的覆蓋關系.該文討論在各種常見的程序構造下如何表示、計算和傳遞區域、區域,並在數據流分析過程中,利用區域、區域之間的覆蓋關系消除條件分支語句帶來的不確定性,以得到更精確的數據流信息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
原型系統實現了基本的黑盒和白盒測試,其中白盒測試實現了語句和分支覆蓋;實現了匯編測試的靜態分析和動態分析,靜態分析主要是生成程序的流程圖,動態分析主要是利用程序插樁技術實現語句和分支覆蓋率及在多個測試用例驅動下的綜合覆蓋率的計算和運行時間及內存使用情況的統計。According to the slice variable, all the phrases which affect the value of slice variable are put into a slice file and fault will be deleted if the result is wrong after executing hence the range of locating fault is reduced and debugging efficiency is improved
通過對程序按測試結果的分析選擇合適的切片變量進行程序切片,從給定的切片變量和語句編號處向前回溯,找出所有直接或間接影響切片變量值的語句,將其組成一個切片。若切片變量的值錯誤,則出錯范圍必在其切片內,這樣可以縮小定位錯誤的范圍,提高調試效率。Existent automatic grading model of programs can not deal with the programs with structural body. in this paper, we study the syntax and concept of structural body based on an existed model, and improve the original model in the following aspects : increasing the middle representation form of structural body in analysis of morphology and syntax and system dependence graph and abstract syntax tree, adding standardization rules, mainly including type definition, nesting structure, initialization, function invocation, renaming and sequence of program sentence, besides standardization rules of bit operation and program with enumeration, enhancing the function of inspecting syntax error and improving matching strategies
本文在原有的編程題自動評分模型的基礎上,對結構體的語法結構和實現原理進行研究,並在以下幾個方面完善原有模型:在詞法和語法分析、程序的系統依賴圖建立和抽象語法樹生成三個方面增加結構體類型的中間表示形式;擴充程序的標準化規則,主要包括類型定義標準化、結構體嵌套結構標準化、結構體初始化的標準化、結構體作為函數參數時函數調用標準化、結構體變量名稱標準化、結構體語句排列順序標準化等等;另外,還增加了位運算標準化、枚舉標準化以及文件的處理;增強學生程序中語法錯誤的檢測和改進程序匹配策略。On the basis of an analysis of sql, this paper presents the principle and method of general database dynamic query in the vb. the program code is provided as well
在分析結構化查詢語句的基礎上,提出了在vb中實現通用動態查詢程序的原理和方法,並給出了具體的程序代碼。Based on bringing forward the gsql global parsing model and one new concept : edp ( equivalence distributed program ), the detailed flow of how to parse the global gsql statement into an edp file was introduced
提出空間查詢語言的全局解析模型及等價分佈程序的概念,給出將全局空間查詢語句解析為等價分佈程序的方法。Based on the analysis of the principle of gps location and output sentence format, the hardware interface and communication software were developed for gps receiver and computer to realize gps - data real - time acquisition by computer
本文在分析gps數據輸出語句格式的基礎上,設計gps接收機與計算機的硬體介面及windows通訊程序,實現了gps數據的計算機採集。Program slicing is an important technique to analyze and understand programs. a program slice s is composed of a set of statements in program p which can influence the value of a variables named v at a special program point n, in which ( n, v ) is named as slicing criterion
程序分片是一種重要的程序分析理解方法,用於從源程序中抽取對程序中特定點上的特定變量有影響的語句和控制條件,組成新的程序(稱作分片) ,然後通過分析分片來分析源程序的行為。The improved parameterized matching algorithm has linear time and space complexity, fragment combining algorithm has 0 ( n2 ) time and space complexities ( n is the number of statements of the function which the fragment belongs to )
分析表明:改進的參數化匹配演算法的復雜性同程序文件的行數成線性關系;碎片合併演算法的復雜性是o ( n ~ 2 )的,其中n是碎片所在依賴單位的語句個數。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
、決策及語句覆蓋工具準確收集運行中的在線程序測量,以多種間隔等級分析測試歷史,並生成記錄過程和結果的特定報告。Under matlab environment, the program for spca often has 10 ~ 20 statements and the results for data analysis and chart analysis can be gotten easily
在matlab環境下,譜主成分分析的程序通常在十幾條語句左右,數據分析和圖表分析結果容易得到。According to the condition of china, this paper mainly studied the technology of field information acquisition and process based on gps, gis and virtual instrument. the main contents of this paper include : 1 ) based on the analysis of the principle of gps location and output - sentence format, the hardware interface and communication software were developed for oem gps receiver and computer to realize gps - data real - time acquisition by computer
本文結合我國的實際情況,重點研究了基於gps 、 gis及虛擬儀器的農田信息的採集與處理技術,主要研究內容如下: 1 )在分析gps衛星定位原理及輸出語句數據格式的基礎上,設計了oem型gps接收機與計算機的硬體介面及windows通訊程序,實現了gps數據的計算機實時採集。分享友人