如果您已经拥有本站账号,可以直接登录。
如果您已经拥有本站账号,可以直接登录。
如果您没有本站账号,可以注册。
021-61680661
SRVT是由爱韦讯自主研发的一款软件需求规范检查工具套件,包含一款软件需求规范检查工具以及一份符合DO-178B/C最佳实践的软件需求标准。SRVT工具基于检查词技术,通过对软件需求进行语法和语义分析,实现了软件需求标准中那些有规则、机械化、重复且工作量大的检查项的自动化,从而允许用户将更多资源用在必须依靠人为理解判断的检查内容上。
DO - 178 B / C 明确了软件需求的质量目标,要求软件需求应无歧义、可验证、完整、准确一致、可追踪、符合系统需求、遵从需求标准等。软件需求检查作为验证这些目标是否满足的主要活动之一,目前通常的做法是由软件验证人员依据软件需求检查单对软件需求进行逐条人工检查,并记录检查结果。这种做法的缺点是检查项笼统、检查任务重、检查执行慢、问题定位不直观且极易因人为原因而漏掉发现某些错误。
SRVT可用于自动化检查软件需求的语法错误、 有歧义、 不确定、不可量化、不可验证、追踪问题等错误,减轻软件需求检查人员的工作负担,提高软件需求检查活动的效率,提升软件需求的质量以满足其质量目标要求。
▌SRVT产品特色
SRVT工具仅要求待检查的软件需求为英文,可以直接导入Word、Excel和从DOORS导出的需求文档。SRVT工具支持文档模板配置,可匹配与模板对应的需求文档,从中读取工具进行分析和检查所需的信息。一份模板文件中可支持多个模板,无须切换模板文件即可实现多个形式的表格的灵活配置。
SRVT工具默认配置了数十项需求检查项,并识别了上百例有歧义、不确定、不可量化的典型词句结构,并对其进行分类确定了相应的检查规则。同时SRVT还支持用户进行需求检查项的自定义扩展,支持持续性地优化完善。
SRVT工具将依据所有检查项对软件需求文档逐条地进行全面的分析检查,生成检查结果,将检查出的问题报告用户,或提示用户对可疑警告进行确认。
完成模板配置后,仅需指定待检查的软件需求文档,SRVT工具即可自动化完成需求检查工作,相对于通常的人工检查方法,不仅检查执行速度快,而且杜绝了人为因素导致的误报、遗漏等可能。
SRVT工具执行需求检查时,不对被检查的软件需求文档本身进行任何改动,而是创建一个文档副本,将发现的问题以批注的形式在该文档副本中进行标识、报告,便于用户快速定位问题、准确理解问题。
SRVT经过了充分的测试并配备了工具鉴定数据包,满足DO-178B对验证工具的鉴定要求和DO-178C、DO-330对TQL-5级工具的鉴定要求。
上一篇:DO-330 软件验证分析工具鉴定包(QAT-330)