...它使用静态程序代码分析工具,植入监控代码 (instrumentation),记录在执行过程中程序各种信息,如路径条件(path condition)和程序变量的符号值,来生成一组约束表达式。这组表达式代表了这 条路径上的所有约束信息。
基于66个网页-相关网页
path and condition 条件和途径
path independence condition 路径无关性条件
condition path graph 条件路径图
condition and path 条件和途径
sequential path independence condition 序贯路径无关性条件
·2,447,543篇论文数据,部分数据来源于NoteExpress
In the process of analyzing, it adopts synthetically control flow chart and path condition and increase the precision of testing results.
在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度。
In the process of analyzing, it adopts synthetically control flow chart and path condition in order to increase the precision of testing results.
在分析过程中,还综合应用了控制流图和路径条件,提高了测试结果的精度。
Since the expected value at the selected path in the filter condition is only decided during execution, it needs to be defined as a variable.
由于过滤条件中选定的路径上的预期值是在执行时才确定的,因此需要将它定义为一个变量。
应用推荐