...它使用静态程序代码分析工具,植入监控代码 (instrumentation),记录在执行过程中程序各种信息,如路径条件(path condition)和程序变量的符号值,来生成一组约束表达式。这组表达式代表了这 条路径上的所有约束信息。
基于68个网页-相关网页
·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.
该方法所采用的系统不是等价于中心路径条件,而是等价于最优性条件本身。
The system which is employed in this method is equivalent to the optimality conditions and not to the central path conditions.
End up where you started. It's not quite the same as the shortest path, and figure out the way to do that that involves spending the least money. Or the least time, or something else.
最后回到最初的地方,这和最短路径问题有些不同,需要找出一条花费最少,或者费时最少或者满足其它条件的路径。
And it tries to find the shortest way, subject to those constraints, to get from Point A to Point B. And there are many, many other instances of this kind of thing.
然后谷歌地图开始寻找,满足这些条件的从A地到B地最短路径,还有很多这样的例子,明天我们会再复习一遍这些内容。
If it isn't, then I'm going to go back around the loop, and notice what happens. If I get all the way around the loop, that is, all the way through that FOR loop and I never find a path that takes me through here, then the last thing I'm going to do is return a pair or a tuple with a special simple number none twice.
如果没有,我会回到循环看看发生了什么,如果我运行了整个循环,也就是整个for循环,我仍没有找到符合条件的路径,那么我最后做的事情就是返回一对,或者一个数组的两次none值。
应用推荐