软件模型检测新技术研究

软件模型检测以其潜在的商业价值一直为学术界和工业界关注．本文通过剖析模型检测工具SLAM，探讨软件模型检测的机理、方法及若干核心技术，并总结出软件模型检测的一些新策略．     

勒索软件检测技术研究

勒索软件是指通过锁定设备、加密或损毁文件等攻击形式进行金钱勒索的恶意软件。近年来,全球勒索攻击呈爆发式增长,为遏制勒索攻击的高发势态,安全研究人员提出诸多检测技术,以实现对勒索软件的快速研判响应。本文对现有研究工作进行系统归纳总结,并根据勒索软件的发展趋势,讨论检测技术未来可行的研究方向。     

并行软件模型检测

并行化是提高模型检测效率的重要手段。该文研究了基于标号迁移系统的C程序模型检测,提出一种软件模型检测并行化的方法。该方法利用软件模型检测工具模块化验证(MAGIC)的模块化特性对C程序进行组件分解,将各组件均衡地分发到若干计算节点,由节点调用MAGIC完成验证。由于保证节点间只有少量的通信与同步,该方法能达到较好的并行加速比,具有良好的可扩展性。实验结果显示,该方法大幅压缩了检测时间,有利于大规模软件的形式化验证。     

电子邮件检测软件—CIECheck

收发电子邮件是网友们上网常做的一件事。网上有许多免费的电子邮件收发软件（Ｏｕｔｌｏｏｋ Ｅｘｐｒｅｓｓ、ＦｏｘＭａｉｌ、ＴｈｅＢａｔ！、Ｂｅｃｋｙ！等等）可供网友们下载使用,大家可根据个人的喜好各取所需。本文要向大家介绍一款用于检测电子邮件的实用软件──ＣＩＥＣｈｅｃｋ ４．２。通常的ＥＭａｉｌ收发软件（如ＦｏｘＭａｉｌ等）要接收邮件时,一般要人工干预,选择“接收邮件”,然后由软件检查邮件服务器上是否有新邮件,若有则下载至本地。这样我们就无法在执行接收操作前预知邮件服务器上是否有新邮件,由此造成空…     

软件故障跟踪检测方法

本文对软件故障采用了一种故障点跟踪的软件检测方法,对软件故障进行了分析,讨论了故障点检测原理,实现方法以及测试数据的选择原则,测后处理措施。     

浅析软件同源性检测技术

软件的同源性分析是计算机编程语言研究的一个重要方面,这个领域现在主流的有三大类的研究：基于文本的同源性比对、基于Token的同源性比对和基于源代码语法结构的比对。其中一些技术已经得以实现并成为可以应用的工具。     

硬件检测软件面面观

面对种类繁多的电脑硬件，困惑的你除了买前要辨别真假外，买后也会想进一步了解它的具体功能吧？不过，单凭肉眼是很难辨认真假的，怎样才能辨认买的是正宗的硬件呢？它们具体有什么功能呢？用用下列介绍的检测软件一校真假吧。一、显卡检测工具：软件名称：3DWinBench2000 软件大小：84741KB 应用平台：Win9x/NT/2000/XP 下载地址：www.skycn.com/soft/7206.html 3DWinBench是一个基于Direct3D的显示卡测试工具，该工具提供的测试项目非常多，光显示卡的性能测试就有60项，而且如果不完成这个测试，其它的测试项目也不能进…     

软件抄袭检测研究综述

随着开源软件项目的蓬勃发展,软件抄袭俨然已成为软件生态环境健康发展的威胁之一,其得到越来越多的研究人员、教育人员、开源社区及软件企业的关注,软件抄袭检测对于软件知识产权保护具有重要意义。本文对软件抄袭检测的研究现状和进展进行综述。首先介绍软件抄袭检测的意义和威胁模型;然后,根据应用场景和技术手段,从源代码抄袭检测、无源码场景下基于软件水印和基于软件胎记的抄袭检测三个方面,对现有软件抄袭检测技术进行阐述和比较;最后,通过分析软件抄袭检测研究存在的问题及其面临的挑战和实际需求,对未来研究方向进行了展望。     

软件模型检测中的抽象

软件模型检测对保证软件的正确性和可靠性具有十分重要的意义，而抽象是减轻模型检测中状态爆炸问题最重要的技术之一。本文综述当前广泛应用于软件模型检测中的抽象技术，介绍了该领域的进展及研究方向。     

全能检测软件SiSoft Sandra98

Windows95是一个相当复杂的系统,对使用者来说,不仅需要了解CPU、硬盘、内存的性能,还需要查看主板、CMOS和IRQ使用情况等软硬件信息,有时还要检查MSDOS.SYS、WIN.INI等系统配置文件。如果你有这些要求,可试一试全能系统检测软件SiSoftSandra 98(http://www.3bsoftware.com)。一、系统信息测试 SiSoft Sandra 98的系统信息测试功能很强,可测试驱动器、鼠标、系统、主板等24个项目(大约有30％的项目在试用版中不能使用)。每一个项目的测试方法基本相同,现以系统(system summary)测试为例,介     

软件故障检测技术及其发展探讨

软件在国民经济和社会生活中发挥着重要作用.软件出现故障给人们的工作、生活带来不便,甚至造成严重危害.文中简要介绍了软件基本测试理论与原则,讨论了软件故障检测和定位中所采用的方法及相应的过程,对软件故障检测技术的发展趋势进行了探讨.     

基于双格的软件产品线模型检测

软件产品线在保留每个产品的可变性前提下通过最大化产品间的共性实现资源的再利用,从而提高生产效率和节约生产成本。近年来,基于特征的状态迁移系统应用于软件产品线的建模和验证中。然而现有的方法不能很好地支持软件产品线中存在的信息不确定和不一致的情况。为此,首先提出一种基于双格的特征迁移系统,用于软件产品线的行为建模,采用投影的方法定义产品的行为模型;然后采用动作计算树逻辑描述系统的时序属性,并且给出它在新系统上的语义,用于支持基于双格的模型检测;最后,采用多值模型检测工具χchek对方法的有效性进行实验分析。     

模型检测技术在软件并行缺陷检测中的应用

多线程并行运行的软件在提高性能的同时,其交互的组合随着程序规模增大变得更为复杂,给软件的设计与验证带来了挑战.本文从常见的并行缺陷入手,提出使用模型检测的方法对其进行检测和分析,实践表明,使用该方法可有效检测此类并行缺陷.     

软件克隆检测技术研究

软件克隆检测在软件维护、软件结构优化等方面具有重要价值和意义。综述了软件克隆的定义与分类,对软件克隆的检测过程进行了划分和讨论,介绍了软件克隆检测领域最为活跃的代码克隆检测技术和模型克隆检测技术。最后对软件克隆检测的研究现状和急需解决的问题进行了分析,展望了该领域未来的研究方向。     

面向软件错误检测的数据流分析

程序中某一点的数据流状态与软件的执行路径有关。程序中的部分错误与变量所处的状态相关。提出的MUST数据流和MAY数据流反映了数据流的执行路径具有相关性的特点。根据不同变量的管理特点,从程序的控制结构出发,详细讨论了影响变量状态的各种因素及其之间的关系,提出了基于程序控制结构的、以基本块为最小程序单位的静态数据流分析方法,为精确地进行数据流分析提供了依据。