分析实际程序时往往需要分析程序中函数的调用,一般使用过程间分析来实现全程序分析.函数内联是一种最为精确、易于实现的过程间分析方法.通过函数内联,可以使得已有过程内分析方法和工具支持包含函数调用的程序的分析.但是函数内联后...分析实际程序时往往需要分析程序中函数的调用,一般使用过程间分析来实现全程序分析.函数内联是一种最为精确、易于实现的过程间分析方法.通过函数内联,可以使得已有过程内分析方法和工具支持包含函数调用的程序的分析.但是函数内联后代码的规模急剧增加,同时将产生大量中间变量,增加程序分析的变量维度,导致程序分析过程时空开销大大增加.考虑基于抽象解释框架下函数内联过程间分析的一些不足,并提出了相应的优化方法.基于抽象解释的程序分析关注自动推导程序变量之间的不变式约束关系,因此程序变量构成的程序环境大小(即各程序点处须考虑的相关变量集合)对分析的时空开销具有重要影响.为了减少函数内联后程序分析的开销,提出了面向内联函数块的程序环境降维优化方法.该方法针对内联函数后的程序代码,分析确定不同程序点处需维护的程序环境(即相关变量集合),而不是所有程序点共享同一全局程序环境,从而实现程序状态的降维.详细描述了基于该方法所实现的工具DRIP(dimension reduction for analyzing function inlined program)的架构、模块及算法细节.并在WCET Benchmarks测试集开展了分析实验.实验结果表明:DRIP在变量消除上取得的效果良好,甚至在某些测试集上能减少一半以上的变量,并在一定程度上降低了分析过程的时空开销.展开更多
机炉协调控制系统(coordinated control system,CCS)是火电机组满足电网负荷需求和保证机组本身稳定运行的重要控制措施。在分析机炉协调控制系统原理和控制方式的基础上,提出了一种适于电力系统机电暂态及中长期动态全过程仿真的机炉...机炉协调控制系统(coordinated control system,CCS)是火电机组满足电网负荷需求和保证机组本身稳定运行的重要控制措施。在分析机炉协调控制系统原理和控制方式的基础上,提出了一种适于电力系统机电暂态及中长期动态全过程仿真的机炉协调控制模型,并在电力系统全过程动态仿真程序进行编程实现。通过模型参数值的设置,该模型可以灵活模拟炉跟机、机跟炉、协调控制、直接能量平衡等火电厂机炉控制中的常见组态方式。采用两个仿真算例说明了不同CCS控制方式对机组功率的影响,以及CCS在与频率动态特性相关的电力系统动态仿真中的作用。展开更多
文摘针对C语言白盒测试用例自动生成问题,提出一套基于过程间的动态符号执行框架,建立基于Def-Use链和函数执行树的模型。以函数为单位进行约束收集,解决函数调用中实参和形参的符号统一问题;对过程间动态符号执行的SMART(systematic modular automated random testing)算法进行改进,利用其计算和使用函数摘要,提高动态符号执行的效率和可行性。该方案为C语言过程间测试自动化工具的实现提供了详细的解决方案。
文摘分析实际程序时往往需要分析程序中函数的调用,一般使用过程间分析来实现全程序分析.函数内联是一种最为精确、易于实现的过程间分析方法.通过函数内联,可以使得已有过程内分析方法和工具支持包含函数调用的程序的分析.但是函数内联后代码的规模急剧增加,同时将产生大量中间变量,增加程序分析的变量维度,导致程序分析过程时空开销大大增加.考虑基于抽象解释框架下函数内联过程间分析的一些不足,并提出了相应的优化方法.基于抽象解释的程序分析关注自动推导程序变量之间的不变式约束关系,因此程序变量构成的程序环境大小(即各程序点处须考虑的相关变量集合)对分析的时空开销具有重要影响.为了减少函数内联后程序分析的开销,提出了面向内联函数块的程序环境降维优化方法.该方法针对内联函数后的程序代码,分析确定不同程序点处需维护的程序环境(即相关变量集合),而不是所有程序点共享同一全局程序环境,从而实现程序状态的降维.详细描述了基于该方法所实现的工具DRIP(dimension reduction for analyzing function inlined program)的架构、模块及算法细节.并在WCET Benchmarks测试集开展了分析实验.实验结果表明:DRIP在变量消除上取得的效果良好,甚至在某些测试集上能减少一半以上的变量,并在一定程度上降低了分析过程的时空开销.
文摘机炉协调控制系统(coordinated control system,CCS)是火电机组满足电网负荷需求和保证机组本身稳定运行的重要控制措施。在分析机炉协调控制系统原理和控制方式的基础上,提出了一种适于电力系统机电暂态及中长期动态全过程仿真的机炉协调控制模型,并在电力系统全过程动态仿真程序进行编程实现。通过模型参数值的设置,该模型可以灵活模拟炉跟机、机跟炉、协调控制、直接能量平衡等火电厂机炉控制中的常见组态方式。采用两个仿真算例说明了不同CCS控制方式对机组功率的影响,以及CCS在与频率动态特性相关的电力系统动态仿真中的作用。
