Pruebas en tiempo real
Pruebas de software se realiza para detectar y ayudar a la correcta insectos en el software. Prueba también implica garantizar que el software ofrece la funcionalidad deseada para el usuario. Formas de prueba estáticas y convencionales predeterminan bichos, pero estas técnicas no pueden garantizar el mismo resultado en sistemas software en tiempo real.
Software en tiempo real los sistemas tienen restricciones estrictas sincronización y tienen un comportamiento determinista. Esto es así porque tienen sistemas software en tiempo real programar sus tareas tal que las limitaciones de tiempo impusieron sobre ellos se cumplan. Forma estática convencional de análisis no es adecuada para lidiar con estas limitaciones de tiempo, por lo tanto la prueba de tiempo real es importante.[1]
Contenido
- 1 Estrategia
- 2 Herramientas para pruebas de tiempo real
- 2.1 MSC
- 2.2 SDL
- 2.3 TTCN
- 2.4 TTCN-3
- 2.4.1 Fondo
- 3 Referencias
Estrategia
Diseño de casos de prueba para la prueba de tiempo real se puede proponer en cuatro pasos [2]
- Pruebas de tarea
En el primer paso, cada tarea es probado individualmente con formas convencionales de pruebas estáticas. Esta prueba se realiza sólo para descubrir los errores de lógica o sintaxis del programa. No tiene nada que ver con el comportamiento del software. Orden de los acontecimientos no importa como tarea pruebas no lidiar con las limitaciones de tiempo y propiedades de tiempo de los acontecimientos.
- Pruebas del comportamiento
Utilizando los modelos de sistema diseñados con la ayuda de herramientas de testing automatizados, es posible simular el comportamiento del sistema en tiempo real y el impacto de acontecimientos externos concurrentes en su comportamiento.
- Intertask prueba
Una vez hecha las pruebas con la tarea individual, entonces tarea se supone que es libre en la codificación de errores y de comportamiento área. Las limitaciones relacionadas con el tiempo se prueban con pruebas intertask. Para descubrir los errores en la comunicación, tareas asincrónicas se prueban con tarifas de datos variables y diferentes cargas.
- Pruebas del sistema
En esta prueba, software y hardware se integran y gama completa de pruebas del sistema se llevan a cabo para descubrir errores, si los hubiere, en software y hardware entretela.
Herramientas para pruebas de tiempo real
Como prueba de sistemas de tiempo real es cada vez más importante, hay algunas herramientas diseñadas para dichas pruebas.
MSC
Gráficos de secuencia de mensaje es una norma internacionalmente aceptada para capturar los requisitos.MSC [3] Proporciona un lenguaje gráfico de 2-D requerido a menudo para la recolección de requerimientos a través de algunos escenarios de interacción.
SDL
Especificación y lenguaje de descripción de se utiliza un estándar para el diseño y análisis. SDL [4] es compatible con la especificación de sistemas software complejos y se ha aplicado extensamente a través de una amplia gama de dominios de telecomunicaciones, automatización, a través de desarrollo de software en general
TTCN
Prueba y prueba Control notación es el lenguaje de prueba internacionalmente estándar. TTCN3 [5] proporciona una aplicabilidad más amplia, en comparación con versiones anteriores de TTCN, que se centraron principalmente en Protocolos OSI solamente.
Juntos estos tres estándares se utilizan para las pruebas de aplicaciones en tiempo real. Es necesario que los requisitos de ser satisfecho con estos modelos y casos de prueba generados debe capturar la información funcional y en tiempo real necesaria para poner a prueba los sistemas. Además, los cambios en los requisitos de diseño y nueva información sobre las propiedades de tiempo real de sistemas deben ser alimentados en modelos para que su impacto puede ser descubierto.
Para capturar con precisión las características de tiempo real de un sistema de prueba dado y para asegurar que los requisitos y los modelos se utilizan para generar información de tiempo realista y aplicable, es esencial que el lenguaje en sí mismo (TTCN-3) tiene un modelo bien comprendido y semánticamente sonido del tiempo.
TTCN-3
Fondo
TTCN-3 es el solo actualmente disponible, internacionalmente estandarizado pruebas de idioma. Antes de TTCN3, tenían sus versiones anteriores limitada funcionalidad y alcance limitado sobre el protocolo de OSI. Pero, TTCN3 es una versión avanzada y tiene aplicabilidad más amplia.
Características de TTCN3 son:
- capacidad de especificar prueba dinámica concurrente
- las operaciones basadas en mensajes y procedimiento basado en comunicación
- la capacidad de especificar las plantillas de datos y firma con poderosos mecanismos que empareja
- tipo y valor de parametrización
- la asignación y manejo de prueba de fallos
- prueba de mecanismos de selección parametrización y caso de test suite
La razón para usar TTCN3 para la prueba del tiempo real es por sus cronómetros. Estos temporizadores son definidos en función conjuntos de pruebas. No hay ni cualquier temporizadores de clase mundiales utilizados en TTCN3. Estos temporizadores pueden iniciarse, parados e inspeccionados utilizando funciones simples como timer.start, timer.stop y timer.read.
Instantánea semántica es una técnica de TTCN3 (también en TTCN2), que ocupa el mensaje pasó durante la comunicación por el sistema a sistema o aplicación bajo prueba. Cuando una serie de respuestas son recibidas por el sistema bajo prueba, entonces se toma instantánea y son evaluados por orden de su llegada. Así, cada vez que alrededor de un conjunto de atributos, se toma una instantánea y solamente aquellos eventos que están presentes en las instantáneas se evalúan.
Pero esta técnica no es eficiente como algunos eventos y la información de atributo podría perderse mientras es tomada la instantánea. Algunos eventos podrían conseguir registró en cola de procesamiento, pero no en instantánea. Tales eventos no pueden conseguir nunca procesados. Además, si el equipo ejecutor de prueba no es lo suficientemente rápido, entonces puede no comunicarse correctamente con el sistema bajo prueba. Entonces, fallas podrían conseguir generados durante dicha prueba de evaluación.
Referencias
- ^ https://IEEEXplore.IEEE.org/Stamp/Stamp.jsp?TP=&arnumber=139423. Falta o vacío
|title =
(Ayuda) - ^ Ingeniería de software: Enfoque de un practicante por Roger S Pressman
- ^ https://www.SDL-Forum.org/issre04-witul/Papers/EbnerTTCN3.pdf. Falta o vacío
|title =
(Ayuda) - ^ https://www.AWS.cit.ie/personnel/dpesch/Notes/msc_sw/SDL.pdf. Falta o vacío
|title =
(Ayuda) - ^ https://www.TTCN-3.org. Falta o vacío
|title =
(Ayuda)
Otras Páginas
- Sociedad danesa de actuarios
- Christian Heinrich Rinck
- Midtown (banda)
- Plan de marketing
- Durvalumab (categoria de medicamentos que son anticuerpos monoclonales)
- La 10 conversaciones te debe tener antes de que te cases (y como tenerlos)
- Pinzamiento acetabular femoral
- Identificador de proveedor nacional
- Lorenzo, Condado de Nassau, Nueva York
- Mervat Amin
- Teoria serializabilidad
- BigPond
- Roche-Dinkeloo