Análisis de valor límite
El análisis de valores límite es una técnica de prueba de software en la que las pruebas están diseñadas para incluir representantes de valores límite en un rango. La idea viene del límite . Dado que tenemos un conjunto de vectores de prueba para probar el sistema, se puede definir una topología en ese conjunto. Las entradas que pertenecen a la misma clase de equivalencia definida por la teoría de partición de equivalencia constituirían la base . Dado que los conjuntos base son vecinos, existiría un límite entre ellos. Los vectores de prueba a ambos lados de la frontera se denominan valores de frontera. En la práctica, esto requeriría que los vectores de prueba se puedan ordenar y que los parámetros individuales sigan algún tipo de orden (ya sea un orden parcial o un orden total ).
En un lenguaje más sencillo, se prueban los valores en los bordes mínimo y máximo de una partición de equivalencia . Los valores pueden ser rangos de entrada o salida de un componente de software, también pueden ser la implementación interna. Dado que estos límites son ubicaciones comunes para los errores que resultan en fallas de software , se ejercen con frecuencia en los casos de prueba .
Los valores de entrada y salida esperados para el componente de software deben extraerse de la especificación del componente. Luego, los valores se agrupan en conjuntos con límites identificables. Cada conjunto, o partición, contiene valores que se espera que el componente procese de la misma manera. La partición de rangos de datos de prueba se explica en la técnica de diseño de casos de prueba de partición de equivalencia . Es importante considerar tanto las particiones válidas como las no válidas al diseñar casos de prueba.
Sobre la base del código, los vectores de entrada de [ a,b ] se dividen. Los bloques que debemos cubrir son la declaración de desbordamiento y la declaración de subdesbordamiento y ninguno de estos 2. Eso da lugar a 3 clases equivalentes, de la revisión del código en sí.
Observamos que los parámetros de entrada a y b son enteros, por lo tanto , existe un orden total en ellos. Cuando calculamos las igualdades: -
recuperamos los valores que están en el límite, inclusive, es decir, estos pares de ( a,b ) son combinaciones válidas, y no se produciría un desbordamiento ni un desbordamiento para ellos.
