基于源代码的软件安全性测试研究

随着软件产品的广泛应用和其规模、复杂度的不断提高,软件中的安全漏洞也不断增多,由此所引起的软件安全性问题也日益突出。源代码安全是软件安全的基础,所以源代码的安全性测试成了保证软件安全最强有力的措施之一。明确了源代码安全性测试的主要内容和基本概念,论述了基于源代码的软件安全性测试方法和测试工具,并对测试方法和测试工具的选用提出自己的见解。

软件安全性测试技术研究

随着软件产品的广泛应用和其规模、复杂度的不断提高,软件中的安全漏洞不断增多,由此引起的软件安全性问题也日益突出。明确了软件安全性测试的主要内容和基本概念,论述了软件安全性测试方法和测试工具。并根据实际应用提出了一套工具分类方法。

基于PCI板卡的PLC测试系统的设计与实现

介绍了PLC测试系统的实现方法。该测试系统硬件使用PC机和工业PCI板卡,用于产生PLC的模拟/数字输入信号和监测PLC的模拟/数字输出信号,测试软件的开发基于Windows平台下的MFC。描述了硬件选型注意事项和测试软件结构,并详细阐述了测试软件中手动测试模块和自动测试模块的设计方法,最后举例说明如何使用基于测试用例集的自动测试来产生测试信号序列。该测试系统可以灵活方便地模拟工业现场的各种信号发生情况,图形化的测试结果形象直观,并具有一定的通用性。

新型配电主站系统消息总线性能分析与测试

消息总线服务为配电主站系统的各个模块提供基于topic的消息订阅和发布,其主体服务采用的是开源软件kafka;针对消息总线的性能,分析了大数据容量、数据处理速率、消费者上限和稳定性等主要性能指标;设计了一个海量数据处理及速率统计的测试框架,该框架主要采用Qt/C++实现;实际应用证明,该测试框架简单、易操作,很大程度上提高了测试效率。

基于Qt的软件内存泄漏静态检测技术研究

Qt继承了C++语言动态分配内存机制,保证了开发人员能根据实际需要灵活地使用内存,同时Qt也不可避免的要面对“内存泄漏”这个严重威胁软件安全的问题,虽然Qt采取了半自动化内存管理机制等措施,但不能从根本上解决问题;对此,提出了一种基于Qt的软件内存泄漏静态检测方法,该方法针对Qt的半自动化内存管理机制,通过静态分析被测对象中分配内存的代码识别出是否属于Qt自动管理的范围,从而准确地检测出内存泄漏和内存重复释放问题;并基于该检测方法设计了一种Qt内存泄漏自动检测工具,该工具能很大程度上提高测试效率。

源代码安全测试工具Fortify在Linux系统的测试研究

近年来,随着对软件安全重要性的认识不断深入,核心软件国产化的发展显著,在国产软件系统Linux下进行软件开发成为新的趋势。然而由于软件开发人员的素质差异,编程的不规范化,导致编写的软件被攻击的可能性增加,安全性要求进一步提高。在Linux系统下开展源代码安全测试,研究了简化Fortify在Linux系统下的使用方法,并结合Linux系统进行了安全问题的分析。