...测试数据自动生成;覆盖目标;动态执行;符号执行;路径引导 [gap=1123]keywords: test data auto-generation; covering target; practical execution; symbolic execution; path leading ..
基于1个网页-相关网页
它还允许用户选择是否覆盖目标位置中已有的虚拟机。
It also allows users to choose if to overwrite when there is already a virtual machine at the destination location.
应避免使用常用文件扩展名,因为它们会覆盖目标计算机上现有的文件关联。
You should avoid common file extensions, as they will overwrite existing file associations on the target computer.
对于同一断言类型,在更具体的目标中设置的策略可以覆盖在高级目标中定义的策略。
Policies defined at high order targets can be overridden by policies set at a more specific target for the same assertion type.
应用推荐