ISO/IEC 15026-2-2011 系统与软件工程.系统与软件保证.第2部分:保证实例

作者:标准资料网 时间:2024-05-11 15:56:55  浏览:9594   来源:标准资料网

【英文标准名称】:Systemsandsoftwareengineering-Systemsandsoftwareassurance-Part2:Assurancecase
【原文标准名称】:系统与软件工程.系统与软件保证.第2部分:保证实例
【标准号】:ISO/IEC15026-2-2011
【标准状态】:现行
【国别】:国际
【发布日期】:2011-02-15
【实施或试行日期】:2011-02-15
【发布单位】:国际标准化组织(IX-ISO)
【起草单位】:ISO/IECJTC1/SC7
【标准类型】:()
【标准水平】:()
【中文主题词】:
【英文主题词】:Assumptionofcalculation;Computersciences;Computersoftware;Datasecurity;Informationtechnology;Maintainability;Mathematicalcalculations;Methodsofcalculation;Qualitycontrol;Reliability;Safetyrequirements;Safetystudies;Systemengineering
【摘要】:ThispartofISO/IEC15026specifiesminimumrequirementsforthestructureandcontentsofanassurancecase.Anassurancecaseincludesatop-levelclaimforapropertyofasystemorproduct(orsetofclaims),systematicargumentationregardingthisclaim,andtheevidenceandexplicitassumptionsthatunderliethisargumentation.Arguingthroughmultiplelevelsofsubordinateclaims,thisstructuredargumentationconnectsthetop-levelclaimtotheevidenceandassumptions.ThispartofISO/IEC15026doesnotplacerequirementsonthequalityofthecontentsofanassurancecase.Rather,itplacesrequirementsontheexistenceofthecontentsandstructureofanassurancecase.Whileseveralnotationsandslightlyvaryingterminologiesarecurrentlyusedinpractice,thispartofISO/IEC15026doesnotrequiretheuseofaparticularterminologyorgraphicalrepresentation.Likewise,itplacesnorequirementsonthemeansofphysicalimplementationofthedata,includingnorequirementsforredundancyorco-location.
【中国标准分类号】:L77
【国际标准分类号】:35_080
【页数】:18P.;A4
【正文语种】:英语