您的位置： 专家智库 > >

江昌海

作品数：8 被引量：31H指数：2
供职机构：北京航空航天大学更多>>
发文基金：中国航空科学基金国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 6篇专利
  • 2篇期刊文章

领域

  • 3篇自动化与计算...

主题

  • 4篇软件测试
  • 3篇软件测试过程
  • 3篇软件自适应
  • 3篇自适
  • 3篇自适应
  • 3篇系统参数
  • 3篇估计值
  • 2篇电传
  • 2篇电传飞行控制
  • 2篇验证环境
  • 2篇硬件
  • 2篇硬件设计
  • 2篇系统设计
  • 2篇系统硬件
  • 2篇系统硬件设计
  • 2篇控制软件
  • 2篇飞行
  • 2篇飞行控制
  • 2篇飞行控制软件
  • 1篇等价

机构

  • 8篇北京航空航天...

作者

  • 8篇江昌海
  • 8篇蔡开元
  • 6篇胡海
  • 4篇白成刚
  • 3篇郑征
  • 2篇顾博
  • 2篇李永超
  • 2篇胡德斌
  • 2篇景涛
  • 2篇朱波
  • 1篇刘永祥
  • 1篇殷蓓蓓
  • 1篇叶锋

传媒

  • 1篇软件学报
  • 1篇计算机工程与...

年份

  • 1篇2012
  • 1篇2011
  • 2篇2010
  • 1篇2008
  • 1篇2006
  • 2篇2005
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
软件关联缺陷的一种检测方法被引量：26
2005年
软件中的关联缺陷是一种比较普遍的现象,某些缺陷的存在与否可能导致其他缺陷检测率的变化.软件关联缺陷是造成软件失效关联的根源.给出了关联缺陷的定义,通过一个软件实例验证了缺陷的关联关系,提出了一种缺陷放回的测试方法用来剔除关联缺陷,并通过实验数据分析了缺陷放回方法的能力和效率.实验数据表明,该方法能有效检测软件关联缺陷.
景涛江昌海胡德斌白成刚蔡开元
关键词：软件测试
一种支持电传飞行控制系统设计、验证与确认的开放平台
本发明一种支持电传飞行控制系统设计、验证与确认的开放平台，由五个功能模块组成，它们是：1)电传飞行控制系统需求分析、验证与求精的环境模块；2)电传飞行控制系统设计、验证与确认环境模块；3)电传飞行控制系统硬件设计环境模块...
蔡开元朱波郑征江昌海胡海
文献传递
软件自适应测试方法
软件自适应测试方法：(1)根据可控马尔可夫链模型，得到以下方程：见右下(1)式；j＝2，3，...，N；(2)根据上述方程，在软件测试过程中，每一步选取的测试决策应满足：见右下(2)式；(3)如果被测软件参数N和θ<Su...
蔡开元胡海顾博白成刚李永超江昌海
文献传递
一种面向可靠性评估的软件自适应测试方法
一种面向可靠性评估的软件自适应测试方法，它用五大步骤：步骤一、根据可控马尔可夫链模型，得到测试过程的控制器方程；步骤二、由控制器方程，在软件测试过程中，每一步选取的测试决策应满足期望目标函数值最小；步骤三、如果被测软件参...
殷蓓蓓蔡开元吕俊鹏胡海江昌海
文献传递
一种支持电传飞行控制系统设计、验证与确认的开放平台
本发明一种支持电传飞行控制系统设计、验证与确认的开放平台，由五个功能模块组成，它们是：1)电传飞行控制系统需求分析、验证与求精的环境模块；2)电传飞行控制系统设计、验证与确认环境模块；3)电传飞行控制系统硬件设计环境模块...
蔡开元朱波郑征江昌海胡海
软件自适应测试方法
软件自适应测试方法：(1)根据可控马尔可夫链模型，得到以下方程：v(j)=<Image file="200410009711.1_AB_0.GIF" he="165" imgContent="undefined" img...
蔡开元胡海顾博白成刚李永超江昌海
文献传递
软件可靠性分析、测试与评估工具——SRATE介绍被引量：5
2005年
软件可靠性分析、测试及评估工具(SRATE)是一个集软件可靠性分析、测试及评估于一体的软件工具。该工具支持多种测试策略下的软件自动化测试及评估试验,包括随机测试策略、自适应测试策略等。该工具还集成了包括欧洲航天局的space软件、浙大CAD&CG国家重点实验室的Intra3D构件库在内的多个典型被测对象。根据工具接口要求可以方便的添加新的测试策略和测试对象。具有自动化程度高、通用性强、配置灵活、易于扩展的特点,是进行软件可靠性分析研究工作的有力工具。
景涛江昌海刘永祥胡德斌白成刚蔡开元
关键词：软件可靠性分析软件可靠性测试软件可靠性评估
一种动态随机测试方法
一种动态随机测试方法，它包括下列步骤：(1)将测试用例或测试对象输入域划分为若干个等价类{C<Sub>1</Sub>，C<Sub>2</Sub>，…，C<Sub>m</Sub>}；(2)确定一个初始的测试剖面{p<Sub...
蔡开元胡海江昌海叶锋郑征
文献传递
全选 清除 导出
共1页<1>
聚类工具0