...；不可达路径 [gap=1009]sting; extended finite state machine; finite state machine; statechart diagrams; infeasible paths ...
基于12个网页-相关网页
We eliminate all the infeasible paths with a constraint solver. For a feasible path, values of input variables can be found such that the program is executed along that path.
利用约束求解的工具可以排除不可行路径，最终求出的输入数据能够使程序沿着一条路径正常执行。
参考来源 - 软件测试的自动分析工具·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐