战茅
- 作品数：31 被引量：3H指数：1
- 供职机构：北京系统工程研究所更多>>
- 发文基金：国家高技术研究发展计划国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 面向CBS的可测试性评估方法研究
- 2010年
- 本文主要研究了基于构件的软件(Component-based Software,CBS)可测试性的验证方法,并以此为基础分析了评估CBS可测试性的策略,包括可测试性评估的等级、可测试性评估的方法,力图对CBS的可测试性做出一个合理的评估结果。
- 宗建建战茅李冬红
- 关键词：CBS可测试性
- 高可信通用信息处理环境中负载平衡模型
- 讨论高可信分布式信息系统中的负载平衡策略,结合应用介绍了一种高可信通用信息处理环境中的负载平衡模型.
- 赵燕君佟金荣战茅
- 关键词：任务调度负载平衡
- 文献传递
- 面向对象的分布式工程数据管理
- 1996年
- 本文提出了以Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ和ＯＯＤＢ支持分布式工程数据管理的一种实现方案。着重介绍了系统中工程数据对象的组织管理，面向对象数据库中的事务处理与分布访问的关系，以及分布计算环境对异地访问的支持。
- 战茅王怀民阳国贵吴泉源
- 关键词：面向对象工程数据管理分布式CAD
- 基于代码的软件可靠性技术研究
- 本文在介绍软件可靠性概念的基础上,介绍基于代码的软件可靠性的技术研究,同时介绍Ada语言的基于代码的软件可靠性分析工具Adawise.
- 李冬红佟金荣战茅赵燕君
- 关键词：代码可靠性软件开发编程语言
- 文献传递
- 基于SWIFI的操作系统容错性测试框架研究
- 操作系统容错性测试框架是在对国外相关可信基准（如DBench项目）进行充分研究的基础上,根据操作系统的具体特征确定操作系统容错基准的度量元、工作负载、故障负载等方面的研究内容,最终将基于软件实现的故障注入技术结合操作系统...
- 战茅唐乐乐李冬红
- 关键词：度量元
- 文献传递
- 一种基于CLM矩阵的服务按需动态组合方法
- 本发明提供一种基于CLM矩阵的服务按需动态组合方法，该方法构建基于目标系统中全部服务的CLM矩阵；其中，CLM矩阵的行代表服务的各个输入参数；CLM矩阵的列代表服务的输出结果；根据用户需求及用户引导，得到满足用户需求的服...
- 邓波齐超袁志坚林旺群苏晓艳战茅刘志忠彭甫阳唐乐乐许帅隋然
- 文献传递
- 嵌入式软件POSIX.1标准符合性测试
- 本文是由863操作系统测试项目支持的,重点针对<手机软件平台API标准>中RTL函数中和操作系统函数中POSIX.1标准覆盖的函数进行标准符合性测试,详细介绍测试RTL函数C语言编程接口的NIST-PCTS测试集和测试操...
- 李冬红战茅马泽原
- 关键词：嵌入式软件操作系统
- 文献传递
- 基于代码的软件可靠性研究
- 随着计算机在各个领域不断广泛深入使用,计算机软件已成为大部分产品的关键组成部分,如何提高软件的可靠性成为全球软件界广泛关注的问题.编码阶段产生错误的概率最大,因此开展基于代码的软件可靠性研究对提高软件可靠性能起到关键作用...
- 佟金荣李冬红战茅
- 关键词：软件工程代码分析可靠性
- 文献传递
- 基于SWIFI的操作系统容错性测试框架研究
- 本文对基于SWIFI的操作系统容错性测试框架进行了研究。操作系统容错性测试框架是在对国外相关可信基准（如DBench项目）进行充分研究的基础上，根据操作系统的具体特征确定操作系统容错基准的度量元、工作负载、故障负载等方面...
- 战茅唐乐乐李冬红
- 关键词：操作系统软件测试
- 一种基于文本的代码克隆检测方法研究
- 软件克隆检测在软件维护、软件结构优化等方面具有重要价值和意义。本文首先阐述了软件克隆的定义和分类，然后在基于文本的代码克隆检测方法基础上提出了一种基于增强点阵图法的代码克隆检测方法，该方法引入了"复制链&quo...
- 苏晓艳喻琳齐璇齐超战茅
- 关键词：代码克隆克隆检测软件维护
