Diagnósticos y equivalencia de fronteras
Compara diagnósticos entre descripciones de frontera equivalentes y examina qué cantidades permanecen invariantes.
Los nombres de los controles se conservan tal como aparecen en la aplicación. Empieza con una referencia, cambia un parámetro cada vez y conserva las hipótesis junto al resultado.
Para qué sirve
Ayuda a identificar si un resultado depende de la descripción elegida y si contiene información suficiente para diferenciar clases.
Primeros pasos
- Carga el modelo del constructor.
- Selecciona otro miembro de su clase.
- Lee theory, frame y declined con sus motivos.
- Ejecuta aparte la prueba de separación entre clases.
Controles y parámetros
| Control | Significado | Prueba |
|---|---|---|
| Class-member selection | Cambia de descripción dentro de la clase mostrada. | Compara la misma fila antes y después. |
| Separation test | Comprueba si el diagnóstico distingue las clases finitas examinadas. | Úsalo después de entender su invariancia interna. |
Cómo leer los resultados
| Resultado | Significado |
|---|---|
| Theory / frame / declined | Etiquetas acompañadas del motivo y del alcance de cada evaluación. |
| Separación | Capacidad de distinguir los casos efectivamente probados. |
Ser invariante dentro de una clase y distinguir teorías distintas son propiedades diferentes. Las etiquetas describen la comparación realizada, no un teorema universal adicional.
Ejemplo guiado
Invariante pero insuficiente
- Compara miembros de una clase.
- Identifica una cantidad invariante.
- Ejecuta su prueba entre clases.
Qué esperar: Una cantidad puede ser invariante y aun así no distinguir diferentes clases.
Alcance y limitaciones
- Las conclusiones se limitan a los diagnósticos y casos examinados.
- Comparar numéricamente no demuestra una afirmación sobre todos los modelos.
- Declined conserva su motivo; no significa cero ni prueba superada.
Si algo no queda claro
Una cantidad invariante no separa clases.
Lee ambas propiedades por separado; no hay contradicción entre ellas.
Términos de esta guía
Fuentes y atribución
Guía del instrumento actual. Las ediciones archivadas conservan su propio alcance.
Volver arriba