Representación de las mejores prácticas de verificación de sistemas de software en el núcleo de la Esencia de Semat.
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 represent...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis de maestría |
| Estado: | Versión aceptada para publicación |
| Fecha de publicación: | 2019 |
| País: | Colombia |
| Institución: | Universidad Nacional de Colombia |
| Repositorio: | Repositorio UN |
| Idioma: | español |
| OAI Identifier: | oai:repositorio.unal.edu.co:unal/77511 |
| Acceso en línea: | https://repositorio.unal.edu.co/handle/unal/77511 |
| Access Level: | acceso abierto |
| Palabra clave: | 000 - Ciencias de la computación, información y obras generales::003 - Sistemas Software System verification Software Engineering Semat Essence kernel Ingenieria del software Verificación de sistemas de software Esencia de Semat Lenguajes computacionales |
| Sumario: | 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.. |
|---|