Preguntas etiquetadas con formal-methods

Al comparar la ingeniería de software con la ingeniería civil, me sorprendió observar una forma diferente de pensar: cualquier ingeniero civil sabe que si desea construir una pequeña cabaña en el jardín, puede obtener los materiales e ir a construirla, mientras que si desea construirla. una casa de 10 pisos …

63 programming-practices  theory  formal-methods 

Si ha recibido capacitación en el uso de métodos formales (FM) para la programación: ¿Qué tan útil lo has encontrado? ¿En qué consistió su entrenamiento de FM (por ejemplo, un curso, un libro)? ¿Qué herramientas de FM utilizas? ¿Qué ventajas en velocidad / calidad le ha dado en comparación con …

17 code-quality  formal-methods 

Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado hace 2 años . Se pueden usar métodos formales para especificar, probar y generar …

14 development-process  code-quality  formal-methods 

Buscar en Google "teoría de prueba de software" solo parece dar teorías en el sentido blando de la palabra; No he podido encontrar nada que clasifique como teoría en el sentido matemático, teórico de la información o en algún otro campo científico. Lo que estoy buscando es algo que formalice …

12 testing  math  theory  formal-methods  information-theory 

Actualmente estoy refactorizando una parte de una gran base de código sin pruebas unitarias de ningún tipo. Traté de refactorizar el código de forma bruta, es decir, tratando de adivinar qué está haciendo el código y qué cambios no cambiarían su significado, pero sin éxito: rompe aleatoriamente las características de …

10 unit-testing  refactoring  legacy  formal-methods 

Recientemente me asignaron a trabajar en un pequeño proyecto que se está implementando en Haskell. Viniendo de un entorno OO / imperativo, estoy acostumbrado a convertir requisitos / historias de usuario en casos de uso y diagrama de secuencia antes de la codificación. Sin embargo, en el proyecto de Haskell …

8 functional-programming  requirements  haskell  logic  formal-methods