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.

Anotação, numa perspectiva de Direito Penal e de Criminologia, de alguns dos aspectos do Acórdão do Supremo Tribunal de Justiça (português), de 28 de Setembro de 2011 - os problemas do direito ao silêncio e do dever em o arguido se sujeitar a aplicações de prova no processo penal

Resumo: 1 – Sumário do Acórdão do Supremo Tribunal de Justiça, de 28 de Setembro de 2011; 2 – Texto completo do Acórdão do Supremo Tribunal de Justiça, de 28 de Setembro de 2011, Juiz Conselheiro Raul BORGES (Relator), Juiz Conselheiro Armindo MONTEIRO cfr. http://www.dgsi.pt , 20 de Janeiro de 2012; 3 – Anotação; 3.1 – Introdução à anotação; 3.2 – Algumas das referências, por parte do Acórdão do Supremo Tribunal de Justiça, de 28 de Setembro de 2011, aos problemas do direito ao silêncio e do dever em o arguido se sujeitar a aplicações de prova no processo penal; 3.3 – «Teoria geral» dos problemas do direito ao silêncio em contraste com o dever de sujeição do arguido a diligências de prova no contexto do direito processual penal lusitano; 4 - Conclusão. § Abstract: 1 - Summary of the Judgement of the Supreme Court of Justice of 28 September 2011 2 - Full text of the Judgement of the Supreme Court of Justice of 28 September 2011, Councillor Judge Raul Borges (Reporter), Councillor Judge Armindo Monteiro cf. . http://www.dgsi.pt, January 20, 2012, 3 - Note: 3.1 - Introduction to the annotation; 3.2 - Some of the references, by the Judgement of the Supreme Court of Justice of 28 September 2011, the problems the right to silence and the duty in the defendant be subject to applications of proof in criminal proceedings; 3.3 - "general Theory" of the problems the right to silence in contrast to the duty of subjection of the accused to proof steps in the right context criminal procedure Lusitanian 4 - Conclusion. P.S.: este é o "abstract" tal qual como surge no artigo.

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.

Uma Metodologia para o Desenvolvimento de Aplicações Lúdico-Educativas

Após uma contextualização dos jogos para crianças, enquanto ferramenta lúdico-educativa, este artigo apresenta uma abordagem para o desenvolvimento de jogos educativos utilizando redes de Petri coloridas (colored petri nets - CPN) conectadas a um servidor de aplicações 3D. No final do artigo é feita uma análise dos resultados obtidos, evidenciando a interatividade entre o utilizador e os conteúdos do jogo.