美利体育登录入口官网

美利体育登录入口官网:AS/NZS ISO/IEC 15026.2:2013
系统与软件工程-系统与软件保障-保障案例

System and Software Engineering-System and Software Assurance-Assurance Cases


标准号
AS/NZS ISO/IEC 15026.2:2013
发布
2013年
总页数
21页
发布单位
澳大利亚/新西兰标准
当前最新
AS/NZS ISO/IEC 15026.2:2013
 
 
引用标准
ISO/IEC 15289 ISO/IEC TR 15026-1
 
 
本体
保证案例 声明 论证
适用范围
采用 ISO/IEC 15026-2:2011 规定保证案例的结构和内容的最低要求。保证案例包括对系统或产品(或一组声明)的属性的顶级声明、关于该声明的系统论证以及该论证背后的证据和明确假设。这种结构化论证通过多个层次的从属主张进行论证,将顶层主张与证据和假设联系起来。
术语描述
保证案例
assurance case
包括顶级声明、系统论证、证据和明确假设的结构化论证
声明
claim
关于系统或产品属性的命题
论证
argument
用于展示如何将直接在其下方的组件与声明或一组声明联系起来
证据
evidence
支持或削弱保证案例中声明的有形数据或信息
假设
assumption
在保证案例中作为证据出现的声明

美利体育登录入口官网: 专题


美利体育登录入口官网: AS/NZS ISO/IEC 15026.2:2013相似标准


美利体育登录入口官网: 推荐

【圆满收官】徕卡测量系统为2025年甘肃省职业院校技能大赛地理空间信息采集处理(高职组)赛项提供技术支持服务保障

近日,2025 年甘肃省职业院校技能大赛地理空间信息采集与处理(高职组)赛项在热烈的氛围中圆满收官。此次大赛吸引了众多职业院校的80名优秀学子参与,在激烈的角逐中,选手们充分展示了扎实的专业技能、创新精神及团队配合能力。徕卡测量系统为本次比赛全程提供技术支持和服务保障。本次省赛是响应 “世界职业院校...





Copyright ?2007-2026 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号
页面更新时间: 2026-06-02 21:34

美利体育(meili)官方网站_美利体育手机版下载