Representación de las mejores prácticas de verificación de sistemas de software en el núcleo de la Esencia de Semat.

Abstract

Software System verification (SSV) is a crucial process allowing for assessing whether the established requirements are correct or not. SSV is intended to build software with quality. Common practices are used in some SSV techniques. Some of the so-called SSV best practices are graphically represented and other ones are expressed in natural language. Such representations have their main elements: Graphical representations always have different symbols in the representation model and natural-language-based representations have no graphic representation. Even though in both cases some elements are similar, universal elements are still missed. Also, all proposals lack a standard framework with common elements. Semat (Software Engineering Method and Theory) Essence is a standard with a universal language defined and a set of elements widely accepted in Software Engineering (SE). In the Semat kernel, SE practice common elements can be captured, adapted, and represented. Consequently, in this M.Sc. Thesis we propose the identification and representation of system and software verification best practices in the Semat Essence kernel. Hence, SSV best practice processes can be represented in order to be implemented when the context of the software project requires them. Such practices are intended to support the SSV process for developing a product according to the established requirements..

La verificación de sistemas de software (VSS) es un proceso fundamental que permite evaluar si los requisitos que se establecen son correctos, construyendo así software con calidad. Existen varias técnicas de VSS donde se utilizan prácticas en común, las cuales se pueden llamar mejores prácticas de VSS; unas se representan gráficamente y otras se expresan en lenguaje natural. En ambas propuestas se evidencian diferencias en sus elementos principales, en las técnicas que se representan gráficamente los símbolos que se utilizan en el modelo de representación son distintos y en las técnicas que se expresan en lenguaje natural no existe representación gráfica. Aunque en los dos casos algunos elementos son similares, no se establecen elementos universales y en ninguna de estas propuestas hay un marco de trabajo estándar donde se puedan capturar sus elementos comunes. La Esencia de Semat (Teoría y Método de la Ingeniería de Software, por sus siglas en inglés) es un estándar donde se define un lenguaje universal con un conjunto de elementos ampliamente aceptados en la ingeniería de software (IS). En el núcleo de Semat, los elementos comunes de las prácticas de IS se pueden capturar, adaptar y representar. Por ello, en esta Tesis de Maestría se propone la representación de las mejores prácticas de VSS en el núcleo de la Esencia de Semat. De esta forma, se pueden representar los elementos de las mejores prácticas de VSS, para implementarlas cuando el contexto del proyecto de software lo requiera. Esto puede apoyar el proceso de VSS para que se desarrolle un producto de acuerdo con los requisitos establecidos