slicing criterion 中文意思是什麼
-
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
程序分片是一種重要的程序分析理解方法，用於從源程序中抽取對程序中特定點上的特定變量有影響的語句和控制條件，組成新的程序（稱作分片） ，然後通過分析分片來分析源程序的行為。 -
We define a set of dependence relations through analyzing the characteristics such as hierarchy, concurrent and synchronization in eha. the algorithm of slicing eha from the slicing criterion composed of states and transitions is presented
本文通過分析eha中存在的層次、並發和同步等特徵定義了一組依賴關系，對于由狀態和遷移組成的切片準則，提出對eha進行切片的演算法。 -
When slicing criterion is extracted from the property to be verified according some rules, the sliced eha and the original one are equivalent to the property
當按一定規則從被驗證的性質中提取切片準則時，該演算法能保證切片后的eha與原模型對性質具有相同的滿足性。
分享友人