Automatização de testes de software no âmbito da certificação de software para aplicações de engenharia civil

Testar software é uma das atividades que faz parte do desenvolvimento de software, e tem como objetivo apresentar evidências de confiabilidade contribuindo para uma maior qualidade do software. Esta atividade consome uma parte significativa do esforço de um projeto de desenvolvimento de software, sempre com o objetivo de encontrar erros antes da fase de manutenção, pois o custo de correção nesta fase pode ser até 100 vezes superior ao custo de correção na fase de conceção. Para auferir mais qualidade ao software, este pode ser certificado por uma norma de qualidade. As normas fornecem processos consistentes, rigorosos e uniformes para o desenvolvimento de software sempre com o objetivo de garantir qualidade ao software. As normas têm um papel importante na definição dos requisitos de teste, casos de teste e relatórios de teste que contemplam a atividade de testes permitindo elaborar um plano de testes mais rigoroso. Como o processo de testes é complexo no desenvolvimento de software, as ferramentas de automatização de testes de software permitem reduzir tempo, recursos e consequentemente os custos para a organização. A automatização deverá ser capaz de produzir os mesmos resultados obtidos através de um processo de testes manual, evidenciando sempre o resultado do teste. Deve também permitir a realização de testes sistemáticos e paralelos em diferentes ambientes de teste, sem o aumento do tempo e de recursos humanos. Nesta dissertação pretende-se desenvolver uma abordagem automatizada com o software Sikuli para a realização de testes seguindo a norma ISO/IEC 25051 para certificação de software. Depois da criação da abordagem e a respetiva criação de testes, é necessário validar a capacidade desta abordagem em comparação com uma abordagem de testes manuais.

Processo de certificação de qualidade de produto de software na Embrapa: apostila de curso.

v. 1. Aspectos de qualidade de produto de software na Embrapa. Visão geral de qualidade. Qualidade de software. Certificação de qualidade de produto de software. NBR 13596 - modelo de qualidade: características e subcaracterísticas. NBR 12119 - pacotes de software - teste e requisitos de qualidade. Qualidade na Embrapa.

Marcação CE de dispositivos médicos e segurança em software

Com o crescente aumento da Teleradiologia, sentiu-se necessidade de criar mais e melhores softwares para sustentar esse crescimento. O presente trabalho pretende abordar a temática da certificação de software e a sua marcação CE, pois para dar entrada no mercado Europeu todos os Dispositivos Médicos (DM) têm de estar devidamente certificados. Para efetuar a marcação CE e a certificação serão estudadas normas e normativos adequados para marcação de DM ao nível Europeu e também dos Estados Unidos da América. A temática da segurança de dados pessoais será também estudada de forma a assegurar que o dispositivo respeite a legislação em vigor. Este estudo tem como finalidade a certificação de um software proprietário da efficientia sysPACS, um serviço online abrangente, que permite a gestão integrada do armazenamento e distribuição de imagens médicas para apoio ao diagnóstico.

X-ARM: um modelo de representação de artefatos de software

A great challenge of the Component Based Development is the creation of mechanisms to facilitate the finding of reusable assets that fulfill the requirements of a particular system under development. In this sense, some component repositories have been proposed in order to answer such a need. However, repositories need to represent the asset characteristics that can be taken into account by the consumers when choosing the more adequate assets for their needs. In such a context, the literature presents some models proposed to describe the asset characteristics, such as identification, classification, non-functional requirements, usage and deployment information and component interfaces. Nevertheless, the set of characteristics represented by those models is insufficient to describe information used before, during and after the asset acquisition. This information refers to negotiation, certification, change history, adopted development process, events, exceptions and so on. In order to overcome this gap, this work proposes an XML-based model to represent several characteristics, of different asset types, that may be employed in the component-based development. Besides representing metadata used by consumers, useful for asset discovering, acquisition and usage, this model, called X-ARM, also focus on helping asset developers activities. Since the proposed model represents an expressive amount of information, this work also presents a tool called X-Packager, developed with the goal of helping asset description with X-ARM

Adoção da certificação leed em meios de hospedagem: esverdeando a hotelaria?

A pesquisa objetivou analisar o processo de adoção da certificação "Leadership in Energy and Environmental Design" (LEED) a partir dos estabelecimentos do setor hoteleiro que já a adotaram. Para sua concretização procedeu-se uma pesquisa bibliográfica, coleta de dados secundários em sites institucionais, periódicos e material documental, bem como de dados primários por meio de entrevistas semiestruturadas. Foram 21 entrevistados, sendo 02 do Green Building Council Brasil e 19 de meios de hospedagem (31% dos certificados). A análise deu-se por meio da análise de conteúdo com auxílio do software ATLAS.ti. Os resultados permitiram identificar a cronologia dos processos de certificação e o perfil das categorias hoteleiras que adotam o programa LEED. Além disso, as entrevistas possibilitaram a discussão das motivações iniciais de busca pela certificação, bem como as vantagens e os entraves percebidos quanto à sua adoção.

Contributos para a certificação energética de edifícios de habitação e de serviços

Na União Europeia, os edifícios de habitação e de serviços apresentam elevados consumo energéticos. Para minimizar estes consumos a Comissão Europeia criou Diretivas, com a consequente transposição para a legislação nacional no âmbito da certificação energética de modo a classificar os edifícios em função do seu desempenho energético. No presente trabalho é realizado o estudo do desempenho energético e da classificação de uma fração destinada a habitação e de uma fração de serviços, tendo presente a análise de uma medida de melhoria baseada na microprodução de energia solar. É referida a evolução legislativa em que se inserem os certificados energéticos, referindo os aspetos a ter em conta na metodologia de cálculo do desempenho energético Faz-se uma descrição sucinta do levantamento e tratamento dos dados de cada imóvel assim como da introdução destes em folhas de cálculo, sendo ainda sugerido medidas de melhoria de modo a obter um melhor desempenho e consequentemente uma classificação superior. O certificado energético destes edifícios permite-nos ter uma classificação da sua prestação energética comparativamente com um edifício “similar” de referência. As medidas de melhoria aplicadas, nomeadamente adoção de um sistema solar térmico termossifão no edifício de habitação e de um sistema fotovoltaico para autoconsumo no edifício de serviços, a médio longo prazo, permitem uma redução de custos da energia. A análise de viabilidade da instalação do sistema fotovoltaico foi executada com recurso ao software Homer Energy. O edifício de habitação obteve uma classificação D e com a aplicação da medida de melhoria obteve uma classificação C, tendo-se obtido uma redução das necessidades anuais de energia primária de 41,8% e de emissões de GEE de 42,9%. O edifício de serviços obteve uma classificação B- e com a medida de melhoria aplicada a classificação manteve-se. No entanto, permite uma redução da fatura energética anual significativa, com uma redução de necessidades de energia primária de 47,8% e de emissão de GEE de 18,6%.