国家科技攻关计划(2005BA113A02)
- 作品数：6 被引量：20H指数：3
- 相关作者：梁洪亮王永吉顾昊钱晓俊李涛更多>>
- 相关机构：中国科学院软件研究所中国科学院研究生院中国科学院大学更多>>
- 发文基金：国家科技攻关计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 使用容量指标的安全实时数据库信道限制方法被引量：2
- 2008年
- 依据可信计算机系统评测标准(TCSEC)要求,提出一种使用信道容量指标的安全实时数据库中数据竞争信道的限制方法(CUCCMM),给出了限制过程中信道容量度量算法和限制参数计算方法。为了保证系统的信道容量限制标准的准确执行,提出了一种基于多概率的并发控制协议选择策略(MPBPSP)。实验结果证明CUCCMM方法可以有效地、准确地实施对隐蔽信道容量的限制,并且通过使用MPBPSP策略显著降低了信道限制操作对系统实时性能的影响。
- 曾海涛王永吉阮利祖伟蔡嘉勇
- 关键词：信道容量
- FreeBSD中I/O系统的研究与分析
- 2007年
- FreeBSD操作系统提供了一个性能突出、便于扩展、灵活性高的经典I/O子系统。通过分析FreeBSD内核源代码对I/O子系统进行了深入研究,并以一个读请求的实例清晰地展示了其输入/输出操作的整个流程。
- 潘学俭梁洪亮吕洪利
- 关键词：FREEBSD
- 一种编译优化测试用例自动生成方法的设计与实现被引量：2
- 2009年
- 编译器的质量保证对提高软件产品的质量有着重要作用,对编译优化的测试是其中的核心部分.对编译优化的测试需要大量的测试用例程序.要构造这些测试用例,使用传统手工构造方法面临着效率低的问题,而基于文法的构造方法则针对性不足.从对优化的形式化描述出发来自动构造测试用例能克服这些缺点.本文设计并实现了一种基于形式化描述的编译优化测试用例程序生成方法.该方法基于编译优化的时序逻辑描述构造关键顶点控制流图,逐步转换为控制流图并得到用例程序.针对GCC(版本4.1.1)进行的覆盖率测试实验表明,该方法可以生成具有较高针对性的测试用例,并达到相当的覆盖程度.
- 曾伟明薛云志赵琛贺也平
- 关键词：时序逻辑测试用例
- 基于Snort规则库的冲突检测被引量：3
- 2008年
- 为了解决Snort入侵检测系统中由于规则库存在冲突而可能导致的漏报和误报问题,提出了检测规则冲突的方法。定义了规则之间的关系;通过单根结构的策略树简单有效的表示规则,并揭示规则之间的关系;由规则之间的关系和相对顺序定义了冲突的类型,并通过冲突状态转换图反映冲突发现的过程,在此基础上进一步提出冲突检测算法;最后对Snort规则库的一部分进行检测,结果表明这种方法可以有效发现冲突。
- 余文卫王永吉
- 关键词：入侵检测系统
- 具有事件恢复功能的文件系统的研究与实现被引量：4
- 2009年
- 把一个进程在其执行过程中对文件的一系列修改称为一个事件。为了解决如何方便有效地恢复某个事件对文件的修改,研究并实现了一个具有事件恢复功能的文件系统GobackFS。GobackFS是一个用户空间文件系统,基于FUSE框架实现。测试结果表明,GobackFS文件系统在读写性能方面略低于Ext3文件系统,寻道速度方面略高于后者。
- 李涛梁洪亮
- 关键词：FUSEEXT3
- 开源平台下软件管理技术的研究被引量：9
- 2007年
- 基于开源软件平台基本特点的分析,对目前具有代表性的apt/dpkg、yum/RPM、BSD ports和portage等软件管理技术进行分析,对比和总结了现有技术特征和一般结构,探索了开源平台下软件管理技术可能的发展方向。
- 顾昊钱晓俊梁洪亮
- 关键词：软件管理软件包开源软件
