Afirmación para colorear

rainbow Assertion coloring desarrollo de Conformidad prueba consiste en la identificación de las afirmaciones en un pliego, pruebas de conformidad por escrito que compruebe las afirmaciones identificados y la vinculación de la prueba de la afirmación de que lo pone a prueba.
Vamos a empezar desde los siguientes puntos:
- Afirmación está marcado
- La afirmación real es difícil ver en la especificación (en la actualidad sólo hay pequeñas gif afirmación al final de cada afirmación)
- Completa afirmaciones sólo son vistos por la lectura del código HTML directamente o buscando en cada prueba individual
- Inicio de las afirmaciones son difíciles de ver en el código html
- Proporcionar una forma visual para ver fácilmente la afirmación es el problema que estamos tratando de resolver.

El punto principal es que las afirmaciones de color (texto propio pliego de condiciones) con etiquetas HTML. La investigación que se hizo etiquetas html de usar. Div, span, mesa con etiquetas de fuente se miró. La mejor solución es la etiqueta de fuente. Así que el texto está rodeado con las etiquetas de la fuente. El atributo de clase de la etiqueta de fuente se corresponde con el tipo de afirmación. Fe si el asserion es nuevo es de color de rojo, para indicar, que las pruebas deben ser por escrito, las afirmaciones de edad se colorean con verde para indicar que las pruebas ya existentes. Debe haber una utilidad (java script o programa) para explorar marcado pliego de condiciones y automáticamente se añaden las etiquetas necesarias para colorear. El color de fondo del texto será determinado por el color atributo de título de la afirmación. Este método fue implementado y funciona correctamente. A efectos de la usabilidad, debe haber un mecanismo para ocultar la coloración, una fe Javascript.

Una desventaja de esta solución es que el color es estático ya que se basa en el atributo de título. Una segunda solución sería que el instrumento de verificación para una existencia de una prueba (basado en el ID de la afirmación o enlace en la afirmación). Si una prueba de que existe, queremos hacer algo para establecer el color de esta afirmación. Podría ser tan simple como el establecimiento de un atributo de título. Una desventaja de esta solución sería la afirmación de que la coloración se sigue estático, pero en base a cuando el usuario ejecute los scripts.

Una variante de la solución dada es que se generan de forma dinámica los datos de cobertura cuando la especificación es visto en un navegador. Queremos determinar si existe una prueba en el directorio de prueba para una afirmación y el color de la afirmación en consecuencia. Esto podría hacerse a través de un JavaScript / VBScript utilizando objetos, que permiten el acceso a sistema de archivos. Este método podría ser dinámica y siempre debe tener la condición última afirmación de la cobertura.

Éstos son algunos ejemplos de JLS3 capítulos "Conversiones y Promociones" y "Interfaces":

JLS3 colored Assertion coloring

JLS3 colored2 Assertion coloring

Las afirmaciones conv063, conv047, conv065, conv48, conv66 y conv049 son de la version anterior de las especificaciones, no se modificaron y actualizar las pruebas no es necesario - de color aguamarina es (verde neurtal). Conv155 y conv156 son nuevos, nuevas pruebas deben elaborarse, en las afirmaciones que están en el origen de color rojo. Conv064 fue modificada, es necesario actualizar la prueba - de color naranja. Annot019 es nuevo, las pruebas existen, pero son necesarias para cambiar - color salmón. Annot020 es nuevo, pero existen pruebas кудумфте - de color verde claro.

La principal ventaja de coloración en especifico es que la especificación se visualiza. El usuario puede ver la afirmación de todo y su título. Uno puede decir mirando a la especulación, donde hay áreas con baja cobertura, en algunos o muchos de los ensayos debe ser agregado o cambiado. Hay, básicamente, la posibilidad de ver qué tan bien una especificación es marcado y lo bien que se prueba.



, , , , , , ,
  • Compartir / Guardar
Print This Post Imprimir este mensaje

Hay dos tipos de afirmaciones

refrigerator Two types of assertions A veces hay hechos, que connot podrá comprobar directamente. Digamos que hay un refrigerador en una caja, que no se puede abrir. Imagine refrigerador puede ser de 5 diferentes colores - blanco, azul, rojo, negro y verde. El manual dice que es azul. Pero lo único que está disponible es una foto en negro y blanco de la nevera. La prueba de color de verificación directa es difícil de hacer utilizando sólo la foto (asuma que es imposible). Pero uno puede decir defenately (mirando la foto) que el refrigerador es blanco o no. Así que la prueba no comprueba el color en sí mismo, en realidad las pruebas si el color es blanco.

Situaciones similares ocurren todo el tiempo. Es por eso que hay dos tipos de afirmaciones. El primero es el directo, cuando hay una posible prueba que verifica el hecho exacto indicado por esta afirmación. El segundo tipo es la afirmación de derivados indirectos. No está escrito en un pliego de condiciones, pero se deriva de uno o varios que son.

Volviendo a los frigoríficos y negro fotográfico y negro, he aquí algunos ejemplos: wheel Two types of assertions

  • Directa afirmación:
    Escrito está la especificación: "El refrigerador es" blanco. La prueba simplemente comprueba si es blanco.
  • Derivado afirmación:
    La afirmación de la base en una especificación es "El refrigerador es" azul.
    Los derivados podría ser "El refrigerador es blanco o negro". Los controles de las pruebas si no es azul (blanco / negro).

No es cierto, que las afirmaciones de derivados sólo son útiles cuando no hay capacidad para poner a prueba la afirmación de base a partir de especificaciones. En muchos casos ayudan a aumentar la cobertura en profundidad de una afirmación.



, , , , , ,
  • Compartir / Guardar
Print This Post Imprimir este mensaje