Klocwork在嵌入式软件静态测试中的应用

本文简要介绍了嵌入式软件及其测试的发展现状．简要阐述了嵌入式软件静态测试的主要内容,并结合实例对KIocwork软件测试工具进行介绍．说明了Klocwork在嵌入式软件静态测试中的应用。     

基于有向拓扑势的用户角色分析方法

真实世界中存在大量有向、加权、动态的网络。针对有向加权网络的节点角色分析问题,提出了一种基于有向拓扑势的节点角色分析方法,该方法根据节点的行为模式及局部影响力将节点划分成4种角色。然后介绍了基于节点角色的动态网络演化分析方法,它能对角色行为进行动力学建模,展示了随时间连接模式的变化,并能检测较大影响的事件。实验结果表明,本方法能有效估计节点角色并检测动态网络的演化。     

党政机关网站面临的主要安全问题

党政机关网站是政务公开的重要窗口,代表着党政机关的形象,但其安全问题却日益突出,本文从最常见的安全问题出发,分析了这些问题给党政机关网站带来的危害并提出了相应的解决办法,建议从网站的开发、部署、运维等阶段加强安全控制,保障党政机关网站的安全性。     

基于数据交换模型的测试方法

通过深入地研究数据交换的通用模型,抽象数据交换的过程状态和规则,提出了一种基于数据交换的测试模型及其测试的方法,该方法能够适用于绝大多数数据交换场景的测试并有效地提高测试效率.最后给出了未来的研究方向.     

基于动态防御策略的石油石化工控网络安全防护方法

<正>石油石化产业是支撑国家经济发展与保障社会稳定的基石，是国家关键基础设施的重要组成部分。随着工业化与信息化的深度融合，由于其重要的经济和政治价值，它们已成为网络攻击的首选目标。现有静态防护策略（如防火墙、入侵检测系统）无法防御日益复杂的新型未知网络威胁，致使石油石化工控系统面临严峻的网络威胁挑战。本文提出一种基于动态防御策略的石油石化工控系统防护方法 ：首先，通过网络主动跳变、快速迁移构建一个动态“平行网络”，动态改变攻击面，使攻击者无法找到攻击目标；然后，设计一种全新的自适应蜜网系统，在网络中营造出大量以假乱真的业务节点及业务网络，引诱攻击者进入虚假业务网络以实现实时捕获与阻断；最后，提出一种基于异构图卷积网络的攻击行为分析方法，有效识别和定位包括APT攻击在内的网络攻击模式，有效识别并阻断新型未知网络威胁。     

基于TRCSP和L2范数的脑电通道选择方法

脑-机接口（BCI）系统常用高密度电极通道来获取较高空间分辨率的脑电（EEG）信号，但同时也会引入过多的噪声通道，影响脑电的解码性能。为了消除无关的噪声通道，提出了一种基于Tikhonov正则化共空间模式（TRCSP）和L2范数的运动想象脑电通道选择方法。首先基于TRCSP和分类器得到最优的空间滤波器，接着基于L2范数对空间滤波器得到的各通道的权重值进行排序。选择前K个通道的数据进行CSP特征提取，根据分类器的分类准确率确定最优K值，进而得到最优的通道数和通道组合。在实验中，使用6种分类器分别在BCI竞赛III（2005）数据集IVa和实验室自采集数据上验证所提出的通道选择方法的有效性。所提出的方法在两个数据集上的平均分类准确率分别达到了87.57%和74.32%，优于其它现有的方法。     

陷入困局的“折子工程”

面对项目管理中出现的困难,面对单位领导的批评,陈事绞尽脑汁思考解决办法,不到一个月他已经消瘦了许多。     

IT临理呼之欲出

信息化中的“豆腐渣”工程因其无形而被人忽视,但它却时刻羁绊着信息化前进的脚步。需要一种机制来保障 IT 项目的工程质量。于是——     

软件开发质量和风险的定量监理

在上一期中．我们介绍了软件开发过程中进度的定量监理方法，质量和风险这两个指标也同样需要进行定量监理，以便项目实施者和监理方，在实际开发过程中可以有一个参考的目标，在本期中．我们在介绍中仍以上期中CAD软件为例，利用上一期的计算结果，对质量和风险进行估算。     

智能终端产业发展对策分析

在《2013年第一季度中国移动互联网应用安全检测与分析报告》中指出,近半数的安卓应用存在可疑行为,非官方商店的应用感染比例也在逐渐上升,恶意应用逐渐攀升。