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.

MODELO PARA DEFINIÇÃO DOS REQUISITOS NO DESENVOLVIMENTO DE PRODUTOS WEARABLES DE PROTECÇÃO FÍSICA E ASSISTÊNCIA ACTIVA

Os requisitos do produto são as principais características do desenvolvimento do produto. O objectivo deste estudo foi definir um modelo prescritivo para definir os requisitos e necessidades no desenvolvimento de wearables de protecção física e assistência activa voltadas para os seniores em risco de cair. Foram analisados de métodos para a identificação de requisitos e necessidades dos quatro autores de referência (Bonsiepe, 1992;. Page et al 2001, Ulrich e Eppinger, 2000; Zenios et al., 2010)., A definição de categorias para identificar as diferentes etapas e tarefas em definição dos requisitos por parte dos autores, finalmente, um brainstorming por um grupo de especialistas em desenvolvimento de produtos e wearables, com cada especialista a organizar o informações de acordo com sua formação e experiência, permitindo a definição de um modelo prescritivo. Apresentamos um modelo prescritivo para definir os requisitos e necessidades no desenvolvimento de produtos de wearables focados na população sénior. O modelo é classificado pelo seu âmbito de aplicação, designação, requisitos de classificação, as categorias de necessidades, recolha de dados e aplicação do modelo. As alterações físicas e cognitivas inerentes ao envelhecimento pode também alterar a forma como os idosos interagem com os produtos portáteis e, portanto, novos tipos de requisitos devem ser observados em todos os momentos, na definição de requisitos de produto de protecção física e assistência activa focada neste tipo de população. Esses tipos podem ser: padrões de conforto e ergonomia, os requisitos de protecção, e requisitos de monitorização.

GUIsurfer: A Reverse Engineering Framework for User Interface Software

GUIsurfer: A Reverse Engineering Framework for User Interface Software

The role of coordination analysis in software integration projects

What sort of component coordination strategies emerge in a software integration process? How can such strategies be discovered and further analysed? How close are they to the coordination component of the envisaged architectural model which was supposed to guide the integration process? This paper introduces a framework in which such questions can be discussed and illustrates its use by describing part of a real case-study. The approach is based on a methodology which enables semi-automatic discovery of coordination patterns from source code, combining generalized slicing techniques and graph manipulation

Criminal Liability of Organizations, Corporations, Legal Persons, and Similar Entities on Law of Portuguese Cybercrime: A Brief Discussion on the Issue of Crimes of “False Information,” the “Damage on Other Programs or Computer Data,” the “Computer-Software Sabotage,” the “Illegitimate Access,” the “Unlawful Interception,” and “Illegitimate Reproduction of the Protected Program”

Abstract: in Portugal, and in much of the legal systems of Europe, «legal persons» are likely to be criminally responsibilities also for cybercrimes. Like for example the following crimes: «false information»; «damage on other programs or computer data»; «computer-software sabotage»; «illegitimate access»; «unlawful interception» and «illegitimate reproduction of protected program». However, in Portugal, have many exceptions. Exceptions to the «question of criminal liability» of «legal persons». Some «legal persons» can not be blamed for cybercrime. The legislature did not leave! These «legal persons» are v.g. the following («public entities»): legal persons under public law, which include the public business entities; entities utilities, regardless of ownership; or other legal persons exercising public powers. In other words, and again as an example, a Portuguese public university or a private concessionaire of a public service in Portugal, can not commit (in Portugal) any one of cybercrime pointed. Fair? Unfair. All laws should provide that all legal persons can commit cybercrimes. PS: resumo do artigo em inglês.

Quedas em altura na construção em Portugal: um estudo sobre requisitos, omissões e melhorias na utilização de guarda corpos

As estatísticas informam que o acidente de trabalho de queda em altura é das principais causas de morte no setor da construção em Portugal. Com base nas lacunas legais nacionais e regulamentos normativos aplicáveis, pretende-se com a presente dissertação identificar medidas organizacionais e legais que contribuam para o aumento da eficácia da proteção coletiva temporária guarda corpos. A recolha de dados procedeu-se através de um inquérito por questionário, do qual se obtiveram 155 respostas de técnicos superiores de segurança e higiene no trabalho. Os resultados da análise e verificação das hipóteses concluem sobre a importância de outros requisitos não legislados ou usualmente não considerados. São estes, entre outros, os ensaios, a certificação, a altura mínima de implementação, procedimentos e registos específicos da sua utilização.