共查询到20条相似文献,搜索用时 546 毫秒
1.
本设计基于Windows平台上文件格式漏洞分析方法,通过Fuzzing技术实现对软件的自动化安全测试,提出基于文件内容变异和基于文件结构生成两种生成畸形文件方法,利用反汇编引擎libdasm完成对目标程序的异常监控。用C#和C语言实现一个比较完整的文件格式Fuzzing测试系统,能够对目标程序进行Fuzzing测试,并将测试结果通过UI展现给测试人员对应用软件进行Fuzzing测试,并将测试结果展现给研究人员。 相似文献
2.
为验证某型直升机飞行控制系统功能,开展试飞测试,需对全采集的飞控总线(DFTI)数据进行处理,并按专业飞控分析软件标准格式数据文件的要求导出数据。本文针对原试飞测试数据处理软件导出二进制源码数据解析成物理量参数后数值异常问题,首先对比测试源码数据,分析数据处理系统处理导出数据类型和文件格式,确定数据异常原因。然后改进数据处理导出软件模块,优化数据处理导出流程和操作界面,有效实现了DFTI总线源码数据的正确处理和导出。 相似文献
3.
针对网络通讯软件的Fuzzing技术受限于协议格式,尤其是未知协议难以保证测试效果,提出了基于符号表达式的协议分析方法.将数据包关键处理代码翻译为符号表达式,利用符号表达式的丰富含义加快未知协议格式分析,并依此开发了协议格式分析及漏洞挖掘框架PAVD.通过对亿邮客户端的漏洞测试,验证了PAVD能有效提升协议分析效率,为网络通讯软件Fuzzing测试提供良好的支持. 相似文献
4.
5.
通过一个项目实例,提出了运行在NetBox环境下的ASP程序的一种软件保护技术。该技术依靠NetBox的天然优势,可以隐藏ASP程序源码。通过读取主机的处理器编号作为机器特征码,使用自定义算法实现了ASP程序"一机一序列号"的目标。该技术可以有效地防止系统被非法拷贝到其它主机上运行,从而保护系统版权。 相似文献
6.
7.
采用模型检测方法验证微内核操作系统的进程间通信机制,提出了一种从源码提取验证模型的方法.该方法以L4操作系统的进程间通信机制的C++源码实现为检验对象,从源码实现直接提取形式化模型,得到Promela语言的模型描述,可以直接应用模型检测器Spin对其进行正确性检测.实验表明了该方法的可行性和实用性. 相似文献
8.
9.
在直流调速系统中,对电机进行速度测试是其中很重要的部分,系统采用16位单片机高速芯片(80C196KC)加上传感器作为测速的主要元件,详细介绍了测速软件的设计过程,根据过去单片机测速软件设计的不足,并提出了修改意见,最后对程序进行了效果测试。 相似文献
10.
11.
12.
13.
本文描述了DM365的启动方式,主要分析了NAND启动方式,同时对UBL源码进行了分析。 相似文献
14.
SP-502气相色谱仪是在SP-501基础上研制的新一代色谱仪。它用微机控制带有高灵敏度的热导检测器(TCD)、氢火焰离子化检测器(FID)、电子捕获检测器(ECD)、火焰光度检测器(FPD)和氮磷检测器(NPD),并配有裂解和五阶程序升温装置。我们对该仪器进行了较长时间的连续运转、性能测试和实际样品的测定。测试结果表明该仪器的设计技术指标达到国外同类仪器80年代初的水平。本文主要介绍氢火焰离子化检测器和火焰光度检测器的性能测试和应用考察,并用它的色谱微处理机进行数据处理实验。一、氢火焰离子化检测器的性能测试及应用 1.基线稳定性色谱操作条件,5%SE-30/Chromosorb W AW-DMCS 80—1000目,1.5m×3.0mm(I·D)玻璃柱。操作温度t柱=80℃,t汽=120℃,气体流量N_2(99.99%) 相似文献
15.
μC/OS-II是一个源码开放的嵌入式实时操作系统,具有执行效率高、占用空间小和扩展性强等特点,尤其适合于小型控制系统。作为实时操作系统,μC/OS-II采用可剥夺性实时多任务内核,可以满足较高的实时性要求,是做嵌入式系统开发时很好的扩展平台,本文基于AT91开发板,做了一个该系统的成功移植,并做了成功测试。 相似文献
16.
17.
18.
1.1背景和目的 完形填空(the eloze test),又叫完形程序(cloze procedure)。这一测试方法是1953年由W.L.Taylor创设的,其根据来自于格式塔心理学(Gestalt Psychologyl。用来测试以英语为本族语的人所阅读的文章的难度。此后,拉德尔等人多次在研究中发现完形填空是测试阅读能力的一种灵敏度很高的测试手段。他们的研究表明,完形填空题考试和多项选择阅读理解题考试有很高的相关性。 相似文献
19.