謂詞變量 的英文怎麼說
中文拼音 [wèicíbiànliáng]
謂詞變量
英文
predicate variable-
Jon edvardsson et al pointed out that the technique developed by neelam gllpta et al is neither complete nor terminationai for w on which all of the predicate functions with respect to the input variables are linear, and suggested using linear programming and linear ( mixed ) integer programming methods instead
Jonedvardsson等人指出，對于謂詞函數均為輸入變量的線性函數的程序路徑， neelamgupta等人提出的求解方法是不完備的和非終止的，並建議採用線性規劃、線性（混合）整數規劃方法。Furthermore, when the divided ii1 differences are used to approximate to the derivatives that are coefficients in linear arithmetic representations, computing linear arithmetic representations is converted to compute predicate residuals completely, which needs to analyze neither static nor dynamic data dependencies between the statements on w. at this time, the improved method is more powerful to generate test data, and can be used for black - box testing
更進一步，當用均差作為謂詞函數關于輸入變量的導數的近似時，計算線性算術表示就全部轉化為計算謂詞殘量，而後者無須分析w上各語句之間的靜態、動態數據依賴關系。此時，改進后的方法比原方法生成測試數據的能力更強，能夠用於黑盒測試數據的自動生成。A path - wise test data generation framework is proposed in this thesis, whose fundamental algorithm is the improved method. this framework adopts a constraint solver using linear programming and linear ( mixed ) integer programming methods for w on which all of the predicate functions with respect to the input variables are linear. for w on which there is nonlinear function ( s ) with respect to the input variables
該框架以改進后的迭代鬆弛法為核心演算法，對于謂詞函數均為輸入變量的線性函數的程序路徑，採用基於線性規劃、線性（混合）整數規劃的約束求解器；對于謂詞函數中含有輸入變量的非線性函數的程序路徑，採用線性規劃、線性（混合）整數規劃和最小二乘解法相結合的約束求解器。
分享友人