程序切片造句

例句与造句

1. 一种基于模块单子语义的动态程序切片方法
2. 关于软件调试技术，主要研究了一种基于程序切片技术的调试方法。
3. 计算程序切片的方法主要有两种：根据数据流方程计算和根据依赖图关系计算。
4. 程序切片是一种用于分解程序的程序分析技术，它的原理和方法是由M.Weiser于1979年在他的博士论文中首次建立。
5. 同时由于程序切片不仅考虑了数据依赖和控制依赖，还考虑了程序存在的其他各种依赖关系，使得测试的准确性得到提高。
6. 用程序切片造句挺难的，這是一个万能造句的方法
7. 目前ERlCS的主要研究方向为软件开发新技术与新方法、经验软件工程、程序切片技术、软件分析与测试、软件语言、软件建模与验证和软件过程改进等。
8. 本书充分利用已有的程序切片和依赖性分析技术，结合国内外在形式规约切片及其应用方面的最新研究动态，在Z形式规约切片及其应用方面展开研究工作。
9. 本书不仅涵盖了delta调试、程序切片、观察、监视、断言、检测反常等多种基本的静态和动态程序分析技术，还用浅显的语言说明如何使用一些调试领域最前沿的高水平调试工具。
10. 通过对程序按测试结果的分析选择合适的切片变量进行程序切片，从给定的切片变量和语句编号处向前回溯，找出所有直接或间接影响切片变量值的语句，将其组成一个切片。若切片变量的值错误，则出错范围必在其切片内，这样可以缩小定位错误的范围，提高调试效率。