【摘 要】
：
该文提供了一种测试系统函数健壮性的方法——类每函数测试方法,这种方法可以对操作系统的系统函数或系统调用进性健壮性测试,它适用于测试多数的系统函数,包括一引起没有参
论文部分内容阅读
该文提供了一种测试系统函数健壮性的方法——类每函数测试方法,这种方法可以对操作系统的系统函数或系统调用进性健壮性测试,它适用于测试多数的系统函数,包括一引起没有参数或没有返回值的系统函数,并且主要发现的是可再现性健壮性失效.应用此方法该文搭建出一个sockets测试平台以及客户端和服务器端的八个模块,对Linux操作系统的文件I/O类,文件目录类、字符串类和数学函数等四类的20个系统函数进行了健壮性测试、得到了具有实际意义的测试数据,通过对这些数据进行分析得到了一些引起健壮性失效的主要原因,部分函数还给出了健壮性空间分布图.该文最后采用两种方法分别对四类Linux操作系统函数的健壮性进行了评估,并给整个Linux操作系统进行了综合评定.
其他文献
该文对数据仓库的体系结构和相关技术进行了研究,分析了数据仓库的重要应用——联机分析处理和数据挖掘的功能和实现中的相关技术和方法.在此基础上,设计了上海宝钢能源管理
该文提出了使用XML结构化地表示由件的思想.由于XML本身所具有的良好语法特性,使用XML格式邮件的系统可以方便地存取邮件的任意语法单位,而不必重复编码分析邮件的语法结构.
分类器系统是J.H.Holland等人提出的一类人工智能系统,主要目的是为了解决人工智能系统的适应性问题,试图赋予人工智能系统一种高级的学习能力,使它在实践中自动学习,并产生
该文针对给定的挖掘目标自动收集用户想要的信息,利用神经网络及贝叶斯的方法对网络数据挖掘进行了研究,并且完成了一个网络数据挖掘系统.该文首先对相关研究的最新进展、研
该文提出了适用于带关联的多商品交易的协商模型——OLCA,该模型关于协商规则的设计,不仅继承了经济领域市场机制设计的研究成果,并且针对网络运行环境对模型的影响,进行了改
随着Internet的飞速发展、企业的竞争环境和商务模式的改变，iERP（Internet based Enterprise Resource Planning）系统将取代原有的ERP（Enterprise Resource Planning）系统。对于大
如何在低带占用条件一保证较好的业务质量就成了视频会议系统研究的关键,作者研究开发的"分布式IP视频会议系统"较好地解决了这一问题,该文就是描述实现这个系统的若干关键技
该文首先介绍了现代生产管理的任务和内容,并分析了现代生产管理的特征.然后介绍了作为车间级的生产管理的任务和内容.在设计制造一体化生产环境下,柔性制造系统已从最初的强
该文利用平面直角机器人,主要研究了基于数码机机拍摄的照片和激光测距仪采样的具有纹理的曲面重构系统及其实现技术,在回顾了国内外曲面重构研究的相关进展之后,该文提出了