便携式应急电源
镀铜焊丝的缺陷检测方法、装置、设...
电码的自动识别方法及存储介质
基于强化学习的楼栋摆放方法、装置...
用于观测水下生物的系统及其方法
一种电子设备的空中固件差分升级方...
一种印刷模切张力自动控制系统及其...
低功耗状态监控设备
一种利用RTP扩展头部解决视频帧...
一种高衍射效率相位型空间光调制器...
一种家装板材运输用包装机器人
航空发动机精密管路及其航空发动机...
宽光谱吸收的薄膜太阳能电池及光伏...
一种基于磁通压缩的脉冲磁体装置及...
一种总线访问仲裁装置及方法
一种处理网络抖动的方法及装置
基于光芯片的数据处理方法、装置、...
一种基于小基线条件下的大畸变广角...
一种自动识别设备间网络拓扑结构的...
基于光芯片的数据处理方法、装置、...
企业介绍页面,左右侧内容分别复制到相应容器即可,起始结束位置代码已作标注
专利名称一种基于RUCM的需求验证方法
申请日2015-07-16
申请号/专利号CN201510419702.8
专利权人北京航空航天大学
申请人北京航空航天大学
发明人/设计人吴际;张莹;杨海燕;任健
公告日2017-11-21
公告号CN104965956B
法律状态有效
专利类型发明
行业分类

摘要

本发明涉及一种基于RUCM的需求验证方法,具体包括以下步骤:输入需求,采用RUCM方法生成半形式化的需求表达方式;对需验证的内容进行定义;解析需求的自然语言描述文字,在元模型中定义RUCM模型中的元素,将需求以RUCM元模型实例的方式表现出来;自动化验证引擎基于需验证的内容,对RUCM元模型实例进行自动化验证;对自动化验证结果进行评估,如果评估结果不满足,则对应修改需求,重复上述步骤。所述方法在保证自然语言描述需求的部分灵活性的前提下,实现自动化验证,减少人力,节约成本;同时,可定制可扩展的自动化验证引擎能够满足用户针对特定项目的部分验证需求,并且能够随着RUCM方法或更多的验证需求进行扩展。
  关于我们  | 帮助中心  |  服务清单  |  发展历程 |  网站地图  |  手机访问

Copyrights 2016-2020  

南京锐阳信息科技有限公司 版权所有

苏ICP备17027521号-1

地址: 南京市秦淮区永智路5号五号楼3层