Raul Moreira Vidal

A model-to-implementation mapping tool for automated model-based GUI testing

This paper presents extensions to Spec Explorer to automate the testing of software applications through their GUIs based on a formal specification in Spec

Towards the integration of visual and formal models for GUI testing

\sharp

Specification-Based Testing of User Interfaces

. Spec Explorer, a tool developed at Microsoft Research, already supports automatic generation and execution of test cases for API testing, but requires that the actions described in the model are bound to methods in a .Net assembly. The tool described in this paper extends Spec Explorer to automate GUI testing: it adds the capability to gather information about the physical GUI objects that are the target of the user actions described in the model; and it automatically generates a .Net assembly with methods that simulate those actions upon the GUI application under test. The GUI modelling and the overall test process supported by these tools are described. The approach is illustrated with the Notepad application.

Towards a framework to evaluate and improve the quality of implementation of CMMI ® practices

Abstract This paper presents an approach to diminish the effort required in GUI modelling and test coverage analysis within a model-based GUI testing process. A familiar visual notation a subset of UML with minor extensions is used to model the structure, behaviour and usage of GUIs at a high level of abstraction and to describe test adequacy criteria. The GUI visual model is translated automatically to a model-based formal specification language (e.g., Spec♯), hiding formal details from the testers. Then, additional behaviour may be added to the formal model to be used as a test oracle. The adequacy of the test cases generated automatically from the formal model is accessed based on the structural coverage of the UML behavioural diagrams.

Lessons Learnt in the Implementation of CMMI® Maturity Level 5

It is proposed an approach to integrate formal methods in the software development process, with an emphasis on the user interface development. The approach covers the specification by means of formal models, early model animation and validation, construction and conformity testing of the user interface implementation with respect to the specification. These conformity tests are described in detail through a state transition model with an abstraction function mapping concrete (implementation) to abstract (specification) states and operations. In order to illustrate the approach, it is presented a simple login/password dialog specification in VDM++, using a reusable control specification library, with a straightforward translation to Java or C#.

Software Reuse with Use Case Patterns

CMMI practices can be poorly implemented leading to weak performance gain. SCAMPI verifies model compliance but not performance. Hence, a framework to evaluate the quality of implementation of each practice, based on compliance and performance results, will prevent poor implementation, locate and fix problems, and ultimately achieve better results. In this paper we propose such a framework, based on a combination of leading and lagging indicators measuring compliance, efficiency and efficacy.

Métodos Formais na Especificação de Interfaces com o Utilizador: a Linguagem VDM++ e o Tratamento de Eventos

CMMI® has proven benefits in software process improvement. Typically, organisations that achieve a CMMI level rating improve their performance. However, CMMI implementation is not trivial, in particular for high maturity levels, and not all organisations achieve the expected results. Certain CMMI implementation problems may remain undetected by SCAMPISM since only a sample of the organisation is analysed during the appraisal and assessing the quality of implementation of some practices may be difficult. In this paper we present the case of three CMMI level 5 organisations. From the lessons learnt and based on an extensive bibliographic research, we identify a set of problems and difficulties that organisations willing to implement CMMI should be aware of and provide a set of recommendations to help avoid them. As future research we will develop a framework to help to evaluate the quality of implementation of CMMI practices.

A Modular Architecture for an Introductory Study of 8-Bit Microprocessors

This work concentrates on reuse-oriented software development. We propose an approach in which we incorporate reuse components in the initial phases of the software development process, that is to say, requirements specifications. These components, use case in the pattern form, reused during the requirements capture, allow a visualization of the system to be implemented. On the other hand, they also facilitate some normalization in the requirements process and, further, can be reused in several applications; this is obtained more easily with patterns. The primary motivation of this study derives from the fact that system requirements represent abstract knowledge of which a great part can be reused in other systems.

Modeling and Testing Hierarchical GUIs

O Acto de gerir adquiriu ao longo do tempo uma crescente complexidade. Cada vez sao mais as incertezas quanto ao seu resultado, e cada vez maior o numero de variaveis que tendem a influencia-la. Como tal, os Sistemas de Informacao sao hoje um recurso chave no apoio a tarefa “Gerir”. Nunca foi tao importante explorar ao maximo toda a informacao que prolifera numa dada organizacao. “Gerir e decidir em cenario de incerteza, com suporte probabilistico e intuicao, na procura constante de antecipar o futuro, actuando o mais cedo possivel, com um determinado nivel de risco. A informacao constitui o recurso-chave para a reducao da incerteza na gestao empresarial. Saber gerir a informacao de forma a apoiar a gestao global da unidade economica, e actualmente um dos principais desafios que se coloca as empresas” [Zorrinho, Carlos 1995]. Aproveitar os meios que as TIC (Tecnologias de Informacao e Comunicacao) disponibilizam, passou a ser nao somente um factor de sucesso mas essencialmente um factor de sobrevivencia.Apresenta-se um sistema de apoio a decisao (SAD) cujo principal objectivo e aplicar metodos formais de apoio a decisao, no âmbito da gestao de uma rede rodoviaria. Partindo de uma analise efectuada a dados disponibilizados pelo Instituto para a Conservacao e Exploracao da Rede Rodoviaria (ICERR), foi adaptada uma estrutura de dados que permitiu eliminar as redundâncias, inconsistencias e lacunas detectadas. O Sistema de Informacao (SI) desenvolvido corresponde aos requisitos fundamentais de um sistema de apoio a decisao (flexibilidade e interactividade), e permite a visualizacao dos resultados em ambiente grafico. Integra um Sistema de Informacao Geografica (SIG) – ArcView - e um Sistema de Gestao de Bases de Dados Relacional (SGBDR) - 4th Dimension. O metodo de apoio a decisao implementado foi o ELECTRE TRI, por se abordar este caso como sendo um problema de afectacao, de situacoes observadas, a classes que sao pre-definidas a partir de situacoes de referencia. A classificacao em classes tem por objectivo permitir ao Agente de Decisao (AD) tomar decisoes de forma coerente e fundamentada, no que respeita a afectacao de recursos (sempre escassos) para as operacoes de conservacao de uma rede de estradas.Neste artigo aborda-se o tema gestao do conhecimento nas organizacoes, apresentando-se o estudo de caso do Departamento de Informatica da Universidade da Beira Interior. Estuda-se o processo de geracao, transmissao e partilha de conhecimento no contexto deste Departamento e, propoe-se um Modelo de Gestao do Conhecimento que facilite a interaccao entre as pessoas, armazene e favoreca a partilha de informacao e conhecimento no Departamento. No modelo proposto, consideram-se dois niveis: o nivel organizacional e o nivel aplicacional/tecnologico. Ao nivel organizacional sao abordados os aspectos que devem ser considerados para implementar um processo de gestao do conhecimento no Departamento. Ao nivel aplicacional e desenvolvido um Sistema de Gestao do Conhecimento integrado na intranet do Departamento, suportado em tecnologias que facilitam o armazenamento e a partilha de informacao e conhecimento e que inclui, nomeadamente, documentacao cientifica e administrativa, fora de discussao e “melhores praticas”. O sistema serve de suporte ao modelo em termos organizacionais. Como abordagem metodologica adequada para o desenvolvimento deste trabalho, foi escolhido um estudo de caso explicativo e interpretativo, recorrendo-se a triangulacao de metodos, atraves da administracao de um questionario, da observacao participante e da analise documental.Com a finalidade de auxiliar os usuarios, proporcionando recursos e procedimentos para um gerenciamento eficiente das informacoes, a Universidade do Sul de Santa Catarina – Unisul implantou um Sistema Integrado de Gestao (Enterprise Resources Planning - ERP), apoiado por uma Arquitetura de Sistemas de Informacao (Information Systems Architecture - ISA). Este artigo apresenta algumas experiencias da implantacao do SAP/R3 e do uso do ARIS na reestruturacao da Unisul, para promover uma melhor integracao dos alunos, docentes e colaboradores aos processos de gestao universitaria, sendo que o aperfeicoamento e a manutencao destes sistemas e apoiada por um grupo de pesquisa, que tambem proporciona suporte e inovacao aos processos de aprendizagem que se vem praticando. Alem disso, descreve-se neste trabalho, uma abordagem do ensino de Reengenharia de Processos de Negocios (Business Process Re-engineering - BPR), considerando que mudancas tecnologicas possibilitam a execucao de tarefas, de modo bem diferente dos anteriores. Tendo em vista que a reestruturacao da universidade e a implantacao do ERP sao tarefas de longo prazo e que exigem melhorias continuas, o principal objetivo deste artigo e contribuir com a aplicacao de conceitos de integracao, mudancas organizacionais e tecnologicas nos procedimentos de ensino.Apresentamos um modelo para geracao automatica de programas para invocacao de transaccoes em sistemas ERP em operacao desconectada. O modelo estende estes sistemas para alem da sua natureza cliente-servidor tradicional, permitindo a existencia de um novo tipo de aplicacoes cliente, executaveis em PDA, capazes de invocar transaccoes das varias areas funcionais dos ERP. Este processo de geracao tem por base as API ja existentes nos ERP, permitindo a construcao de aplicacoes simples correspondentes aos processos elementares do negocio, com capacidade de sincronizacao com o sistema central.Compara-se neste artigo o papel dos Sistemas de Informacao e das Tecnologias de Informacao em duas industrias: texteis e do vestuario; e moldes de plastico. A comparacao e efectuada na optica da cooperacao entre empresas dessas industrias. A presenca mais intensa e generalizada de Sistemas Informacao e Tecnologias de Informacao na industria dos moldes de plastico favorece esta industria, na forma como se envolve em processos de cooperacao inter-organizacionais. A concentracao geografica das empresas das duas industrias em estudo, aponta para a existencia de clusters. No entanto, na industria de moldes de plastico, a evidencia de concentracao geografica das empresas ligadas a industria e mais forte do que para as industrias texteis e do vestuario. Este aspecto parece gerar maiores oportunidades de cooperacao.ERP implementation success is influenced by a large number of factors, which most of the times are difficult to measure objectively. User involvement and participation is one of the most cited critical success factors in ERP implementation projects, and one of the most critical ones for the their satisfactory outcome. This study attempts to define a set of metrics for monitoring user involvement and participation within ERP implementation projects by using the Goals/Questions/Metrics method. The results of this work are twofold. First, a literature review is presented on the user involvement and participation topic as related with ERP implementation projects. And second, a Goals/Questions/Metrics preliminary plan is proposed to monitor and control user involvement and participation within ERP implementation projects.

Classification of defect types in requirements specifications: Literature review, proposal and assessment

The different architectures of various microprocessor kits makes it difficult to give equal treatment to the most representative of such components. However, considering the similar internal architecture of the most common 8-bit microprocessors, it would make sense to have them presented on an equal-importance basis, if a corresponding set of identical (hardware and software) kits were available. The aim of this work is to describe such a minimal architecture.