播出前端射频自动循环监控、监录系统简介

介绍了有线电视播出前端“射频自动循环监控、监录系统“的作用和制作方法.该系统可实现前端输入、输出信号同时监控,双层防范,从而有效遏制非法信号的干扰和攻击.该系统制作简单,资金投入少,安全可靠,适用于市县级有线播出前端信号的监控、监录.     

面向条件判定覆盖的线性拟合制导测试生成

条件判定覆盖(Condition/Decision Coverage,C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序中每个判定以及条件的真/假取值.现有的自动测试生成方法在针对该准则的测试用例生成过程中存在很多不足:例如符号执行方法很难处理较为复杂的非线性条件约束,并在处理程序的规模上受到很大限制;希尔攀登法由于在搜索过程中易陷入局部最优而难以达到满足C/DC准则的高覆盖率;模拟退火法和遗传算法依赖于用户使用过程中的复杂配置,测试用例生成效果具有一定的随机性.针对这一现状,本文提出了一种新的线性拟合制导测试用例生成方法.依据C/DC准则,该方法将程序中的每一个条件判定规范化为一个与零值比较的数值函数,并以插桩与执行获得该函数当前输入下的采样.通过拟合这些采样,能够逐步判断出程序中各个条件判定与输入的关系,并利用这些关系生成高覆盖率的测试用例.相对于传统方法,本文方法具有参数配置简易,生成过程高效等优点,并且能处理带非线性条件约束,逻辑复杂的程序.在3个开源软件库中的25个真实程序上运行的实验结果表明,本文提出的方法比目前以覆盖率见长的遗传算法(Genetic Algorithm,GA)制导方法具备更好的覆盖能力与更高的执行效率.     

设备驱动程序可靠性和正确性保障方法与技术研究进展

随着计算机技术的不断发展,计算机系统在安全攸关领域得到了广泛应用,其中的软件系统正逐渐成为重要的使能部件.在计算机系统中,设备驱动程序扮演了软件与硬件设备之间桥梁的角色.由于与计算机平台、操作系统、设备3个方面同时关联所导致的复杂性,设备驱动程序的开发难度大、成本高,程序中所存在的错误和缺陷常常导致系统失效,在安全攸关领域造成不可挽回的损失.以设备驱动程序可靠性和正确性保障为目标,分别从故障的隔离与恢复、正确性分析和验证、设计建模与复杂性控制这3个方面对当前相关方法和技术进行分析,为开展进一步深入的研究工作打下基础.     

地方财政力助既有建筑节能改造

为按时完成任务,内蒙古自治区财政按1：1比例与中央财政匹配先行拨付,并要求盟市财政承诺,采取施工单位垫资、供热企业、物业企业、居民个人筹资等办法,不影响工程的按时启动正常施工,不影响整个既有建筑节能改造工作的开展。     

播出前端射频自动循环监控、监录系统简介

介绍了有线电视播出前端“射频自动循环监控、监录系统”的作用和制作方法。该系统可实现前端输入、输出信号同时监控,双层防范,从而有效遏制非法信号的干扰和攻击。该系统制作简单,资金投入少,安全可靠,适用于市县级有线播出前端信号的监控、监录。     

播出前端射频自动循环监控、监录系统简介

介绍了有线电视播出前端"射频自动循环监控、监录系统"的作用和制作方法.该系统可实现前端输入、输出信号同时监控,双层防范,从而有效遏制非法信号的干扰和攻击.该系统制作简单,资金投入少,安全可靠,适用于市县级有线播出前端信号的监控、监录.