Un diagrama de requisitos es un diagrama especialmente utilizado en SysML en el que se muestran los requisitos y las relaciones entre ellos y su relación con otros elementos del modelo, como se analiza en los siguientes párrafos.
Si un requisito se deriva de otro requisito, su relación se denomina "relación de derivación de requisito".
Si un requisito está contenido en otro requisito, su relación se denomina "contención de espacio de nombres".
Si un elemento de diseño satisface un requisito, su relación se denomina "relación de satisfacción".
Si un requisito es una copia de otro requisito, su relación se denomina "relación de copia".
Si existe una relación entre un requisito y un caso de prueba que verifica este requisito, su relación se denomina "relación de verificación".
Un caso de prueba se define mediante un flujo que verifica si el sistema en consideración satisface un requisito.
Si un requisito es refinado por otros requisitos/elementos del modelo, la relación se denomina "relación de refinamiento".
Si existe una relación entre un requisito y un elemento de modelo arbitrario trazado por este requisito, su relación se denomina "relación de traza".