La prueba en tiempo real es el proceso de probar sistemas informáticos en tiempo real .
Las pruebas de software se realizan para detectar y ayudar a corregir errores en el software de la computadora. Las pruebas implican no solo garantizar que el software esté libre de errores, sino también que proporcione la funcionalidad requerida al usuario. Los métodos de prueba estáticos y convencionales pueden detectar errores, pero es posible que dichas técnicas no aseguren resultados correctos en sistemas de software en tiempo real.
Los sistemas de software en tiempo real tienen restricciones de tiempo estrictas y tienen un comportamiento determinista. Estos sistemas tienen que programar sus tareas de manera que se cumplan las restricciones de tiempo que se les imponen. La forma estática convencional de análisis no es adecuada para lidiar con tales restricciones de tiempo, por lo que es importante realizar pruebas adicionales en tiempo real. [1]
El diseño de casos de prueba para pruebas en tiempo real se puede proponer en cuatro pasos [2]
A medida que las pruebas de sistemas en tiempo real se vuelven más importantes, existen algunas herramientas diseñadas para dichas pruebas.
Los gráficos de secuencia de mensajes son un estándar aceptado internacionalmente para capturar requisitos. [3] MSC proporciona un lenguaje gráfico 2-D que a menudo se requiere para recopilar requisitos a través de algunos escenarios de interacción.
El lenguaje de especificación y descripción es un estándar utilizado para el diseño y el análisis. SDL [4] admite la especificación de sistemas de software complejos y se ha aplicado ampliamente en una amplia gama de dominios, desde telecomunicaciones y automatización hasta el desarrollo de software en general.
Testing and Test Control Notation es el único lenguaje de pruebas estándar a nivel internacional. TTCN3 [5] ofrece una aplicabilidad más amplia, en comparación con versiones anteriores de TTCN, que se centraban principalmente en protocolos OSI únicamente.
Estos tres estándares se utilizan en conjunto para probar aplicaciones en tiempo real. Es necesario que los requisitos se cumplan con estos modelos y los casos de prueba generados deben capturar la información funcional y en tiempo real necesaria para probar los sistemas. Además, los cambios en los requisitos de diseño y la nueva información sobre las propiedades en tiempo real de los sistemas deben incorporarse a los modelos para poder determinar su impacto.
Para capturar con precisión las propiedades en tiempo real de un sistema de prueba determinado y garantizar que los requisitos y modelos se utilicen para generar información de tiempo realista y exigible, es esencial que el lenguaje mismo (TTCN-3) tenga un modelo de tiempo bien comprendido y semánticamente sólido.
TTCN-3 es el único lenguaje de pruebas estandarizado internacionalmente que se encuentra disponible actualmente. Antes de TTCN3, sus versiones anteriores tenían una funcionalidad y un alcance limitados en el protocolo OSI. Sin embargo, TTCN3 es una versión avanzada y tiene una aplicabilidad más amplia.
Las características de TTCN3 son:
La razón para utilizar TTCN3 para pruebas en tiempo real se debe a sus temporizadores. Estos temporizadores se definen en conjuntos de pruebas de funciones . No se utilizan temporizadores de tipo global en TTCN3. Estos temporizadores se pueden iniciar, detener y verificar mediante funciones simples como timer.start, timer.stop y timer.read.
La semántica de instantáneas es una técnica de TTCN3 (también de TTCN2) que se ocupa del mensaje que se transmite durante la comunicación entre sistemas o la implementación en prueba. Cuando el sistema en prueba recibe una serie de respuestas, se toma una instantánea y se evalúan en orden de llegada. Por lo tanto, cada vez que se trata de un conjunto de atributos, se toma una instantánea y solo se evalúan los eventos que están presentes en la instantánea.
Pero esta técnica no es eficiente, ya que algunos eventos y la información de sus atributos pueden perderse mientras se toma la instantánea. Algunos eventos pueden registrarse en la cola de procesamiento, pero no en la instantánea. Dichos eventos nunca pueden procesarse. Además, si el equipo de ejecución de la prueba no es lo suficientemente rápido, no puede comunicarse correctamente con el sistema bajo prueba. Por lo tanto, pueden generarse fallas durante dicha evaluación de prueba.