积分商城

最新搜索： mfc 解压缩软件 UCD3138 iar DY_mini80 V2 Smith
您现在的位置是：首页 > 技术资料 > SJ 30015-2018 军工软件测试验证 基于状态转移的软件测试覆盖准则
推荐星级：
  • 1
  • 2
  • 3
  • 4
  • 5

SJ 30015-2018 军工软件测试验证 基于状态转移的软件测试覆盖准则

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

资料介绍

范围 本标准规定了军工软件测试方法中状态转移的规格说明、状态图的各项图示说明、基于状态转移的软件测试覆盖准则和基于状态转移的测试步骤。 本标准适用于军工软件测试人员。 2 规范性引用文件 下列文件中的条款通过本标准的引成为标准的条款。是注日期的引用文件，其随后所有的修改单（不包含勘误的内容）或修订版均不适用于本标准，而GB/T 11457 信息技术 研究是否可使用这些文件的能新版本。凡是不注日期的引用文件，是最听版本适用于本标准。 鼓励根据本标准达成协议的各方 软件工程术语 GJB/Z 102A-2072军用软件安全性设计指南 动作是在某一点的原子行为。动作可以出现在迁移的执行、进入状态或者离开状态时。活动是对象在某些状态中执行的行为，发生在进入状态后且离开状态前。 5 状态图的图表说明 5.1概述 在状态图中，初态用箭头和空心圆表示，终态用一对同心圆表示或者空心圆和箭头表示。 中间状态用空心圆或者圆角矩形表示。 两个状态之间带箭头的连线称为状态转移。 5.2 状态 5.2.1 概述 状态由圆和正文表示。 5.2.2 初始状态 初始状态的图形表示法如图1所示。 测试用例集必须覆盖状态图中的每一个长度为N的迁移组，测试者要采用测试用例遍历状态图的每一个迁移组至少一次。 在迁移组覆盖准则下，覆盖率宜用下面的定义进行计算： Coverage——所有迁移组的覆盖率；执行测试用例覆盖的迁移组数量；T —迁移组的总数量。 示例：在6.2示例中的示例状态图中，如要满足迁移组（N=2）覆盖准则，则应覆盖ac、bd、be、cd、ce、dc、ed 迁移组至少各一次，可得 T-7.

部分文件列表

文件名 大小
SJ_30015-2018_军工软件测试验证_基于状态转移的软件测试覆盖准则.pdf 9M

【关注B站账户领20积分】

相关下载

全部评论(0)

暂无评论
评论赚积分>>

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

热门标签

更多>>

最新上传

  • 打赏
  • 30日榜单

热门下载

推荐下载

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

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

京ICP备11013301号

京公网安备 11010802024343号