Um método e uma ferramenta para testes baseados em modelos para linhas de produto software

Orientador: Eliane MartinsDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: As linhas de produtos de software (LPS) estão ganhando interesse devido à crescente demanda por produtos personalizáveis. Tal se deve, em parte, por que as LPS são um meio eficiente e efetivo de entregar produtos com maior qualidade a um custo menor. Em uma LPS, produtos têm requisitos em comum e também, características específicas a cada um. Testar se um produto implementa os requisitos comuns e específicos é um importante passo para garantir uma boa qualidade. No entanto, o teste de uma LPS é uma tarefa complexa, uma vez que a variedade de produtos que podem ser derivados a partir da combinação de características comuns e específicas é enorme. Mesmo que se escolha apenas alguns produtos selecionados, o esforço para testá-los ainda assim é grande, dado que os produtos variam em termos das características específicas selecionadas. Portanto, reutilizar casos de teste de um produto para o outro para determinar se satisfazem os requisitos funcionais, pode não ser possível. Os testes baseados em modelos (MBT) podem ser úteis neste caso, nos quais um modelo de comportamento pode ser obtido a partir dos requisitos e este modelo pode ser usado para a geração automática de casos de teste. Neste trabalho é apresentada uma abordagem em que os requisitos SPL são centrados em casos de uso. Casos de uso (UC) são um formato popular para representar os requisitos. A partir das descrições de casos de uso escritas em um formato semi-estruturado e contendo a especificação de variabilidade, os modelos de comportamento são gerados automaticamente para um produto sob teste, na forma de um modelo de máquina de estado. Construir uma máquina de estado não é trivial para a maioria dos profissionais, que estão mais habituados com descrições textuais e informais dos requisitos. Em geral, a criação manual de modelos de máquinas de estado a partir de UCs pode ser demorado e propenso a erros. O objetivo é fornecer aos engenheiros de teste um método que os guie na criação dos artefatos necessários para que uma versão preliminar de um modelo de estado seja extraída automaticamente dos requisitos. Este modelo preliminar pode ser refinado para tornar-se adequado para uma ferramenta de geração de casos de teste. Para esse processo de refinamento também são fornecidas algumas diretrizes. Como prova de conceito, desenvolveu-se um protótipo de uma ferramenta, MARITACA, que utiliza técnicas de processamento de língua natural para extrair as máquinas de estado a partir das descrições dos casos de uso. O texto apresenta o uso do método e da ferramenta em um exemplo ilustrativo, obtido da literatura, e em uma família de aplicações distribuídas tolerantes a falhas. Este estudo mostrou a aplicabilidade do método proposto. Uma das preocupações nos testes de SPL é a geração de casos de teste redundantes de um produto para outro. Os resultados, embora preliminares, mostraram que a maioria dos casos de teste gerados para um novo produto não são redundantes, pois envolvem características específicas de cada produtoAbstract: Software product lines (SPL) are gaining interest because of the increasing demand for customizable products. This is partly because SPLs are an efficient and effective means of delivering products with higher quality at a lower cost. In SPL, products have common requirements and also, specific features for each one. Testing whether a product implements common and specific requirements is an important step to ensure good quality of the derived products. However, testing a SPL is a complex task, since the variety of products that can be derived from the combination of common and specific features is huge. Even if only a few specific products are selected, the effort to test them is still significant, since the products vary in terms of the specific features that are selected. Therefore, reusing test cases from one product to another to determine whether they satisfy the functional requirements may not be possible. Model-based testing (MBT) may be useful in this case, in which a behavior model can be obtained from the requirements and this model can be used for automatic test cases generation. This work presents model-based product testing approach (MBPTA) for software product lines, in which requirements are centered on use cases. Use Cases (UC) are a popular format for representing requirements. From the use case descriptions written in the form of a semi-structured format and containing the variability specification, the behavior models are automatically generated for a product under test, in the form of a state machine model. Building a state machine is not a trivial task for most practitioners, who are more familiarized with textual and informal descriptions of requirements. In general, the manual creation of state machine models from UCs can be time-consuming and prone to errors. The goal is to provide the test engineers with a method that guides them in the creation of artifacts necessary to extract a preliminary version of a state model from the requirements. This preliminary model can be refined to become suitable for a test case generation tool. MBPTA also provides guidelines for the refinement process of the preliminary model. As proof of concept, a prototype of a tool was developed, MARITACA, which uses natural language processing techniques to extract state machines from the use case descriptions. The text presents the use of the method and the tool in an illustrative example, obtained from the literature, and in a family of distributed fault-tolerant applications. This study showed the applicability of the proposed method. One of the concerns in SPL testing is the generation of redundant test cases from one product to another. The results, though preliminary, showed that most of the test cases generated for a new product are not redundant because they involve specific features of each productMestradoCiência da ComputaçãoMestra em Ciência da ComputaçãoCAPE

Diagnóstico del clima organizacional en la oficina de Atención al Afiliado de la Nueva EPS en la ciudad de Palmira

El objetivo de este estudio fue diagnosticar el Clima Organizacional de la Oficina de Atención al Afiliado de Nueva EPS en la ciudad de Palmira Valle. Esta investigación permitió identificar el ambiente de trabajo donde se desenvuelve el personal, determinando los factores psicológicos, organizacionales, sociales, físicos – ambientales, que inciden de forma positiva o negativa en el Clima y que finalmente se constituyen en debilidades o fortalezas dentro de la organización. Se realizo una Investigación de campo a nivel cuantitativo, utilizando como muestra una población de veinte (20) trabajadores; se aplicó un cuestionario diseñado por el docente de la universidad del Valle, Hernán Álvarez Londoño, “Hacia un clima organizacional plenamente gratificante” para obtener los datos de mayor relevancia; los cuales se presentaron en tablas simples de frecuencia absoluta. Los resultados se analizaron por áreas y finalmente de forma general, lo cual permitió concluir que: Gran parte de los factores que intervienen en el clima organizacional están funcionando de manera regular. A pesar de que algunas áreas perciben el clima mejor que en otras, algunos aspectos de relevancia deben ser revisados en las diferentes áreas de la Oficina y así acondicionarlos a las necesidades del personal que allí labora para que su desempeño sea más efectivo logrando la situación deseada que es un Clima Organizacional plenamente gratificante. De acuerdo con los resultados se presenta una propuesta donde se diseñan una serie de posibles soluciones tendientes a alcanzar un Clima Organizacional plenamente gratificante en la oficina de Atención al Afiliado de Nueva EPS, en la ciudad del Palmira (Valle).PregradoADMINISTRADOR(A) DE EMPRESA

Software acquisition method for small organizations

Actualmente, las organizaciones han incrementado su interés en la adquisición de productos software. Debido a ello este proceso debe estar bien defnido, deber ser específco y debe permitir a estas organizaciones poder apropiarse del mismo, para lograr satisfacer sus necesidades y expectativas relacionadas con la adquisición. En este sentido, este artículo expone un método para la adquisición de productos software ajustado a las características propias de las pequeñas organizaciones, el cual está basado en las prácticas más comunes presentadas por referentes internacionales relacionados con la adquisición. Además, se presenta de forma detallada el fujo de actividades, tareas, roles y productos de trabajo que deben ser seguidas para adquirir un producto software que satisfaga las necesidades y expectativas de la organización. De la aplicación inicial del método propuesto en una pequeña organización vinculada al sector de economía solidaria se ha observado que éste es útil y práctico para conducir la adquisición.  Currently organizations have increased their interest in the acquisition activities of software products. As a result, this process should be well defned and specifc in order to allow to these organizations appropriate of them seeking satisfy their needs and expectations related to the acquisition. In this sense, this article exposes a method for software products acquisition adjusted to the specifc characteristics of small organizations, which is based on common practices presented by international referents related to the acquisition process. Furthermore, the fow of activities, tasks, roles and work products that must be followed to acquire a product that satisfes the needs and expectations of the organization is presented in detail. From the initial application of the proposed method in a small organization linked to the cooperative sector has been observed that this is useful and practical to conduct the activity of software acquisition

Software acquisition method for small organizations

Actualmente, las organizaciones han incrementado su interés en la adquisición de productos software. Debido a ello este proceso debe estar bien defnido, deber ser específco y debe permitir a estas organizaciones poder apropiarse del mismo, para lograr satisfacer sus necesidades y expectativas relacionadas con la adquisición. En este sentido, este artículo expone un método para la adquisición de productos software ajustado a las características propias de las pequeñas organizaciones, el cual está basado en las prácticas más comunes presentadas por referentes internacionales relacionados con la adquisición. Además, se presenta de forma detallada el fujo de actividades, tareas, roles y productos de trabajo que deben ser seguidas para adquirir un producto software que satisfaga las necesidades y expectativas de la organización. De la aplicación inicial del método propuesto en una pequeña organización vinculada al sector de economía solidaria se ha observado que éste es útil y práctico para conducir la adquisición.  Currently organizations have increased their interest in the acquisition activities of software products. As a result, this process should be well defned and specifc in order to allow to these organizations appropriate of them seeking satisfy their needs and expectations related to the acquisition. In this sense, this article exposes a method for software products acquisition adjusted to the specifc characteristics of small organizations, which is based on common practices presented by international referents related to the acquisition process. Furthermore, the fow of activities, tasks, roles and work products that must be followed to acquire a product that satisfes the needs and expectations of the organization is presented in detail. From the initial application of the proposed method in a small organization linked to the cooperative sector has been observed that this is useful and practical to conduct the activity of software acquisition

Modeling dependable product-families: from use cases to state machine models

Product Families are gaining interest because of the increasing demand for customizable products. However, testing a Product Family is a difficult task, in special, for dependable products, in which the exception handling must also be well tested. Model-based testing (MBT) can be useful for testing Product Families, in which a behavior model can be obtained from the requirements; this model being used for automatic test case generation. The use of MBT, however, requires a good modeling expertise from practitioners, as they are mainly used with informal, textual descriptions of the requirements. In this paper, we show how to apply a use-case modeling approach that allows the automatic extraction of a state machine model for a product. Use cases are described in a restricted format that comprises not only the representation of commonalities and variabilities but also the specification of exception handling for fault-tolerant behavior.Product Families are gaining interest because of the increasing demand for customizable products. However, testing a Product Family is a difficult task, in special, for dependable products, in which the exception handling must also be well tested. Model-b131134CAPES - COORDENAÇÃO DE APERFEIÇOAMENTO DE PESSOAL DE NÍVEL SUPERIORSEM INFORMAÇÃOSeventh Latin-American Symposium on Dependable ComputingOCT 19-21, 2016Cali, COLOMBI

Método para la adquisición de software en pequeñas organizaciones

Currently organizations have increased their interest in the acquisition activities of software products. As a result, this process should be well defned and specifc in order to allow to these organizations appropriate of them seeking satisfy their needs and expectations related to the acquisition. In this sense, this article exposes a method for software products acquisition adjusted to the specifc characteristics of small organizations, which is based on common practices presented by international referents related to the acquisition process. Furthermore, the fow of activities, tasks, roles and work products that must be followed to acquire a product that satisfes the needs and expectations of the organization is presented in detail. From the initial application of the proposed method in a small organization linked to the cooperative sector has been observed that this is useful and practical to conduct the activity of software acquisition.Actualmente, las organizaciones han incrementado su interés en la adquisición de productos software. Debido a ello este proceso debe estar bien defnido, deber ser específco y debe permitir a estas organizaciones poder apropiarse del mismo, para lograr satisfacer sus necesidades y expectativas relacionadas con la adquisición. En este sentido, este artículo expone un método para la adquisición de productos software ajustado a las características propias de las pequeñas organizaciones, el cual está basado en las prácticas más comunes presentadas por referentes internacionales relacionados con la adquisición. Además, se presenta de forma detallada el fujo de actividades, tareas, roles y productos de trabajo que deben ser seguidas para adquirir un producto software que satisfaga las necesidades y expectativas de la organización. De la aplicación inicial del método propuesto en una pequeña organización vinculada al sector de economía solidaria se ha observado que éste es útil y práctico para conducir la adquisición.

Framework conceptual para el diseño colaborativo de Sistemas de Información en Salud

The design of information systems tailored to the needs of the health sector requires special attention, due to the complexity of the information, compatibility and support of the systems required for this sector. Despite national initiatives for the standardization of information shared by health sector entities, there are factors such as the financial deficit of the sector and the poor management of resources that negatively impact this standardization and also on the provision of health services, especially services related to sexual and reproductive rights. Having a framework can contribute to the capture, storage, treatment and consultation of Colombian health information in a standardized, up-to-date and secure way, which is why this article proposes a conceptual framework for the collaborative design of health information systems, initially prioritized for the domain of sexual and reproductive health. The framework consists of a domain ontology, an implementation guide and other components that allow the scalability of this, highlighting the importance of such solutions for this sector, promoting the design of health information systems under the concept of collaborative work between interested organizations. The results show that standardization of information and collaborative work allows to design more efficient and at the same time compatible and interoperable systems, which reduces administrative procedures and the loss of important data in health care.El diseño de sistemas de información ajustado a las necesidades del sector salud requiere una atención especial, debido a la complejidad de la información, la compatibilidad y el soporte de los sistemas requerido para este sector. A pesar de existir iniciativas nacionales para la estandarización de la información que comparten las entidades del sector salud, existen factores como el déficit financiero del sector y los malos manejos de los recursos que impactan de forma negativa en esta estandarización y también en la prestación de los servicios de salud, especialmente, los relacionados con los derechos sexuales y reproductivos. En este artículo se propone un framework conceptual para el diseño colaborativo de sistemas de información en salud, inicialmente priorizado para el dominio de salud sexual y reproductiva, lo cual permitirá contar con un marco de trabajo que contribuya en la captura, el almacenamiento, el tratamiento y la consulta de la información de salud de los colombianos de una forma estandarizada, actualizada y segura. El framework se compone de una ontología de dominio, una guía de implementación y otros componentes que permiten la escalabilidad de este, lo cual evidencia la importancia de este tipo de soluciones para este sector, y promueve el diseño de sistemas de información en salud bajo el concepto de trabajo colaborativo entre las organizaciones interesadas. Los resultados obtenidos muestran que la estandarización de la información y el trabajo colaborativo permite diseñar sistemas más eficientes y al mismo tiempo compatibles e interoperables, lo cual reduce los trámites administrativos y la pérdida de datos importantes en la atención médica