testing de software en instrumentos de pesar de funcionamiento no automatico - angel vicente nuñez

23
TESTING DE SOFTWARE EN INSTRUMENTOS DE PESAR DE FUNCIONAMIENTO NO AUTOMATICO Disertante: Téc. Angel Vicente Nuñez Física y Metrología Masa - Aprobación de modelos de balanzas

Upload: rodrigo-almeida

Post on 04-Jul-2015

224 views

Category:

Technology


1 download

DESCRIPTION

Palestra proferida por Angel Vicente Nuñez no I Workshop Interamericano de Segurança de Software e Hardware em Metrologia Legal

TRANSCRIPT

Page 1: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

TESTING DE SOFTWARE EN INSTRUMENTOS DE PESAR DE FUNCIONAMIENTO NO AUTOMATICO

Disertante:

Téc. Angel Vicente NuñezFísica y Metrología – Masa - Aprobación de modelos de balanzas

Page 2: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

CONSIDERACIONES INICIALES

Protección contrala adulteración delsoftware

Vs Protección contrael uso fraudulento

Son conceptos distintos a pesar de que la protección contra el uso fraudulento estevinculada con el software en un alto porcentaje.

Protección contra la adulteración del software

Es la capacidad que tiene un instrumento de evitar que su software sea adulterado.

Depende del grado de protección contra su adulteración que tenga la memoriadonde se encuentra almacenado y de los mecanismos implementados paraactualizarlo o reinstalarlo.

Page 3: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

CONSIDERACIONES INICIALES

Protección contra el uso fraudulento.

Es la capacidad que tiene un instrumento de evitar que se pueda hacer usofraudulento.

La parte vinculada al software, tiene que ver con los mecanismos de seguridadimplementados en el mismo para evitar que las características legalmente relevantessean adulteradas sin dejar evidencia.

Page 4: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

CONSIDERACIONES INICIALES

Cual es el objetivo de una aprobación de modelo?

Verificar que una muestra cumpla con los requisitos del reglamento aplicable.

Que evidencias se conservan para determinar si un modelo fueaprobado o no?

Una documentación que describe sus partes constitutivas y su funcionamiento,mas un protocolo de ensayos donde se evidencia el cumplimiento con losrequisitos aplicables, mas una disposición emitida por la autoridad de aplicaciónque otorga la aprobación del modelo.

Page 5: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

CONSIDERACIONES INICIALES

Que debemos verificar en una rutina de aprobación de modelo?

1. Verificar que la muestra se corresponda con la documentacióndescriptiva entregada.

1.1. Partes constitutivas.

1.2. Funcionamiento (modo de uso y prestaciones).

2. Verificar que se cumpla con todos lo requisitos de reglamento aplicable.

Page 6: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

CONSIDERACIONES INICIALES

En los instrumentos electrónicos actuales, el funcionamiento depende, en

un gran porcentaje, del software que tiene incorporado (firmware).

Por otro lado los errores metrológicos, si bien dependen en gran porcentaje

de la calidad del sensor que se utilice y la electrónica asociada, también

pueden disminuirse utilizando algoritmos de corrección que se

implementan en el firmware

Page 7: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

PROCEDIMIENTO

Que hacemos en INTI para verificar que la muestra se corresponda conla documentación descriptiva entregada? (en lo relacionado con elfirmware).

1. Todas las funciones (tanto accesibles al usuario como al técnico) esténclaramente descriptas.

Verificamos que:

2. Todos los parámetros ajustables estén claramente descriptos (tanto el “para qué sirve” como el “cómo se configura”). Por ejemplo, supongamos que existe un parámetro configurable que se llama F y se puede configurar con valores entre 0 y 10. Si el fabricante no describe el “para que sirve”, deberá definir un valor, se ensaya el prototipo para aprobación de modelo configurándolo con ese valor y todas las unidades fabricadas también deberán estar configuradas con el mismo valor. De todos modos debe describir “como se configura”.

Page 8: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

Pero si el fabricante describe que el parámetro F sirve para modificar el nivel de filtrado, que 0 sirve para ambientes en que no hay vibraciones ni ruidos electromagnéticos y a medida que configuramos valores más altos, se pueden filtrar mejor los ruidos, entonces ya sabemos que es un parámetro importante y que puede afectar el comportamiento metrológico del instrumento, pero también sabemos que no puede tener un valor único para todas las unidades que se fabriquen.

PROCEDIMIENTO

Si además, se describe que (por ejemplo) para modificar el parámetro F se debe romper un precinto, retirar la tapa del gabinete, accionar un interruptor, presionar una tecla determinada la cual mostrará un menú en el cual (dentro de una lista) está el parámetro F, que con otra tecla determinada podemos selecciónalo, luego escribimos un valor entre 0 y 10 y con otra tecla guardamos el nuevo valor, entonces ya sabemos el “cómo se configura”.

Page 9: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

PROCEDIMIENTO

3. El funcionamiento cumpla con todos los requisitos del reglamento.

4. Que la actualización del software no pueda realizarse sin dejar evidencia. En este aspecto hay que tener en cuenta que:a) cuando el software se sustituye por otra versión (aunque sea

aprobada) estamos ante una modificación del instrumento.b) cuando se vuelve a instalar la misma versión estamos ante una

reparación del instrumento de medida. de estas situaciones puede darse sin que el organismo de aplicación del reglamento esté notificado.

Ninguna de estas situaciones puede darse sin que el organismo de aplicación del reglamento esté notificado.

Page 10: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

PROCEDIMIENTO

Como se puede evaluar el software?

Existen dos métodos fundamentales de evaluación:

Como caja negra.Solo se analiza el funcionamiento.Si, de acuerdo a lo documentado y las pruebas practicas realizadas, todos losrequisitos del reglamento aplicable se cumplen, entonces el software esaceptado (concuerda con OIML D031 5.2.5 nivel a).Si las sucesivas unidades fabricadas funcionan de acuerdo a lo documentado, enconsecuencia, conforme al prototipo ensayado en aprobación de modelo, seacepta.Con este método de evaluación, no se pueden detectar funciones ocultas. Solose puede analizar lo que el fabricante documenta.

Page 11: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

Como caja blanca.Consiste en analizar el código fuente.Es un método muy laborioso, pero permite detectar funciones que no están documentadas.

En argentina se usa el método de caja negra.

PROCEDIMIENTO

Page 12: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

Que buscamos cuando verificamos que el funcionamiento cumpla con todos los requisitos del reglamento?

Se busca, analizando la documentación y haciendo pruebas de funcionamiento,que no exista alguna maniobra que pueda realizarse, sin dejar evidencia, quepermita alterar una configuración o acceder a una función mediante la cual sepueda lograr que el instrumento deje de cumplir con algún requisito establecidoen el reglamento.Las maniobras que se analizan son aquellas que se pueden realizar mediante unteclado, perillas, botones, enviando comandos a través de una interfaz óptica(por ej. Lectores de código de barras), eléctrica (por ej. Puertos serie, paralelos,IEEE488, Ethernet, etc.).

PROCEDIMIENTO

Page 13: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

PROCEDIMIENTO

Características que no pueden ser alteradas mediante las maniobras antes mencionadas:

•Valor indicado ya sea peso bruto o peso neto durante cualquier intervalo de tiempo dentro del que transcurre una pesada.•Condición de apagado o encendido de la visualización del valor de tara.•Parámetros que:

o Determinen el nivel de filtrado de oscilaciones de una indicación de peso.

o Activen o desactiven los indicadores de tara activa, centro de cero o capacidad máxima alcanzada.

o Activen o desactiven el dispositivo de puesta en cero automático o sus valores característicos.

o Modifiquen la función de las señales indicadoras.

Page 14: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

PROCEDIMIENTO

o Alteren la posición de las indicaciones (por ejemplo en una pantalla LCD).o Alteren el estado de ajuste del instrumento.o Alteren el rango de funcionamiento del comando de puesta a cero.o Alteren la función de los comandos de puesta a cero o tara.

Page 15: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

METODOLOGIA

Métodos de verificación (ref. OIML D031 6.3)

1.Análisis de la documentación y la especificación, y validación del diseño

2. Validación mediante ensayo funcional de las funciones metrológicas (VFTM)

3. Validación mediante el ensayo funcional de las funciones del software (VFTSw)

Page 16: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

1.Análisis de la documentación y la especificación, y validación del diseño

METODOLOGIA

Aplicación:Se trata del procedimiento básico aplicable en cualquier situación.

Condiciones previas:El procedimiento se basa en la documentación del fabricante del instrumento. En función de los requisitos, esta documentación debe contener:a. especificación de las funciones del instrumento accesibles externamente de

forma general. Todas las características son verificables mediante ensayos funcionales.

b. Especificación de las funciones del software. La descripción mostrará y explicará toda función del software que pueda repercutir en las características metrológicas (por ej. algoritmos de filtrado).

Page 17: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

c. En lo relativo a las interfaces, la documentación incluirá una lista completa de comandos o señales que el software puede interpretar. El efecto de cada comando se debe documentar detalladamente. Se describirá la reacción del instrumento ante comandos no documentados (puede responder no haciendo nada, con un código que indica comando no reconocido, etc.).

d. Si resulta necesario para comprender y evaluar las funciones del software, se aportará documentación adicional del mismo para comprender y evaluar algoritmos de medida complejos, funciones criptográficas o restricciones de tiempo determinantes, etc.

e. Cuando el modo de validación de la función de un programa de software no sea evidente, el fabricante tiene la responsabilidad de desarrollar un método de ensayo. Además, los servicios del programador deberían estar a disposición del evaluador con la finalidad de dar respuesta a las preguntas.

Una condición previa general para llevar a cabo el examen es una declaración de completitud de la documentación.

METODOLOGIA

Page 18: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

METODOLOGIA

Descripción:El examinador evalúa las funciones y las características del instrumento, utilizando la descripción escrita y las representaciones gráficas, y decide si éstas cumplen con los requisitos del reglamento. Los requisitos metrológicos, así como los requisitos funcionales del software (p. ej. protección contra el fraude, protección de los parámetros de ajuste, funciones anuladas, comunicación con otros dispositivos, actualización del software, detección de fallos, etc.) se deben considerar y evaluar.

Page 19: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

METODOLOGIA

2. Validación mediante ensayo funcional de las funciones metrológicas (VFTM)

Aplicación:Adecuación de algoritmos para el cálculo del valor de medida de datos sin procesar, para la linealización de una característica, compensación de influencias medioambientales, redondeo en el cálculo del precio, etc.

Condiciones previas:Manual de funcionamiento, referencias metrológicas y equipamiento de ensayo.

Page 20: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

METODOLOGIA

Descripción:La mayoría de los métodos de aprobación de modelo y de ensayo se basan en medidas de referencia en diversas condiciones. Aunque en principio no esté destinada a validar el software, el resultado del ensayo se puede interpretar como una validación de algunas partes del mismo, suele ser incluso la más importante desde el punto de vista metrológico. Si los ensayos descritos en el reglamento abarcan todas las características metrológicas, las partes del software correspondientes pueden considerarse validadas.Por lo general, no se debe aplicar ningún análisis o ensayo de software adicional para validar las características metrológicas de los instrumentos.

Page 21: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

METODOLOGIA

3. Validación mediante el ensayo funcional de las funciones del software (VFTSw)

Aplicación:Validación, por ejemplo, de la protección de parámetros, la indicación de una identificación del software, la detección de fallos mediante software, funcionamiento de instrumento acorde a lo documentado.

Condiciones previas:Manual de funcionamiento, documentación del software, patrón de funcionamiento, equipo de ensayo.

Page 22: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

METODOLOGIA

Descripción:En la práctica se comprueban las características requeridas descritas en el manual de funcionamiento, en la documentación del instrumento o en la documentación del software. Si están controladas por software, deben considerarse como validadas si su funcionamiento es correcto sin análisis de software posteriores.

Las características a las que se hace referencia son, por ejemplo:• el funcionamiento normal del instrumento. Se deberían utilizar todos los interruptores o las teclas, así como las combinaciones descritas, y evaluar la reacción del instrumento. En las interfaces gráficas del usuario, se deberían activar y comprobar todos los menús y otros elementos gráficos;• la efectividad de la protección de parámetros puede comprobarse activando los medios de protección e intentando modificar un parámetro;

Page 23: Testing de software en instrumentos de pesar de funcionamiento no automatico - Angel Vicente Nuñez

METODOLOGIA

• la efectividad de la protección de los datos almacenados puede comprobarse modificando algunos datos del archivo y, posteriormente, comprobando si el programa lo detecta;• si la detección de fallos se realiza mediante software, las partes relevantes del software se pueden validar provocando, implementando o simulando un fallo y comprobando si la reacción del instrumento es correcta;