您的位置： 专家智库 > >

任健

作品数：4 被引量：0H指数：0
供职机构：北京航空航天大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 4篇中文专利

领域

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

主题

  • 3篇自动化
  • 2篇定制
  • 2篇引擎
  • 2篇语言描述
  • 2篇元模型
  • 2篇软件测试
  • 2篇软件测试过程
  • 2篇适航
  • 2篇自然语言
  • 2篇自然语言描述
  • 2篇项目数据
  • 2篇可定制
  • 2篇可扩展
  • 1篇形式化
  • 1篇DO
  • 1篇DO-178

机构

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

作者

  • 4篇杨海燕
  • 4篇任健
  • 2篇张莹
  • 2篇刘超
  • 2篇吴际
  • 2篇杨阳

年份

  • 2篇2017
  • 2篇2015
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
一种基于RUCM的需求验证方法
本发明涉及一种基于RUCM的需求验证方法，具体包括以下步骤：输入需求，采用RUCM方法生成半形式化的需求表达方式；对需验证的内容进行定义；解析需求的自然语言描述文字，在元模型中定义RUCM模型中的元素，将需求以RUCM元...
吴际张莹杨海燕任健
一种基于RUCM的需求验证方法
本发明涉及一种基于RUCM的需求验证方法，具体包括以下步骤：输入需求，采用RUCM方法生成半形式化的需求表达方式；对需验证的内容进行定义；解析需求的自然语言描述文字，在元模型中定义RUCM模型中的元素，将需求以RUCM元...
吴际张莹杨海燕任健
文献传递
一种面向DO‑178C软件测试过程的目标验证及证据模型提取方法
本发明涉及一种面向DO‑178C软件测试过程的目标验证及证据模型提取方法，建立软件测试过程相关目标的论证结构，分析出对应的证据需求，并依据证据需求建立证据模型，依据证据模型，在项目数据对应证据模型时，实现目标论证的自动化...
刘超杨阳杨海燕任健
文献传递
一种面向DO-178C软件测试过程的目标验证及证据模型提取方法
本发明涉及一种面向DO-178C软件测试过程的目标验证及证据模型提取方法，建立软件测试过程相关目标的论证结构，分析出对应的证据需求，并依据证据需求建立证据模型，依据证据模型，在项目数据对应证据模型时，实现目标论证的自动化...
刘超杨阳杨海燕任健
全选 清除 导出
共1页<1>
聚类工具0