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...
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...
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...
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 qué...
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...
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...