积分商城

最新搜索： 8051 ip 推完开关电源 多旋翼 实用电机设计计算手册(第二版)pdf 陈洪亮 dac8571驱动程序
您现在的位置是：首页 > 技术资料 > SJ 30013-2018 军工软件测试验证 测试工具要求
推荐星级：
  • 1
  • 2
  • 3
  • 4
  • 5

SJ 30013-2018 军工软件测试验证 测试工具要求

更新时间：2023-08-27 16:03:50 大小：9M 上传用户：xuzhen1查看TA发布的资源 标签：军工软件 下载积分：5分 评价赚积分 （如何评价?） 打赏 收藏 评论(0) 举报

资料介绍

军工软件测试验证系列标准包含如下标准： WJ30010军工软件测试验证 总体要求；WJ 30011军工软件测试验证 测试过程和管理；WJ30012军工软件测试验证 测试技术；WJ30013军工软件测试验证 测试工具要求；WJ30014军工软件测试验证 测试文档： 范围 本标准规定了基于测试工具的测试框架模型，以及普通软件和可编程逻辑器件软件的管理要求、技术要求和质量要求，并建立测试工具与测试级别的映射关系。 本标准适用于软件开发人员、测试人员、项目管理人员，测试工具的管理人员。 2 规范性引用文件 下列文件中的条款通过本标准的引用而成为本标准的条款。凡是注日期的引用文件，其随后所有的修改单（不包含勘误的内容）或修订版均不适用于本标准，然而，鼓励根据本标准达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本标准。 GB/T 11457 信息救软件工程术语 用软件产品（BoS）统与软件质量要求和评价. 术语和定义 GB/T 11457和GJB 2786A-2009确立的术语和定义适用于本标准。 4缩略语 下列缩略语适用于本标准。 VHDL--Very-High-Speed Integrated Circuit Hardware Description Language，超高速集成电路硬件描述语言；CDC——Clock Domain Crossing，跨时钟域 RTL——Register Transfer Level，寄存器传输级；ABV——Assertion Based Verification，基于断言的验证： OVM--Open Verification Methodology，开放式验证方法学： UVM--Universal Verification Methodology，通用验证方法学：ASIC——Application Specific Integrated Circuit，专用集成电路。 5 基于测试工具的测试框架模型 GJB/Z 141-2004的4.5中将测试方法分为静态测试方法和动态测试方法，通过测试方法的实施以达到测试目的的实现。 测试工具为测试方法的实施提供能力支持，其对象模型见图1，分为：a）静态测试工具：对软件需求、结构设计、详细设计、静态规则、代码质量进行评审以及代码进行走查和审查的工具；b）动态测试工具：支持执行测试用例和评估测试结果的工具，包括支持选择测试用例、设置环境、运行所选择测试、记录执行活动、故障分析和测试工作有效性评估等；c）支持测试过程活动的其他工具：支持测试计划、测试设计和整个测试过程的工具。

部分文件列表

文件名 大小
SJ_30013-2018_军工软件测试验证_测试工具要求.pdf 9M

【关注视频号领20积分】   【关注公众号立即送20积分】

相关下载

全部评论(0)

暂无评论
评论赚积分>>

上传资源 上传优质资源有赏金

热门标签

更多>>

最新上传

  • 打赏
  • 30日榜单

热门下载

推荐下载

本站上的所有资源均为源于网上收集或者由用户自行上传，仅供学习和研究使用，无任何商业目的，版权归原作如有侵权，请 来信指出，本站将立即改正。

ICP许可证号：京ICP证070360号     21IC电子网 2000- 版权所有

京ICP备11013301号

京公网安备 11010802024343号