Rational SDL Suite

Describir escenarios habituales con un lenguaje de rastreo visual

• Los MSC generados automáticamente sirven como una importante herramienta gráfica de rastreo cuando se simula un sistema especificado en SDL.
• El explorador de SDL puede adoptar un MSC y probarlo en el sistema SDL que utilice. Así descubrirá si el MSC describe un posible comportamiento del sistema.
• Con los HMSC (High-Level Message Sequence Charts) puede crear jerarquías de MSC.
• En lugar de dibujar distintos MSC para situaciones donde una sola condición separa dos casos, puede dibujar un HMSC que describa vías de acceso alternativas.

Simular una prueba de concepto

• La verificación se lleva a cabo a través de un análisis estático y una exploración automática y exhaustiva de la especificación SDL y todo el código C incluido.
• Rational SDL Suite prueba todas las vías de acceso de ejecución posibles del sistema SDL. Esto incluye la comprobación de las reglas y la notificación de infracciones, como puntos muertos, bucles y longitudes de cola excedidas. Presenta los resultados de la verificación en una vista de árbol fácil de seguir.

• En la fase de validación, se confirma que el sistema hace exactamente lo que se supone que debe hacer y nada más. Puede realizar una simulación en modalidad por lotes o modalidad interactiva a través de una interfaz gráfica de usuario. No puede conectarse a otro sistema SDL ni a una suite de prueba TTCN. Puede supervisar el progreso de la simulación gráficamente y establecer puntos de interrupción según desee.
• La herramienta de validación puede verificar que un sistema SDL sea coherente con un caso de uso de MSC comprobando si hay o no una posible vía de acceso de ejecución que satisfaga el MSC. Esto permite hacer coincidir el comportamiento del sistema con una especificación de requisitos.

Garantizar que las partes interesadas proporcionen en seguida su feedback

• El sintetizador de MSC con SDL de Rational SDL Suite convierte de forma automática los escenarios de caso de uso formalizados de fácil lectura en sistemas de software completos. Se pueden simular y validar mediante las prestaciones incorporadas de Rational SDL Suite.
• El sintetizador de MSC con SDL de Rational SDL Suite utiliza el lenguaje de escenarios como entrada para el proceso de modelado y transforma automáticamente los escenarios en máquinas de estado ejecutables.
• El sintetizador de MSC con SDL de Rational SDL Suite se puede utilizar para validar modelos del sistema a fin de evitar decisiones incorrectas que puedan derivarse de requisitos incompletos o imprecisos.

Generar código ejecutable sin escribir una línea

• El compilador SDL convierte automáticamente entornos de SDL en C/C++. Utilice el mismo código C exacto generado tanto en la simulación como en las aplicaciones. Esto garantiza la coherencia entre el sistema probado y su implementación.
• Rational SDL Suite ofrece dos compiladores SDL. El primero es un generador de código C sin restricciones que admite la generación de cualquier tipo de código ejecutable. El segundo está optimizado para sistemas incluidos más pequeños donde se necesita eficacia de código, demandas de memoria mínima y alto rendimiento.

Integración con el entorno de destino

• Los compiladores SDL incluyen bibliotecas de tiempo de ejecución en código fuente. Posibilitan el desarrollo de aplicaciones portátiles que se pueden ejecutar en cualquier máquina con un compilador C adecuado.
• Puede adaptar la misma estructura SDL a las distintas arquitecturas eligiendo simplemente la plantilla adecuada. Puede elegir entre sistemas monotarea, multitarea o distribuidos, incluida Common Object Request Broker Architecture (CORBA).
• Al establecer parámetros de destino en Targeting Expert, puede simplificar la integración y la compilación del sistema.
• La comunicación con el entorno se flexibiliza a través de una infraestructura general y abierta para codificación y decodificación basada en ASN.1. Esta infraestructura puede generar automáticamente conexiones con el entorno.