立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项注册新会员

  • 登录名: *  
  • 登录密码: *
  • 重复密码: *  
  • 姓名: *  
  • 公司名称: *  
  • 职务:
  • 联系电话: *  
  • 电子邮件: *  
  • 验证码: *  

立即登录

如果您已经拥有本站账号,可以直接登录。

*为必填项找回密码

  • 注册邮箱:

    验证码会以邮件的方式发送到您的邮箱!

  • 验证码: *
  • 请输入新密码: *

安全关键系统集成研制环境ASIDE

提供软件全生命周期研制、管理和审定的综合支持

SRVT 需求规范检查工具

您的位置: 首页 > 极速赛车开奖直播网 > SRVT 需求规范检查工具

SRVT 需求规范检查工具


SRVT是由爱韦讯自主研发的一款软件需求规范检查工具套件,包含一款软件需求规范检查工具以及一份符合DO-178B/C最佳实践的软件需求标准。SRVT工具基于检查词技术,通过对软件需求进行语法和语义分析,实现了软件需求标准中那些有规则、机械化、重复且工作量大的检查项的自动化,从而允许用户将更多资源用在必须依靠人为理解判断的检查内容上。


DO - 178 B / C   明确了软件需求的质量目标,要求软件需求应无歧义、可验证、完整、准确一致、可追踪、符合系统需求、遵从需求标准等。软件需求检查作为验证这些目标是否满足的主要活动之一,目前通常的做法是由软件验证人员依据软件需求检查单对软件需求进行逐条人工检查,并记录检查结果。这种做法的缺点是检查项笼统、检查任务重、检查执行慢、问题定位不直观且极易因人为原因而漏掉发现某些错误。


SRVT可用于自动化检查软件需求的语法错误、 有歧义、 不确定、不可量化、不可验证、追踪问题等错误,减轻软件需求检查人员的工作负担,提高软件需求检查活动的效率,提升软件需求的质量以满足其质量目标要求。



▌SRVT产品特色


软件需求标准最佳实践

SRVT工具套件中内置的软件需求标准,是爱韦讯公司根据多年来丰富的适航项目实践经验,制定的满足DO-178B/C相关要求的软件需求标准,其中提供了常用的需求分析、表述、追踪方法及支持工具,整理了经典的软件需求表述规则。该标准不仅可以为用户定义项目或组织级的软件需求标准提供实用参考,而且可以作为软件需求开发或验证工作的最佳实践。


工具配置灵活易用

SRVT工具仅要求待检查的软件需求为英文,可以直接导入Word、Excel和从DOORS导出的需求文档。SRVT工具支持文档模板配置,可匹配与模板对应的需求文档,从中读取工具进行分析和检查所需的信息。一份模板文件中可支持多个模板,无须切换模板文件即可实现多个形式的表格的灵活配置。


检查项丰富、详细

SRVT工具默认配置了数十项需求检查项,并识别了上百例有歧义、不确定、不可量化的典型词句结构,并对其进行分类确定了相应的检查规则。同时SRVT还支持用户进行需求检查项的自定义扩展,支持持续性地优化完善。

SRVT工具将依据所有检查项对软件需求文档逐条地进行全面的分析检查,生成检查结果,将检查出的问题报告用户,或提示用户对可疑警告进行确认。


检查执行快速、高效

完成模板配置后,仅需指定待检查的软件需求文档,SRVT工具即可自动化完成需求检查工作,相对于通常的人工检查方法,不仅检查执行速度快,而且杜绝了人为因素导致的误报、遗漏等可能。


检查结果呈现直观

SRVT工具执行需求检查时,不对被检查的软件需求文档本身进行任何改动,而是创建一个文档副本,将发现的问题以批注的形式在该文档副本中进行标识、报告,便于用户快速定位问题、准确理解问题。


工具可靠性及工具鉴定

SRVT经过了充分的测试并配备了工具鉴定数据包,满足DO-178B对验证工具的鉴定要求和DO-178C、DO-330对TQL-5级工具的鉴定要求。

上海爱韦讯信息技术股份有限公司 版权所有 沪ICP备13019901号-1 COPYRIGHT 2017SHAVIATION 邮政编码:201203