?路径条件
...它使用静态程序代码分析工具,植入监控代码 (instrumentation),记录在执行过程中程序各种信息,如路径条件(path condition)和程序变量的符号值,来生成一组约束表达式。这组表达式代表了这 条路径上的所有约束信息。
条件和途径
路径无关性条件
条件路径图
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。