基于规范生成的文件模糊测试

为了解决传统文件模糊测试效率不高与功能遗漏的缺点,提出一种新的文件模糊测试算法.基于文件的规范,抽象地描述了文件推导规则,定义了文件模糊测试模板,设计了文件模糊变异模型.在规范描述下生成不同类型文件,然后对每类文件进行变异模糊测试,有效地减少了大量无效测试.实际测试中,已经验证3个已公开漏洞并发现两个未公开漏洞,表明了该算法的有效性.     

基于网络描述文件的LIN总线自动测试系统

针对LIN总线系统测试中存在的兼容性差、无故障界定、设计测试工装困难以及自动化程度低等弱点,提出了新型的基于网络描述文件的LIN总线自动测试系统,系统硬件设计采用上位机和下位PIC18F6520微控制器结构,上位机测试软件将LIN网络描述文件和体现LIN总线应用层行为的用户配置数据分析并转化为系统测试集,并实现车载LIN型ECU自动测试和故障帧ID标定,系统能根据不同的网络描述文件和用户配置数据实现对不同LIN总线系统的自动测试和故障界定,对提升车载LIN总线系统的自动化设计水平有重要意义.系统已应用于长城汽车部分哈弗车型的LIN总线相关电控单元的测试环节中,运行效果良好.     

基于内存映像文件的冰箱测试管理系统

基于内存映像文件的冰箱测试管理系统在Windows2000下。通过内存映像文件实现数据采集进程与测试管理进程间的通信。使数据采集和测试管理程序并行运行，保证了，数据采集的实时性、稳定性及测试管理系统对用户操作的快速响应，消除了用户使用的迟钝感。对类似系统的开发具有重要的借鉴作用。     

流文件MP4文件的核心技术

在MPEG4标准中，包括场景信息、对象信息、管理控制信息等信息都是以二进制形式进行编码并存放在流文件MP4中。MP4文件包含了与媒体数据时间序列相关的时间、结构、媒体信息(例如音频／视频表达文件)，并通过轨道将它们联系在一起。本文重点介绍流文件MP4中的下列关键技术：与创建MP4文件相关的场景描述、对象描述、场景描述与对象描述之间的关系以及MP4流文件的组成机制和基于网络播放MP4流文件机制等，并基于MP4文件格式实现了汉字显示技术，这些内容有助于在实际研究中创建MPEG4流文件和应用MPEG4流技术。     

分布式文件存储系统性能测试问题研究

分布式文件存储系统的性能测试不同于普通的文件系统性能测试。首先,需要根据系统支持的操作确定测试的benchmark,然后,需要根据系统的设计规模对多用户并发访问系统的情形进行模拟。在“燕星”分布式文件存储系统的性能测试中,对Andrewbenchmark进行改造,确定了测试的benchmark;基于RMIcallback机制,模拟了500个用户并发访问系统的情形。并将测试结果与NFS进行了对比,结果表明,“燕星”系统具有良好的实用性能。     

基于血统机制的文件模型

基于文件血统的访问控制机制是近年来提出的一种全新的控制思路与方法,本文是在此基础上,提出了基于血统机制的文件模型。主要描述了模型的定义,结构,约束条件,以及血统的验证过程,最后详细介绍和讨论了该模型的实现方法。     

结构描述文件及其应用

本文通过对ｄＢＡＳＥⅢ结构描述文件的分析，结合实际详细论述了结构描述文件在通用管理系统程序设计中的具体应用，以便从根本上来解决以往管理程序通用性差、难以移植和维护等问题。     

Fox系列数据库结构描述文件的新特性

文章归纳了Ｆｏｘ系统中数据库结构描述文件的一般特性，引出数据库结构描述文件的两个新特性；它了存在数据库结构描述文件和它可以带有附加结构参数，并给出了例证程序。     

TANGO文件向PSPICE文件自动转换的实现

1 两种文件的格式 (1)TANGO网络表文件分析:TANGO软件产生的网络表文件(*.NET)内容由两部分组成:①元件的标号及参数描述部分;每一对方括号“[”和“]”内描述了一个元件的信息,由6行组成,每行描述元件的一项参数并以回车换行符结束,只有第一、三这两行对PSPICE是有用的;②元件的连接关系描述部分;用一对圆括号“(”和“)”包含了原理图中一根线上(即一个节点)所连接的所有元件的管脚名称,第一行为节点名称,以后各行每     

如何在文字处理系统中调用数据库文件

我们在用一种文字处理系统编辑文稿过程中,经常会调用其它编辑器建成的文本文件或数据文件,但数据库文件不同于源文件形式的数据文件,其结构不同,信息量多,如描述字段的关型、长度等,唯独数据库文件有此信息,但在文稿编辑时又是多余的。所以,在文字处理系统中直接调用数据库文件会出现许多乱码或信息丢失。下面是笔者在不同文字处理系统中调用数据库文件所遇到的问题及解决的方法。１Ｗｏｒｄ字处理系统直接在Ｗｏｒｄ环境中读人数据库文件,无论是结构描述部分,还是段与段之间。记录与记录之间都会出现许多乱码。解决方法是借助与…     

机群文件系统共享语义测试方法

机群文件系统能否满足用户需要的共享文件语义涉及机群文件系统服务的正确性、性能和易用性。为验证该类特性,提出文件系统共享语义测试概念,实现一个文件语义测试系统FSbench。FSbench使用随机测试和划分测试相结合的方法测试和验证文件系统是否满足一定的语义特性。测试表明该方法能够得到令人满意的结果。     

适用于IPTV大并发应用的文件格式

分析交互式网络电视(IPTV)大并发应用的特性,提出一种适用于IPTV大并发应用的服务器内部文件格式cl4文件格式。该文件格式采用了符合IPTV大并发应用特性的音视频数据交织、媒体数据块状存储等组织策略。设计并实现了一种基于cl4文件格式的IPTV服务器。性能对比实验数据表明,使用cl4文件格式能够使IPTV服务器拥有更优的并发性能。     

基于Detours的文件操作监控方案

研究了两种文件操作监控常用的API钩挂技术,通过实验指出IAT Hook技术的不稳定性,提出使用基于Inline Hook技术的Detours来解决explorer.exe错误。最后给出了文件操作监控方案的实现方法,并对Detours技术进行了详细阐述。经测实验证,该方案确实能有效实现文件的安全保护。     

结合容量伪装和双文件系统的文件隐藏方法

针对现有基于通用串行总线(USB)移动存储设备的文件隐藏方法存在的鲁棒性差及隐藏强度低的问题,提出一种结合容量伪装和双文件系统的文件隐藏方法。在分析Nand flash芯片的特点及其管理机制的基础上,该方法通过篡改命令状态包(CSW)中的设备容量值,实现容量伪装,达到欺骗主机的目的;利用闪存转换层(FTL)存储管理机制,通过在物理块冗余区标记不同的内容把物理块分成两部分,划分隐藏区和普通区,利用格式化功能建立双文件系统;用户通过写特定数据发送切换文件系统请求,设备进行用户认证后完成文件系统切换,实现隐藏区的安全访问。理论分析和实验结果表明,该方法实现了对操作系统透明的文件隐藏;相对于挂接应用程序编程接口(API)、基于文件分配表(FAT)的修改以及加密等实现的文件隐藏方法,该方法不受系统对设备操作的影响,具有更好的鲁棒性和更高的隐藏强度。     

VHD文件结构解析

VHD(Virtual Hard Disk)文件格式是一种重要的虚拟硬盘格式。通过对VHD文件格式的详细分析,论述了虚拟硬盘和VHD文件地址之间的映射关系,以及怎样在宿主文件系统上向不同类型的VHD文件中存储数据。并通过了解VHD的新版本VHDX,明了新版本通过在结构上的改进,提高了性能指标。最后,对VHD、VHDX文件格式在虚拟化应用的前景做出展望。     

文件格式漏洞Fuzzing测试技术研究

Fuzzing测试是一种自动化发掘软件漏洞的方法,本文讨论了文件格式漏洞利用的现状及Fuzzing测试的研究进展,提出了一个文件格式漏洞Fuzzing测试框架,在FileFuzz的基础上实现了一种文件格式Fuzzing测试工具,可以实现对任意文件格式的测试,并可有效地提高测试效率,最后给出了该工具测试的实例。     

一种数字图像的栅格矢量混合文件格式

基于数字图像的自适应非均匀矩形剖分,定义了一种数字图像的栅格矢量混合的文件格式,称之为RV文件格式,它是在给定剖分精度下,对图像的不同剖分层次自适应地采用不同的储存方式,层次高的以栅格方式储存,层次低的以矢量方式储存。其优势表现在可以节省空间,对数字图像有压缩效果。特别是对巨幅图像的存储,空间节省优势更为显著。对巨幅logo图像进行了压缩性能评价实验,结果表明数字图像的RV文件对大面积连续灰度的图像有显著的压缩效果。     

RTF格式文件的自动阅卷系统研究

对RTF格式文件作了详细分析,制定了相应的计算机自动阅卷算法,包括从RTF文件中抽以实际文本内容,判断漏字、多字、错字三种不同错误类型,并编写了具体程序来实现。实验表明,利用本文设计的自动阅卷系统,可以大大提高教师阅卷的准确度和速度。     

FSbench:一个机群文件系统基准程序

FSbcnch是一种通用的基于Unix平台的机群文件系统基准程序，它使用独特的时间同步机制来测试文件系统真实并发时的性能，扩展了SPEC SFS的负载测试方法并用来测试多种机群文件系统，提供了多种测试共享文件的模式，可以测试共享文件的并行存取性能。     

浅谈数字音频文件格式及其转换应用

在广播领域使用的数字音频文件格式有多种,其中包括数字音频工作站的制作音频文件格式(S48),漫录系统音频文件格式(S48)以及Wav文件格式和MPEG-1音频压缩文件格式等等。该文针对广播电台常使用的两种音频文件格式进行介绍,并对这几种音频文件格式之间的转换方法和软件应用进行阐述。