IEEE P15026-2, April 2011 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 de alto nivel (o un conjunto de afirmaciones) para una propiedad de un sistema o producto, una argumentación sistemática sobre esta afirmación y la evidencia y los supuestos explícitos que subyacen a esta argumentación. Argumentando a través de múltiples niveles de afirmaciones subordinadas, este...