基于回溯与引导的关键代码区域覆盖的二进制程序测试技术研究

基于路径覆盖的测试方法是软件测试中比较重要的一种测试方法,但程序的路径数量往往呈指数增长,对程序的每一条路径都进行测试覆盖基本上是不可能的。从软件安全测试的观点看,更关心程序中的关键代码区域(调用危险函数的语句、圈复杂度高的函数、循环写内存的代码片断)的执行情况。该文提出了覆盖关键代码区域的测试数据自动生成方法,该方法基于二进制程序,不依赖于源码。通过回溯路径获取所有可达关键代码区域的程序路径,并通过路径引导自动为获得的路径生成相应的测试数据。路径引导策略基于程序的符号执行与实际执行,逐步调整输入,使用约束求解器生成相应的测试用例。理论分析与实验结果显示该文给出的方法可以降低生成测试数据所需要的运行次数,与传统的覆盖路径测试数据生成方法相比,所需要的运行次数显著降低,提高了生成测试数据的效率。     

便携式SPD测试仪组合波发生器的仿真与试验

为检测现场用电涌保护器是否损坏、老化,通常要测量直流1mA电压.泄漏电流以及冲击组合波下的SPD动作特性[1].本文通过电路参数计算和EMTP-ATP仿真电路元件对输出波形的影响,得出了波头时间主要由电感决定,波尾时间主要由电容量和放电回路的总等效阻抗决定.并在此基础上研制出最大幅值为6kV/3kA的冲击组合波发生器....     

风速快速波动下双馈风电场无功电压协调控制策略

大规模风电经远距离高压交流输电线路送出系统,当风速快速波动时,风电场并网点电压可能因无功补偿不足大幅变化.针对该问题,研究通过双馈风电机组(doubly fed induction generator,DFIG)和静止无功补偿器(static var compensator,SVC)的协调配合来改善风电场无功补偿特性的...     

基于EnOcean技术的智能照明控制系统设计

针对传统有线照明控制系统布线复杂、智能化程度低且能耗较大的缺点,设计了一种基于EnOcean无线通信技术的智能照明控制系统。重点给出了系统的结构设计和相关软硬件的设计。实验测试表明该系统能有效工作,且操作方便,具有良好的可扩展性和节能效果。     

变电站多媒体监控技术的应用探讨

随着变电站逐步实现无人值班,常规的变电站计算机监控系统已不能满足要求。为此,介绍了变电站多媒体监控技术的概念、发展及监控系统的组成,在原有“四遥”的基础上,提出了多媒体图像视频监控技术。着重介绍了监控系统的监控方式、通道结构和通信实现的条件及数据传输协议的选择,并讨论了多媒体监控技术在应用中的若干问题。     

变电站自动化系统实时仿真装置的设计与实现

针对变电站自动化发展中存在的检测难点,提出了基于变电站自动化设备网络功能模块化思想设计的实时仿真装置,介绍了装置的测试原理、系统结构及功能.装置采用工业微机内嵌Windows2000操作系统,可实现海量数据测试、网络分层测试和设备性能测试、保护事件模拟重演、规约测试以及报文解析等功能.实际应用效果表明:装置能正确完成系统仿真和各类型设备的实时闭环仿真测试,为实现变电站自动化系统的全面测试提供了一个有效的新途径.     

调度遥控实现"五防"的方案探讨

近年来,"五防"体系在不断规范和完善,但对于调度遥控的实现模式还没有一个统一的要求.通过对实现调度遥控"五防"的几种方案进行分析,提出了建立调度主站与变电站一体化的复合"五防"体系的建议.     

基于IEC 61850的变电站自动化系统的探讨

国际电工委员会（IEC）推出的变电站通信标准系列IEC 61850是将来电力系统无缝通信系统体系标准的基础之一。通过介绍变电站自动化系统的通信网络和IEC 61850的主要内容,探讨了基于可扩展标识语言（XML）的IEC 60870．5．101和IEC 61850的远动协议转换方法,对了解变电站自动化技术发展的国际趋势和研究开发新系统将有所帮助。     

变电站自动化系统网络故障分析

针对近期国内一次变电站自动化系统网络故障,通过现场调查和事故模拟测试,较为详细地分析了变电站自动化系统的网络结构、交换机性能以及故障时的异常通信流量,找出引起故障的主要原因,最后结合现场的情况,提出整改方案与建议。     

电力远程图像监控系统的测试分析系统的研究开发

用于电力系统的远程图像监控系统的建设发展很快,但是由于缺乏统一的标准,设备间常不能互连,设备不能互换.为保证电力远程图像监控系统设备间的兼容性,广东省广电集团有限公司制定了企业标准<广电集团电力远程图像监控系统技术标准(试行本)>,对电力远程图像监控系统的功能、性能、图像编解码方式、通信控制协议等作了具体规定.介绍了根据该标准开发的专用测试分析系统的基本原理、软件结构、自动化测试机理和测试流程设计.测试分析系统实现了对广东省广电集团有限公司所属的远程图像监控系统进行完整的自动测试分析,为逐步实现图像监控系统建设的标准化和规范化打下了基础.