指向分析相关论文
程序切片是一种程序分解技术。因目前切片方法缺乏模块性和灵活性,我们实验室曾提出一种新的形式化切片方法——模块单子切片。目......
随着计算机技术的发展和软件系统规模的扩大，现有软件系统往往积累了大量的行业知识，包括系统需求、业务规则和设计决策等，因此对软件......
指向分析是一种推测运行时变量引用的静态分析技术。需求驱动指向分析技术的提出一般用于一些时间或内存上受到严格限制的环境,比......
学位
Web事件驱动特性以及页面结构、内容的动态性,给Web应用测试带来了极大的挑战。DOM事件依赖图可有效辅助测试人员和开发人员理解、......
为了精确地分析软件行为,静态数据流分析工具需要将数目众多、逻辑复杂的库函数一同分析,但这也引入了显著的分析开销.摘要通过对......
儿童文学与现代教育在本质上有相通之处,所以面向儿童的教育和面向儿童的文学都是人类在同年生活中的重要精神粮食。儿童文学源自......
