环境错误注入测试机制

环境错误注入是一种动态的测试软件脆弱性的技术，建立在对系统脆弱性分类模型的基础上，通过选择一个恰当的错误模型，测试系统有意识地触发软件内部存在的安全漏洞。该测试方法对于通常使用的静态检测方法，是一种重要的补充。文章论述了环境错误注入系统的一种实现机制。     

图像水印的CIRC错误校正算法

提出一种新的基于CIRC错误校正的水印信息错误检测和校正算法,该算法根据CRC检测原理对提取出的水印信息进行检测是否错误,如果提取出的水印信息错误则采用CIRC对错误的数据进行纠错.实验结果表明,该算法可以有效地提高水印的鲁棒性.     

软件错误定位研究综述

错误定位是软件调试中的一个热点问题,旨在高效地检测出软件错误。首先根据研究方法的不同,将已有错误定位方法从轻量级和重量级两个角度进行分类并进行比较。轻量级错误定位技术不涉及程序依赖关系分析,在程序执行覆盖信息的基础上用统计学或数据挖掘等方法找出可疑错误代码的集合来定位错误;重量级错误定位技术涉及程序依赖关系分析,主要分析数据依赖、控制依赖关系或使用程序切片等来识别可疑代码。然后,总结了常用的评测数据集和评测标准。最后,对错误定位的未来研究趋势进行了展望。     

使用类型限定的系统依赖图检测整型错误

目前大多数的源码安全审计工具在整型错误的检测上具有局限性,往往只能检测整型溢出类型的漏洞。针对这个问题,对已有的系统依赖图（system dependence graph,SDG）检测模型进行了改进,结合类型限定理论提出了基于类型限定的系统依赖图（type-qualified SDG, QSDG）检测模型。该模型不仅可以用来检测C代码中潜在的绝大多数整型错误,而且还能根据其出错原因将其分类到所定义的八种错误类型。与SDG检测模型仅采用图同构算法进行检测相比,先使用类型推断算法再对QSDG进行检测可以降低检测所花费的时间。     

结合用例约简与联合依赖概率建模的错误定位

现有的测试用例约简方法不能有效提高错误定位精度,现有的软件错误定位方法不能充分分析元素间的依赖关系.针对以上问题,提出结合测试用例约简和联合依赖概率建模的软件错误自动定位方法,将测试用例约简与软件错误定位统一为一个整体.不同于一般的测试用例约简方法,所提出的测试用例约简方法在程序执行路径的基础上充分考虑了错误测试用例对错误定位的影响,能够为错误定位提供有效的测试用例,为快速、准确地定位软件错误奠定基础.定义了一种新的统计模型——联合依赖概率模型,充分分析了程序元素间的控制依赖、数据依赖以及语句执行状态,并提出基于联合依赖概率模型的错误自动定位方法.通过计算联合依赖关系的可疑度,对可疑节点进行排序,准确定位错误语句.实验结果表明：与SBI,SOBER,Tarantula,SF和RankCP方法相比,该算法可以更加有效地定位软件错误.     

融合多通道CNN与BiGRU的字词级文本错误检测模型

文本校对是自然语言处理领域的重要分支。深度学习技术因强大的特征提取与学习能力被广泛应用于中文文本校对任务。针对现有中文文本错误检测模型忽略句子连续词间的局部信息、对于长文本的上下文语义信息提取不充分等问题,提出一种基于多通道卷积神经网络（CNN）与双向门控循环单元（BiGRU）的字词级文本错误检测模型。利用Word2vec向量化待检错文本,采用CNN挖掘待检错文本的局部特征,使用BiGRU学习待检错文本的上下文语义信息及长时依赖关系,并通过Softmax处理后输出文本分类结果以判断文本中是否含有字词错误,同时采取L2正则化和dropout策略防止模型过拟合。在SIGHAN2014和SIGHAN2015中文拼写检查任务数据集上的实验结果表明,与基于长短时记忆网络的文本错误检测模型相比,该模型的检错F₁值提升了3.01个百分点,具有更优的字词级文本错误检测效果。     

面向软件错误定位的测试用例约简技术综述

在整个软件开发周期中,软件测试占软件开发和维护成本的一半以上,而软件错误定位是一个最困难,最耗时的任务。错误定位技术以定位软件中的错误代码为目的,通过在待测程序上运行合适的测试用例的基础上,分析并定位错误语句。由于错误定位的精度高度依赖于选择的测试用例,测试用例的数量和质量是决定错误定位的成本和有效性的关键因素,因此,面向错误定位选择有效的测试用例,不仅有助于分析软件错误产生的原因,还能极大地提高软件错误定位的效率。首先对面向错误定位的测试用例约简方法进行了分类,并对各类测试用例约简方法进行了分析和总结,进而指出了其中存在的问题和未来的研究方向。     

一种控制流错误检测方法的实现

本文介绍了一种控制流错误检测方法的实现。该方法将看门狗定时器、软件看门狗、程序块信号自检和错误捕捉指令等方法有机地结合在一起。看门狗能有效地检测出永久控制流错误,软件看门狗能检测出死循环,而程序块信号自检则能够检测出时间极短的瞬时控制流错误。这种综合检测方法的实现复杂性要比看门狗处理器低得多,同时又能达到一定的检错覆盖率要求,并且检测的延迟时间比较短。     

MPEG-4错误检测和定位技术研究

如何在低带宽和高噪声信道环境下传输压缩视频和改善接收到的视频质量是当前视频技术研究的一个热点问题.简要介绍MPEG-44种错误恢复工具的基本原理,讨论了错误数据恢复的3个步骤.由于错误检测和定位是错误恢复的基础,因此,将重点讨论错误检测和定位的几种主要方法,并详细介绍一种基于数据隐藏的错误检测与定位技术.     

自适应网格错误检测框架研究

针对网格计算可靠性需求提出了一种自适应的网格错误检测框架，该错误检测框架包括两个重要算法：单进程间错误检测算法以及错误检测器管理算法．该错误检测框架借鉴分布式不可靠错误检测服务研究以及关系型网格监控架构的思想，按照层次是方式组织错误检测服务．错误检测框架能够根据系统的运行状况以及用户需求动态调整系统参数以及系统部署结构，最后给出了系统的性能数学分析以及实验评测，结果显示系统具有良好的可扩展性和使用灵活性．     

软件适应性度量方法研究*

为了能够通过软件的源代码度量面向对象软件的适应性,提出了一个包含七个具体度量指标的软件适应性度量模型,并开发了在Java软件中提取各度量指标的支持工具FlexTool;为了避免通过手动调整大量软件源代码的方式度量软件适应性,使研究人员能够在不太了解软件实现细节的情况下对适应性进行度量,提出了将该适应性模型应用于软件版本的演化从而度量软件适应性的方法,并通过著名开源软件Ant的版本演化对该方法的合理性进行了验证。     

软件

给3ds Max提速 我是一名大一学生，这个学期我们就要学习使用3dsMax软件，为此我专门升级了一块128MB显存的显卡，但升级之后运行3DSMax软件并没有感觉速度有明显提高，请问这是为什么？     

软件

破解Word保护文档；《酷狗》播放音乐不正常；取消Word菜单栏自动隐藏功能；关闭RealPlayer自动更新功能；如何防止别人复制，发送文件。     

软件

下载文件出现磁盘不可写；无法直接打开XLS文件；运用Premiere出现错误；卸载Windows Media Player 11；加载wint.dll出错；将音量控制放在Foobar主窗口中。     

安全关键软件的安全性保障工作研究

安全关键软件如果发生故障,可能会对国家财产和人民安全造成巨大的损失,所以需要重点考虑它们的安全性.但是由于当前还无法精确地定量评估软件安全性,而只能在软件生命周期中从安全性角度对开发行为进行规范和保障.概述了安全性相关的概念,并给出了一个完整的安全关键软件安全性保障工作流程.     

软件

NOD32扫描内存发生错误 最近，我安装的NOD32总是提示“扫描系统内存时发生错误。System memory cannot be scanned（the kernell的MBR区。物理磁盘未查明的TSR.BOOT病毒[7]”。请问这是什么原因？     

软件

显示器无法更改显示画面大小；巧用页眉功能批量添加文本框；记录大量小文件时为何出错；修改“文档结构图”中的文本格式；无法打开GHO文件。     

软件

卸载TC插件；清除及关闭MPC历史记录；为录音文件添加背景音乐；在右键菜单中添加使用TC打开；不让Photoshop保留最近最近打开的文件；为何Word会生成很多文件。[编者按]     

软件

无法安装VMWare；无人值守安装Media Player；分区文件格式转换；批量处理Excel中的错误；用DVD盘来刻录CD；编辑自动弹出窗口中的项目.[编者按]