[Resumen] En este trabajo se describen los requisitos de calidad del software, sobre esta base, el artículo se describe el desarrollo de software LOGISCOPE aseguramiento de la calidad del trabajo.¿Cómo las diferentes etapas de desarrollo de software utilizando estas herramientas para garantizar que el desarrollo de la fiabilidad del software y el mantenimiento.El uso racional de los LOGISCOPE ayudará al equipo de desarrollo a través de la certificación ISO9001, sino también mejorar el equipo de desarrollo para facilitar los niveles de CMM.SCADE Logiscope y herramientas de diseño se utiliza en combinación para hacer que el software de satisfacer las IEC880 RTCA/DO-178B, IEC1508, y GJB-2786 de seguridad - sistemas críticos de los requisitos de calidad de software.
1. Requisitos de software de calidad
Software, una gran parte importante del sistema, el software incorporado, se refiere al software como parte del sistema integrado en el sistema, como parte del sistema con el software que el requisito más importante es la seguridad y fiabilidad.En particular, especialmente en el ámbito militar.
Por lo tanto, tenemos que usar métodos eficaces y herramientas de software para apoyar y cumplir con el desarrollo de software embebido, software de prueba y evaluación, y otras unidades para que lleven a cabo actividades de control de calidad de software.Es decir, las herramientas de software adecuadas para apoyar a los desarrolladores con el fin de garantizar en el menor tiempo posible, con el menor coste, el desarrollo de software de alta calidad para satisfacer las necesidades de los clientes, al tiempo que reduce los costos de mantenimiento luego de la entrega.
Las estadísticas sobre el proyecto actual, se encuentra en las diferentes etapas de descubrimiento y el cambio del costo de un error es diferente, la tabla siguiente se muestran los datos específicos [1].
Fase de desarrollo de software
Codificación de la Fase
Pruebas
Fase de mantenimiento
Los costos de descubrimiento y el cambio del error
1 veces
4 veces
16 veces
Por otro lado, las estadísticas muestran que un proyecto, el 80% de los errores son causados a menudo por el 20% del programa.Por lo tanto, la forma de reconocer e identificar con eficacia el 20% de las piezas es muy importante.
La experiencia también nos dice que el error de muchos procedimientos, su estructura, el algoritmo, el estilo del programa es a menudo muy complejos.
En la tabla siguiente se encuentra en distintas etapas de las actividades de desarrollo de software (evaluación y prueba) encontraron que el caso de error [1]:
Los errores que se encuentran las actividades
1000 líneas por el número de errores encontrados
SRR
2.5
Revisión de Diseño
5.0
De revisión de código
10.0
Pruebas de Integración
3.0
Pruebas de aceptación
2.0
Los productos de software con otros productos industriales, su calidad depende del proceso de desarrollo de software para control de calidad.Para mejorar la calidad de un buen software, debe ser controlado en todas las etapas.
LOGISCOPE es un conjunto de herramientas.Se ejecuta a través del desarrollo de software, revisión de código, unidad / pruebas de integración, las pruebas del sistema, y la fase de mantenimiento de software.
LOGISCOPE es el código fuente para el trabajo.LOGISCOPE para la codificación, pruebas y mantenimiento.Por lo tanto, el enfoque LOGISCOPE es ayudar a la revisión de código (revisión) y la cobertura de la prueba dinámica (ensayo).
2 LOGISCOPE para la fase de desarrollo
2.1 La definición del modelo de calidad
Atención a la calidad de las empresas de desarrollo de software, los programadores de las normas de programación se define [2] y la calidad del modelo de evaluación.Desarrollado por la compañía para asegurar la estabilidad del código fuente, fácil mantenimiento, alta fiabilidad y portabilidad.
RuleChecker 50 reglas predefinidas de la programación:
* Nombre de la convención (por ejemplo: las variables locales, en minúsculas, etc);
* Dijo el convenio (por ejemplo: la instrucción por línea);
* Las restricciones (por ejemplo: no se puede utilizar GOTO declaraciones no pueden ser modificados en el contador de bucle, etc);
Los usuarios pueden elegir de estas normas, también puede utilizar Tcl, secuencias de comandos y lenguajes de programación para definir las nuevas reglas.
Se prevé también la seguridad de los 50 - crítica normas de programación de sistemas.
Auditoría a la ISO9126 [3] el modelo como base para el modelo de evaluación de la calidad.modelo de evaluación de la calidad de Halstend describe, la metodología de medición McCabe Verilog y la calidad de la metodología, la introducción de los factores de calidad (mantenimiento, reutilización, etc) y los criterios de calidad (la capacidad de prueba, lectura, etc.)
Jefe de proyecto o pueden basarse en criterios de gestión de la calidad, el ciclo de vida de la aplicación, los requisitos del contrato, etc, la selección y aprobación de los requisitos del proyecto para la calidad de los modelos.
2.2 verificación, revisar y mejorar el código
RuleChecker la normativa de la verificación de código fuente seleccionado.Programación de las normas que no cumplen con todo el código, e hizo que el código fuente para mejorar la interpretación y recomendaciones.RulrChecker a través de un editor de texto para acceder directamente al código fuente y la necesidad de corregir la posición.
Auditoría será evaluar la calidad del modelo de requisitos de software y se compararon gráficamente el nivel de calidad del software, por lo tanto, la calidad del personal pueda centrarse en la necesidad de modificar la sección de código.Medir la calidad de los elementos del modelo y explicar las incoherencias y proponer métodos correctivos.
Un análisis detallado de la calidad del software, la auditoría puede ser una variedad de representación gráfica:
* La arquitectura de sistema de aplicación - gráfico de llamadas muestra la relación entre el proceso y la función.La solicitud de revisión del diseño;
* Cada proceso y la función de la estructura lógica - diagrama de control de flujo muestra el algoritmo de ruta de acceso lógico.Con una representación gráfica de la complejidad de la función de evaluación;
* La consistencia y la calidad del modelo - diagrama Kiviat y gráfico circular para que el nivel de calidad seleccionada y la coherencia entre la referencia es más visual.
3 LOGISCOPE para la prueba
3.1 La definición de criterios de prueba
En la fase de pruebas de software, el más importante es garantizar que todas las rutas de código han sido totalmente cubierta [4,5].Sólo aquellos, en proceso de prueba del software es confiable.En especial de software de alta confiabilidad.
Para asegurar la validez de la prueba debe ser definido de manera objetiva los criterios cuantificables y estrategias para determinar cuándo poner fin a la fase de prueba.
LOGISCOPE recomienda para la instrucción (IB), el camino lógico (DDP) y la ruta de la llamada (PPP) de la prueba de la cobertura.Además de la seguridad - software crítico también proporciona MC / DC cobertura de las pruebas [5].
3.2 La validez de la prueba
TestChecker generar información para cada prueba y la información acumulada prueba de cobertura.Índice de cobertura de visualización de histograma y prueba de funcionamiento en virtud de los cambios en línea en tiempo real.Muestra la nueva prueba en cualquier momento la prueba se refleja en la cobertura.
TestChecker permitir que todas las pruebas basadas en la eficacia de su gestión.Los usuarios pueden reducir los utilizados para la prueba de las pruebas de no regresión.
3.3 Optimización de la prueba
El primer paso en la fase de pruebas, la aplicación de la prueba es funcional (cuadro negro) las pruebas.El objetivo es comprobar si la función deseada se ha logrado.En las primeras pruebas, la cobertura aumentará rápidamente.En general la cobertura de la prueba decente de 70%.Sin embargo, para mejorar esta relación es muy difícil.Principalmente debido a la caso de la prueba de ensayo que cubre el mismo camino.En este momento, es necesario realizar algunos cambios en la estrategia de prueba.Aplicación de medidas estructurales (caja blanca) las pruebas, es decir, no se llevan a cabo para detectar el camino lógico, la definición de nuevos casos de prueba que cubren estas rutas.
En la aplicación del período de prueba, cuando cambia la estrategia de evaluación, detección completa de los factores clave en el uso de TestChecker para mejorar la eficiencia.Utilizado en conjunto con la Comisión de Auditoría se TestChecker puede ayudar a los usuarios a analizar el código no probado.
Los usuarios pueden visualizar el código de interés, y no cubiertas por la aplicación de la ruta de acceso de la información relacionada observado.gráficos de la Información (gráfico de control de flujo) y el texto (pseudo-código y archivos de código fuente) en un formulario, y la navegación, mientras tanto, estableció la asociación.
TestChecker declaró que el sistema de administración de pruebas nuevas para producir los documentos pertinentes, comandos personalizados de inicio y ejecución automática.
4 LOGISCOPE para la fase de mantenimiento
la comprensión generalizada de los costes de mantenimiento de aplicaciones y desarrollo del sistema son casi iguales.La experiencia ha demostrado que el 50% del mantenimiento del software de tiempo en la estructura, la lógica y la comprensión de la carrera.
LOGISCOPE puede reducir enormemente la comprensión del sistema de las veces desconocidos necesario.
marco de Auditoría de la solicitud de un documento (la relación entre las partes de documentos) y la llamada gráfica de la forma (la relación entre las funciones y procedimientos) de visualización.
La estructura lógica de la función de controlar la gráfica de flujo que aparecen.Seleccionada en el nodo de control gráfico del flujo, puede obtener el código correspondiente.
análisis de la línea, la navegación entre los diferentes niveles para promover la comprensión del conjunto.
5 sobre el apoyo del espacio incrustado
LOGISCOPE apoyar una variedad de métodos de ensayo.Especialmente en el ámbito de la ayuda de software embebido.
Es bien sabido que la prueba de software de sistema embebido es el más difícil.Debido a que su desarrollo es transversal compilado manera.En el equipo de destino (Target), y no tienen el registro adicional de información espacial de la prueba.Debe ser probado en la información en tiempo real a través del cable de red / puerto serie alcanzó el anfitrión (host) y la pantalla en línea en tiempo real.Por lo tanto, la instrumentación de código fuente y la recolección de información sobre el equipo de destino y regreso la clave de un problema.
LOGISCOPE una buena solución a estas tecnologías y convertirse en un líder en el campo de las herramientas de prueba incorporados.Es compatible con una variedad de sistemas operativos en tiempo real (RTOS) en la prueba de la aplicación, la prueba también apoyar la lógica del sistema.Su método de trabajo es el siguiente:
Logiscope ofrece VxWorks, pSOS, VRTX sistema operativo en tiempo real, la biblioteca de la prueba.
6 de la aviación / aeroespacial, defensa y apoyo de la esfera de las centrales nucleares
En la industria de la aviación aeroespacial, la seguridad es el tema más crítico.Por lo tanto, la aviación de Europa y América y / o fabricantes aeroespaciales y de usuarios desarrollado conjuntamente RTCA/DO-178B [5].LOGISCOPE sobre "Opiniones y Análisis del Código Fuente" y "Análisis estructural de cobertura" de software desarrollado para permitir RTCA/DO-178B estándar A, B, C tres niveles del sistema.
LOGISCOPE es el primero en ofrecer MC / DC (Modificada Estado de la Decisión de cobertura), herramienta de prueba.
VERILOG SCADE es otro producto de la empresa es totalmente compatible con RTCA/DO-178B, IEC1508 [6], IEC880 [7] de la herramienta.SCADE y LOGISCOPE configurar la línea de producción para asegurar que la aviación / aeroespacial de seguridad del software del sistema de seguridad crítico y la fiabilidad.
7. Software de documentación y generación automática de documentación de prueba
Logiscope ofrece una herramienta de generación automática de documentación.Los usuarios pueden revisar los resultados del código y los requisitos de ensayos dinámicos de la situación en tiempo real para generar los documentos que un fiel registro del código de la caja, y los resultados de la prueba dinámica.formato de documento se puede personalizar según las necesidades de los usuarios, tales como, GJB-438A [8].Por lo tanto:
1) para evitar inconsistencias en el código y la documentación;
2) resultados de las pruebas y reporte de prueba a fin de evitar incoherencias;
3) reducir los desarrolladores y probadores de escribir la obra documento.
8 Resumen
uso LOGISCOPE en el menor tiempo posible, mejorar la calidad y la eficiencia de suave.
LOGISCOPE en la etapa de desarrollo, la búsqueda puede buscar los posibles errores.
En la etapa de revisión de código, los errores LOGISCOPE posicionamiento que tiene el 80% de los módulos del programa.
No probar el código en el posicionamiento, LOGISCOPE ayudar a encontrar defectos ocultos en el código no está probado.
Los líderes del proyecto y los ingenieros de calidad para comprobar regularmente con LOGISCOPE la calidad del software.
Se utiliza en cada LOGISCOPE etapa, mejorar la práctica de la ingeniería de software, los programadores de formación escribir buen código y las actividades de prueba para asegurar que el sistema fácil de mantener, reducir el riesgo.
En una relación contractual, el contratista puede utilizar LOGISCOPE define los niveles de calidad y la aplicación de las pruebas de aceptación.Cheng Zhifang LOGISCOPE puede demostrar la calidad de su software.
LOGISCOPE para ISO/IEC9126 definido "Características de Calidad";
LOGISCOPE de la norma ISO-9001 [9], establecen los requisitos (criterios de prueba de aceptación y los registros qulity);
LOGISCOPE proporciona a los desarrolladores SEI / CMM [10] en el nivel 2 (Repetible) cumplir con los requisitos de software necesarios calidad de las prácticas clave, y promover la organización de desarrollo lo más rápidamente posible SEI / SMM de los tres.