En términos de diseño de software, ¿qué significa realmente "Inconsistency" e "Incompleteness"?Terminología de Ingeniería de Software - ¿Qué significa "Inconsistencia" e "Incompleteness" realmente significa
E.g. - Creación de especificaciones
El uso de métodos formales de ingeniería de software se dice que es menos "inconsistente" e "incompleto" que otros métodos menos formales como el diseño orientado a objetos al crear especificaciones.
Inconsistencia e incompletitud son términos originalmente de lógica formal, donde se usan para describir sistemas lógicos.
Las definiciones completas dependen del contexto exacto, pero inconsistency significa algo así como "para algunas X, puedes probar tanto X como! X", y incompleteness significa algo así como "para algunas X, no puedes probar X ¡y no puedes probar! X ".
Entonces, para las especificaciones, entiendo "inconsistente" significa algo como "no se puede implementar, porque es contradictorio de alguna manera" e "incompleto" significa "no especificado": para algunas entradas, el los resultados no están claramente definidos ".
En los sistemas de bases de datos, una transacción consistente es aquella que no infringe ninguna restricción de integridad durante su ejecución. Si una transacción deja la base de datos en un estado ilegal, se cancela y se informa un error.
En los algoritmos, la noción de integridad se refiere a la capacidad del algoritmo para encontrar una solución, si existe, y si no, informa que no hay solución posible.
En teoría de complejidad computacional, un problema P es completo para una clase de complejidad C, bajo un tipo de reducción dado, si P está en C, y cada problema en C se reduce a P usando esa reducción. Por ejemplo, cada problema en la clase NP-complete está completo para la clase NP, bajo reducción de tiempo polinomial, muchos uno.
En las pruebas de software, la integridad tiene como objetivo la verificación funcional del gráfico de llamadas (entre el elemento de software) y el gráfico de control (dentro de cada elemento de software). El concepto de integridad se encuentra en la teoría de la base de conocimiento.
Podría seguir y seguir con tales definiciones ... ¿tal vez hacer la pregunta menos vaga?
Y si tuviera un mal día, me gustaría enlazar a "Goedels teoremas de incompletitud", ya que sería definitivamente ser en el tema;)
El título de la pregunta indica eng software. pero el cuerpo especifica el diseño del software. Estos dos términos no son equivalentes.
En cuanto a la incoherencia e incompletitud, hay muchas áreas en las que se aplican. Sólo para nombrar unos pocos de ellos:
incompletitud:
Incon consistencia
pueden significar muchas cosas, sólo voy a tirar algunos ejemplos aquí:
inconsistencia:
Incompletitud:
Las listas de seguir y seguir ...
Es posible, de acuerdo con el contexto, que Formal Methods se refiere a técnicas matemáticas para probar la exactitud de los programas. En ese contexto, el uso de pruebas matemáticas garantizaría que las especificaciones no sean inconsistentes (sin contradicciones lógicas) o incomplete (hay una prueba formal de la validez de la especificación).
En el contexto del ejemplo que proporcionó, simplemente significa que la imposición de un proceso formal, uno que tenga un enfoque documentado de principio a fin, una metodología, un conjunto de entregables, roles definidos y responsabilidades, producirá un producto mejor que un enfoque ad-hoc para el mismo problema. En otras palabras, los sistemas formales que describen un proceso completo de ingeniería de software usado de manera consistente y aplicada a lo largo de la vida útil de ese proyecto producirán mejores resultados que los sistemas que no proporcionan este marco de soporte.
Es lo mismo que construir una casa.Sí, puedes salir corriendo y comenzar a clavar tablas juntas y podrías construir algo en lo que puedas vivir, pero si en cambio estudias arquitectura, materiales de construcción y técnicas, defines un flujo de trabajo, etc., terminarás con una mejor casa Incluso mejor que eso, sin embargo, podrás construir esa misma casa, o una similar, nuevamente con una probabilidad significativamente mayor de éxito.
Un significado de consistencia e integridad (y sus respectivas negaciones) en el contexto de los sistemas formales es el siguiente. A grandes rasgos, un sistema es coherente si no es posible derivar una contradicción de él. Un sistema está completo si es posible generar todas las verdades sobre el modelo subyacente. Lo ideal es llegar a un conjunto razonable de axiomas que sea capaz de "capturar" todas y solo las verdades sobre un dominio determinado.
Pueden significar muchas cosas. ¿Puedes proporcionar ejemplos de uso que no encuentres claro? – jfawcett
significan no consistente y no completo –
@jfawcett Agregué un ejemplo – Julian