Testes incrementais em um desenvolvimento guiado por testes baseados em modelo

Orientador: Eliane MartinsDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: O desenvolvimento de sistemas pode ser realizado seguindo diversos modelos de processo. Os métodos ágeis propõem realizar implementações iterativas e incrementais e testes antecipados, buscando uma validação antecipada do sistema. Algumas técnicas ágeis adicionam a característica de um desenvolvimento de sistema baseado em testes, como as técnicas de Desenvolvimento Baseado em Teste (do inglês Test Driven Development (TDD)) e Desenvolvimento Baseado em Comportamento (do inglês Behaviour Driven Development (BDD)). Recentemente algumas técnicas propõem a união de técnicas ágeis de desenvolvimento baseado em testes com técnicas consolidadas da área de testes, com o objetivo principal de auxiliar na etapa de criação de testes, que serão utilizados para guiar o desenvolvimento do sistema. Um exemplo é a técnica de Desenvolvimento Guiado por Testes Baseados em Modelo (do inglês Model-Based Test Driven Development (MBTDD)) que une os conceitos de Testes Baseados em Modelo (do inglês Model-Based Testing (MBT)) e Desenvolvimento Baseado em Teste (TDD). Portanto em MBTDD, testes são derivados de modelos que representam os comportamentos esperados do sistema, e baseado nesses testes, o desenvolvimento iterativo e incremental ocorre. Entretanto quando lidamos com processos iterativos e incrementais, surgem problemas decorrente da evolução do sistema, como por exemplo: como reutilizar os artefatos de testes, e como selecionar os testes relevantes para a codificação da nova versão do sistema. Nesse contexto, este trabalho explora um processo no qual o desenvolvimento ágil de sistema é guiado por testes baseados em modelos, com o enfoque no auxílio do reúso dos artefatos de testes e no processo de identificação de testes relevantes para o desenvolvimento de uma nova versão do sistema. Para tanto, características do processo de MBTDD são unidas com características de uma técnica que busca o reúso de artefatos de testes baseado em princípios de testes de regressão, denominada Testes de Regressão SPL Baseados em Modelo Delta (do inglês Delta-Oriented Model-Based SPL Regression Testing). Para realizar a avaliação da solução proposta, ela foi aplicada em exemplos existentes e comparada com a abordagem no qual nenhum caso de teste é reutilizadoAbstract: Systems can be developed following different process models. Agile methods propose iterative and incremental implementations and anticipating tests, in order to anticipate system validation. Some agile techniques add the characteristic of development based on tests, like in Test Driven Development (TDD) and Behaviour Driven Development (BDD). Recently some techniques proposed joining the agile techniques of development based on tests with techniques consolidated in the field of testing, with the main purpose of aiding in the test creation stage, which are used to guide the development of the system. An example is Model-Based Test Driven Development (MBTDD) which joins the concepts of Model-Based Testing (MBT) and Test Driven Development (TDD). Therefore in MBTDD, tests are derived from models that represent the expected behaviour of the system, and based on those tests, iterative and incremental development is performed. However, when iterative and incremental processes are used, problems appear as the consequence of the evolution of the system, such as: how to reuse the test artefacts, and how to select the relevant tests for implementing the new version of the system. In this context, this work proposes a process in which the agile development of a system is guided by model based tests, focusing on helping with the reuse of test artefacts and on the process of identifying tests relevant to development. To achieve this goal, MBTDD process characteristics are joined with characteristics from a technique that aims to find reusability of test artefacts based on principles of regression tests, called Delta-Oriented Model-Based SPL Regression Testing. To evaluate the proposed solution, it was applied to existing examples and compared to the approach without any test case reuseMestradoCiência da ComputaçãoMestra em Ciência da Computação151647/2013-5CNP

DESIGN OF AN INVENTORY INFORMATION SYSTEM FOR LABORATORY SUPPLIES

Data is inaccurate because it does not have a relevant data repository, data can be lost or damaged, inefficient data search and technicians cannot know for sure the amount of stock available. Based on some of the research above, the inventory information system for Laboratory goods in the Information Technology Study Program will be designed and built based on a website using the Laravel framework. The system development method used is the Incremental model. Incremental models are the result of a combination of elements from the waterfall model that are applied repeatedly, or it can be called a combination of the waterfall model and the Prototype Model. During testing, many errors were found in the system. Testing was carried out 4 times with a total of 164 test cases. In the first test, 98 bugs were found which were then reported to the programmer to be fixed. In the second test, 40 errors were found, in the third test, 19 errors were found, and in the last test conducted by the examiner, 0 bugs were found. The design of the Laboratory Goods Inventory Information System (SIMBA) begins with analyzing the weaknesses of the old system using the PIECES method. Then proceed with conducting a system requirements analysis and system feasibility analysis. After the analysis phase, it is continued with the design stage which begins with the UML design method

Incremental Lifecycle Validation Of Knowledge-based Systems Through Commonkads

This dissertation introduces a novel validation method for knowledge-based systems (KBS). Validation is an essential phase in the development lifecycle of knowledge-based systems. Validation ensures that the system is valid, reliable and that it reflects the knowledge of the expert and meets the specifications. Although many validation methods have been introduced for knowledge-based systems, there is still a need for an incremental validation method based on a lifecycle model. Lifecycle models provide a general framework for the developer and a mapping technique from the system into the validation process. They support reusability, modularity and offer guidelines for knowledge engineers to achieve high quality systems. CommonKADS is a set of models that helps to represent and analyze knowledge-based systems. It offers a de facto standard for building knowledge-based systems. Additionally, CommonKADS is a knowledge representation-independent model. It has powerful models that can represent many domains. Defining an incremental validation method based on a conceptual lifecycle model (such as CommonKADS) has a number of advantages such as reducing time and effort, ease of implementation when having a template to follow, well-structured design, and better tracking of errors when they occur. Moreover, the validation method introduced in this dissertation is based on case testing and selecting an appropriate set of test cases to validate the system. The validation method defined makes use of results of prior test cases in an incremental validation procedure. This facilitates defining a minimal set of test cases that provides complete and effective system coverage. CommonKADS doesn’t define validation, verification or testing in any of its models. This research seeks to establish a direct relation between validation and lifecycle models, and introduces a validation method for KBS embedded into CommonKAD

Digital Implementation of an Incremental Quantity Directional Protective Relay Element and Its Applications Using an Automated Testing Procedure

This thesis presents the design and analysis of a digital model of an incremental-quantity-based directional protective relay element using the electromagnetic transient program (EMTP). The digital model is based on a similar protective element present in commercially available time-domain-based relays and provides directional fault detection using incremental quantities. Such models are not readily available in transient study programs. The element’s operating principles are discussed in detail, and the digital design process is outlined. The digital model is designed in a simplified test system, and upon validation using a real-world time-domain-based relay, its performance is analyzed using the model of a real power transmission network. An automation script is developed to perform more robust testing. The development of the automation script is also discussed in detail within this thesis. The digital model is intended to predict the performance of the same element in commercially available time-domain relays. Model performance was compared with a commercially available relay and the results were found to be similar

The Class Validation System

Formal model-based specifications provide precise descriptions of the behavior of software components. These formal specifications are written using pre- and post-condition assertions. They can serve as a basis for formally verifying the correctness of an implementation. But a formal specification is really only useful when it captures the desired functionality. How can the specifier be confident that the specification is correct?;The Abstract Test Tool supports the direct execution of C++ class specifications through the incremental development and automated generation of abstract test cases and the display of abstract results---both in terms of the abstract model used in the specification. The Class Validation System builds upon the Abstract Test Tool to support the automated and extensive testing of C++ class implementations. The Class Validation System provides a potentially one-to-many mapping from abstract test cases to implementation test cases. The results of executing the implementation are automatically compared to the results of executing the specification by mapping the implementation results to the abstract model. Thus, the Class Validation System supports fully automated implementation testing

Control strategies for integration of electric motor assist and functional electrical stimulation in paraplegic cycling: Utility for exercise testing and mobile cycling

AIM: The aim of this study was to investigate feedback control strategies for integration of electric motor assist and functional electrical stimulation (FES) for paraplegic cycling, with particular focus on development of a testbed for exercise testing in FES cycling, in which both cycling cadence and workrate are simultaneously well controlled and contemporary physiological measures of exercise performance derived. A second aim was to investigate the possible benefits of the approach for mobile, recreational cycling. METHODS: A recumbent tricycle with an auxiliary electric motor is used, which is adapted for paraplegic users, and instrumented for stimulation control. We propose a novel integrated control strategy which simultaneously provides feedback control of leg power output (via automatic adjustment of stimulation intensity) and cycling cadence (via electric motor control). Both loops are designed using system identification and analytical (model-based) feedback design methods. Ventilatory and pulmonary gas exchange response profiles are derived using a portable system for real-time breath-by-breath acquisition. RESULTS:We provide indicative results from one paraplegic subject in which a series of feedback-control tests illustrate accurate control of cycling cadence, leg power control, and external disturbance rejection. We also provide physiological response profiles from a submaximal exercise step test and a maximal incremental exercise test, as facilitated by the control strategy. CONCLUSION: The integrated control strategy is effective in facilitating exercise testing under conditions of well-controlled cadence and power output. Our control approach significantly extends the achievable workrate range and enhances exercise-test sensitivity for FES cycling, thus allowing a more stringent characterization of physiological response profiles and estimation of key parameters of aerobic function.We further conclude that the control approach can significantly improve the overall performance of mobile recreational cycling

Telescience Resource Kit Software Lifecycle

The challenge of a global operations capability led to the Telescience Resource Kit (TReK) project, an in-house software development project of the Mission Operations Laboratory (MOL) at NASA's Marshall Space Flight Center (MSFC). The TReK system is being developed as an inexpensive comprehensive personal computer- (PC-) based ground support system that can be used by payload users from their home sites to interact with their payloads on board the International Space Station (ISS). The TReK project is currently using a combination of the spiral lifecycle model and the incremental lifecycle model. As with any software development project, there are four activities that can be very time consuming: Software design and development, project documentation, testing, and umbrella activities, such as quality assurance and configuration management. In order to produce a quality product, it is critical that each of these activities receive the appropriate amount of attention. For TReK, the challenge was to lay out a lifecycle and project plan that provides full support for these activities, is flexible, provides a way to deal with changing risks, can accommodate unknowns, and can respond to changes in the environment quickly. This paper will provide an overview of the TReK lifecycle, a description of the project's environment, and a general overview of project activities