IEEE P15026.2/FDIS, August 2010 Borrador del estándar IEEE para ingeniería de sistemas y software - Garantía de sistemas y software - Parte 2: Caso de garantía
Institute of Electrical and Electronics Engineers (IEEE)
Alcance
Esta norma internacional especifica los requisitos mínimos para la estructura y el contenido de un caso de aseguramiento. Un caso de aseguramiento incluye una afirmación (o conjunto de afirmaciones) de alto nivel para una propiedad de un sistema o producto, la argumentación sistemática sobre esta afirmación y la evidencia. y supuestos explícitos que subyacen a esta argumentación. Argumentando a través de múltiples niveles de afirmaciones subordinadas, este...