Uma Abordagem para a Geração de Casos de Teste Baseada em Modelos

Abstract — The analytical methods based on evaluation models of interactive systems were proposed as an alternative to user testing in the last stages of the software development due to its costs. However, the use of isolated behavioral models of the system limits the results of the analytical methods. An example of these limitations relates to the fact that they are unable to identify implementation issues that will impact on usability. With the introduction of model-based testing we are enable to test if the implemented software meets the specified model. This paper presents an model-based approach for test cases generation from the static analysis of source code.

Portugal amigo da terceira idade? Bem, haja Manoel de Oliveira ...

O artigo 72º da Constituição (CRP), «Terceira idade», é claro: «1. As pessoas idosas têm direito à segurança económica e a condições de habitação e convívio familiar e comunitário que respeitem a sua autonomia pessoal e evitem e superem o isolamento ou a marginalização social. § 2. A política de terceira idade engloba medidas de carácter económico, social e cultural tendentes a proporcionar às pessoas idosas oportunidades de realização pessoal, através de uma participação activa na vida da comunidade.». Abstract: Article 72 of the Constitution (CRP), "Seniors cirtizens", of course: '1. Older people have the right to economic security and housing conditions and family and community life that respect their personal autonomy and avoid and overcome isolation or social marginalization. § 2. The policy for the aged include economic measures, social and cultural nature designed to provide the elderly with opportunities for personal achievement through active participation in community life. ".