Módelos matemáticos en el aseguramiento de la calidad de software

Ponente(s): Brayan Josue Navarrete Campos, Dra. Mirna Ariadna Muñoz Mata
Actualmente, la Ingeniería de Software tiene una demanda creciente en desarrollar sistemas complejos con condiciones de calidad aceptables, de los cuales surgen diferentes tipos de problemas (Ogheneovo, E.E., 2013), es por ello que hace que la Ingeniería de Software sea una área multidisciplinaria, sin embargo, las nuevas tecnologías crean herramientas que no solo facilitan las tareas, sino que también nos ayudan a tomar decisiones o automatizar dichas decisiones. Cada vez las actividades de software necesitan ser implementadas desde diferentes perspectivas, una de ellas es la matemática, la cual nos permite formalizar el método o modelo que sigue para realizarlas y poder evaluar cada etapa del ciclo de vida del software. Cabe destacar el hecho de que al adoptar esta perspectiva no significa traducir los problemas de la Ingeniería de Software en problemas matemáticos, sino poder modelar los procesos que se llevan a cabo usando técnicas enriquecidas con el lenguaje matemático. Dado lo anterior, adoptar esta perspectiva no siempre resuelve el problema, pero adoptarla nos permite abstraer las partes más importantes del problema a resolver, lo cual nos da la información suficiente para abordarlo de una manera más eficiente.