Dissertação (mestrado)—Universidade de Brasília, Faculdade de Educação, 2007. / Submitted by Aline Jacob (alinesjacob@hotmail.com) on 2010-01-05T21:41:38Z No. of bitstreams: 1 2007_RafaeldeAlencarLacerda.pdf: 2294498 bytes, checksum: 876d614526bfd71ecbc69a2f5f54744f (MD5) / Rejected by Daniel Ribeiro(daniel@bce.unb.br), reason: Falta abstract. on 2010-01-05T22:07:04Z (GMT) / Submitted by Aline Jacob (alinesjacob@hotmail.com) on 2010-01-05T22:31:41Z No. of bitstreams: 1 2007_RafaeldeAlencarLacerda.pdf: 2294498 bytes, checksum: 876d614526bfd71ecbc69a2f5f54744f (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2010-01-05T22:58:08Z (GMT) No. of bitstreams: 1 2007_RafaeldeAlencarLacerda.pdf: 2294498 bytes, checksum: 876d614526bfd71ecbc69a2f5f54744f (MD5) / Made available in DSpace on 2010-01-05T22:58:08Z (GMT). No. of bitstreams: 1 2007_RafaeldeAlencarLacerda.pdf: 2294498 bytes, checksum: 876d614526bfd71ecbc69a2f5f54744f (MD5) Previous issue date: 2007-12-14 / O presente trabalho apresenta um modelo para levantamento de requisitos na construção de softwares educativos - SE. Para se chegar a este modelo foi desenvolvida uma pesquisa qualitativa com base em um estudo de caso do software intitulado Hércules e Jiló no Mundo da Matemática. O modelo proposto contempla cinco pilares básicos para a análise de requisitos neste tipo de software: contexto, público-alvo, conteúdo, avaliação e equipe multidisciplinar. O resultado da análise dos dados e elaboração da modelagem deste software educativo proporcionou a explicitação de cinco produtos que, conforme o modelo, são esperados desta etapa do desenvolvimento de um SE: planejamento, pesquisa, capacitação da equipe, delimitação da envergadura do software e modelagem do mesmo. A aplicação deste modelo permite considerar questões extremamente relevantes quando se trata da construção de um material didático inovador, além de servir com instrumento de ajuda para desenvolvedores de tal categoria de software. ________________________________________________________________________________________ ABSTRACT / The present work provides a model for requirements analysis in educational software. This model was developed through a qualitative research based on a case study of a software called Hercules and Jiló in the World of Mathematics. The proposed model includes five pillars to requirements analysis: context, audience, content, assessment and multidisciplinary team. The result of data analysis and modeling of this educational software provided an explanation of five products that, as according to the model, are expected this stage of the development of an educational software: planning, research, training of the team, delimitation of the scope and educational software modeling. The application of this model allows to consider relevants questions when it attends to development of an innovative teaching materials and an instrument useful to help developers in this software category.

Made available in DSpace on 2013-08-07T18:42:39Z (GMT). No. of bitstreams: 1 000448243-Texto+Completo-0.pdf: 2290128 bytes, checksum: 5d6aa8c3c9b323bf5e5fc7c54792fa85 (MD5) Previous issue date: 2010 / Nowadays, a considerable part of usability evaluations carried out during the software development lifecycle is conducted at later stages. Some of these assessments depend on the creation of fully functional prototypes, so they can be applied, and they’re commonly performed after the development and deployment of software. This factor contributes significantly to the increase in cost of production. In this sense, from the research of prototyping, usability engineering and the conduction of a systematic review, this work presents an approach that allows the usability evaluation anticipation, through the use of mixed-fidelity prototypes created via the use of a computational tool. This tool assists in the creation and simulation of prototype interfaces, and enables collecting the following metrics of usability, for further analysis: task success, giving up on tasks, time on task, effort, screen balance, screen symmetry, screen balance, sequencing, order and complexity and system usability scale. In addition to the metrics that are collected by the tool automatically, other metrics are proposed to be collected from the observation of users using the prototypes created: partial success of the task, number of errors, help and documentation, time help, anger or frustration. The analysis of the obtained metrics point to areas of the system with potential usability problems. Moreover, the execution of new tests using the interfaces refined with the approach aid allow us to quantify the improvements resulting of the layout changes. In addition to the approach, the work presents its use in an experiment conducted with users. This experiment showed that, although not ali the metrics that can be collected from prototypes contribute to the refinement of interfaces, it was still possible to reduce the number of usability problems by just analyzing the results of the metrics. / Hoje em dia, uma considerável parte das avaliações de usabilidade realizadas nos ciclos de desenvolvimento de software é conduzida em etapas mais avançadas nestes ciclos. Algumas destas avaliações dependem ainda que protótipos totalmente funcionais sejam construídos, para que possam ser aplicadas, sendo comumente realizadas após o desenvolvimento e implantação do software. Este fator contribui significativamente para o aumento no custo de produção. Neste sentido, a partir de pesquisas sobre prototipação e engenharia de usabilidade e da condução de uma revisão sistemática sobre métricas para avaliação de usabilidade, o presente trabalho apresenta uma abordagem que permite que a avaliação de usabilidade seja antecipada, efetuando-a por meio da utilização de protótipos — de fidelidade mista - elaborados mediante o uso de uma ferramenta computacional. Esta ferramenta auxilia na criação e simulação de protótipos de interfaces, além de permitir coletar as seguintes métricas de usabilidade, para posterior análise: sucesso de tarefas, desistência de tarefas, tempo na tarefa, esforço, equilíbrio de tela, simetria de tela, balanço de tela, seqüenciamento, ordem e complexidade e escala de usabilidade do sistema. Além das métricas que são coletadas pela ferramenta, de forma automática, são propostas as seguintes métricas, a serem coletadas a partir da observação dos usuários utilizando os protótipos criados: sucesso parcial de tarefa, número de erros, auxilio e documentação, tempo de ajuda e raiva ou frustração. A análise das métricas obtidas permite apontar áreas do sistema com possíveis problemas de usabilidade. Além disto, a execução de novos testes utilizando as interfaces refinadas com o auxílio da abordagem permite quantificar as melhorias realizadas pelas mudanças de layout efetuadas. Além da abordagem, o trabalho apresenta seu uso em um experimento realizado com usuários. Este experimento permitiu verificar que, apesar de nem todas as métricas passíveis de serem coletadas de protótipos contribuírem para o refino das interfaces, ainda assim foi possível reduzir o número de problemas de usabilidade.

Made available in DSpace on 2015-04-30T14:04:06Z (GMT). No. of bitstreams: 1 000467155-Texto+Completo-0.pdf: 2830700 bytes, checksum: 717b3cd1bf5545454eab21f0a4080aac (MD5) Previous issue date: 2014 / Technology advances have allowed software systems to become more common in our society solving different types of problems we face everyday. This widespread use of software systems brought about some bigger and more complex solutions, which resulted in more systems that can fail. Furthermore, two important aspects in the software development process are being considered in every project: time to delivery and product quality. Since products have to be delivered faster, some faults may reside in the product and that could cause unforeseeable costs. In this scenario it is fundamental that the testing activity become one of the most important parts of the software development process to guarantee the quality of the final product. However, the testing activity is usually very expensive and time consuming, since most of the time it is executed manually. To improve that, Model Based Testing (MBT) has been used lately to generate testing artifacts automatically. These artifacts are usually extracted from the system model. This has helped to reduce the cost of testing, since the time to generate and execute tests can be reduced. Therefore, the main contribution of this work is to investigate how MBT can be applied for performance testing, i. e. how to include timing constraints in UML (Unified Modeling Language) diagrams and based on those constraints to execute the tests and verify whether the constraints are met or not. Another contribution of this work, is the setting of Service Level Agreements, i. e. set parameters to verify whether a system delivery answers based on pre-determined values. We applied our strategy to two sample applications, i. e. TPC-W and Skills, and measured their execution time using the LoadRunner Tool. Furthermore, we applied our whole strategy also to a complete case study, i. e. ChangePoint, and discuss some of our results. / Com o avanço da tecnologia, os sistemas se tornaram cada vez maiores e mais complexos, e, consequentemente, mais suscetíveis a defeitos. Aliado a isso, estão presentes dois fatores cruciais no processo de desenvolvimento de software: os prazos de entrega dos projetos e a qualidade do produto, uma vez que a existência de pequenas falhas pode levar a prejuízos incalculáveis. Nesse aspecto, se torna indispensável incluir a atividade de teste como parte do projeto de software, a fim de garantir certo de nível de confiabilidade. Porém, a realização da atividade de teste é geralmente bastante onerosa durante o desenvolvimento de um sistema de software. Isso ocorre porque boa parte dessas atividades são executadas manualmente. Nesse sentido, a abordagem de Teste Baseado em Modelos (Model Based Testing - MBT) é uma técnica que consiste na geração automática dos artefatos de teste com base em informações extraídas dos modelos de software. Isso tem sido uma alternativa para mitigar estes custos e tornar o processo de teste mais eficiente, reduzindo o tempo de geração e execução dos casos de teste. Neste contexto, a principal contribuição deste estudo é investigar a abordagem de MBT para teste de desempenho, relacionando estimativas de tempo aos modelos UML (Unified Modeling Language)e com base nessas estimativas medir o tempo de execução das sequências de teste. Outro fator é a definição dos Acordos de Nível de Serviço - SLAs, que tem como objetivo definir indicadores a serem atingidos que possam de fato serem medidos e assegurar que um serviço seja disponibilizado de forma correta e adequada. Diante disso, a partir de um cenário de teste é possível medir e monitorar o tempo de execução das sequências de teste avaliando se estão em conformidade com o SLA definido. Após a realização dos testes é possível coletar e analisar os resultados obtidos, além de comparar com os requisitos de tempo inicialmente estimados nos modelos. Nós aplicamos a nossa abordagem em duas em duas aplicações: TPC-W e Skills, e medimos seus tempos de execução usando a ferramenta LoadRunner. Além disso, aplicamos nossa abordagem também para um estudo de caso completo, usando a aplicação ChangePoint, e discutimos alguns dos resultados.

Made available in DSpace on 2013-08-07T18:43:32Z (GMT). No. of bitstreams: 1 000440403-Texto+Completo-0.pdf: 3359278 bytes, checksum: cbbeb61af35844dc984f05b444694a52 (MD5) Previous issue date: 2012 / Software testing process has a high cost when compared to the other stages of software development. Automation of software testing through reuse of software artifacts (e. g. models) is a good alternative for mitigating these costs and making the process much more efficient and effective. In this sense, the Model-Based Testing (MBT) approach has increased in Software Engineering. MBT is a technique of automatic generation of testing artifacts based on software models, which also includes the specification of the aspects to be tested. This work aims to study techniques and methodologies for MBT and to evaluate the features of the different models applied in MBT. The main contribution of this study is to analyze the features of the models that are used in performance testing of web applications. In another perspective, it presents an approach for generating test cases based on FSM (Finite State Machines). Furthermore, it describes the process of generating the test cases using the HSI method (Harmonized State Identification). Besides, the implementation of a plug-in in the PLeTs tool based on UML SPT profile, which interprets the set of features designed for performance testing, is presented in a real case study. Our work, defines which features must be present in a model when modeling user interactions with a SUT (System Under Test). This will allow the increasing in automation and in reusing testing artifacts throughout the systems development life cycle. Furthermore, our solution is generated automatically by a Software Product Line (SPL). / O processo de teste de software possui um custo elevado se comparado com as demais etapas de desenvolvimento de software. A automação do teste de software por meio do reuso de artefatos de software, e. g., modelos, tem sido uma boa alternativa para mitigar estes custos, reduzindo o tempo de geração e execução dos casos de teste, tornando mais eficiente e eficaz este processo. Nesse sentido, a abordagem de Teste Baseado em Modelos (Model Based Testing - MBT) está crescendo na Engenharia de Software. MBT é uma técnica que consiste na geração automática dos artefatos de teste com base em informações extraídas dos modelos de software, que inclui também a especificação dos aspectos que serão testados. O presente trabalho tem por objetivo estudar técnicas e metodologias para MBT e avaliar as características dos diferentes modelos aplicados em MBT. A principal contribuição deste estudo é a análise das características dos modelos que são utilizados no teste de desempenho em aplicações web. Em outra perspectiva, a pesquisa norteia a investigação de modelos e métodos para geração de sequências de teste. Assim, apresenta a abordagem de geração de casos de teste baseado em MEFs (Máquinas de Estados Finitos), conceituando MEF e ainda, descreve o processo de geração das sequências de teste através do método HSI (Harmonized State Identification). Por outro lado, a implementação de um plug-in para a ferramenta PLeTs, que implementa uma linha de produtos de software, baseado no modelo UML SPT, que interpreta o conjunto de características para teste de desempenho desenvolvido, é apresentado em um estudo de caso real. Com esta análise, definem-se quais características devem estar presentes no modelo para a modelagem das interações do usuário com o SUT (System Under Test), buscando o maior reuso deste modelo ao longo do ciclo de vida de desenvolvimento do software.

Made available in DSpace on 2013-08-07T18:42:39Z (GMT). No. of bitstreams: 1 000427824-Texto+Completo-0.pdf: 1081749 bytes, checksum: c8c69e3ba36c9f3bab710bcbfe4774f4 (MD5) Previous issue date: 2009 / The use and dependency of several human activities on computer systems implicates on a parallel growth of the users’ expectations. Users want not only processes automation, but also a crescent quality and agility in the delivery of services and information. The most popular way to guarantee compliance to a system’s requirements is by performing software testing. Although bringing indispensable benefits to the software development process, software testing activities are extremely manual, repetitive, and sometimes handcraft. The use of formal models to describe the behavior and structure of a system are proven and accepted techniques, based on mathematics. These techniques help in the task of characterizing a system in a precise and non-ambiguous manner. Model-based testing comprehends a technique in which the tests to be executed are automatically defined, based on a formal model of the system. One of the ways of implementing the ideas present in the model-based testing techniques is the software product line engineering, which takes advantage of similar software components reuse, with the intent of minimizing human effort without losing quality. This work intends to join formal model-based testing techniques with software product line engineering, in order to automate manual steps of the test case generation and execution. It is proposed, then, a software architecture based on these concepts, realized by the implementation of a tool based in a plug-in architecture concept, in order to validate the proposed ideas. / Com o crescimento da dependência de inúmeras atividades humanas por sistemas computacionais, cresce também a expectativa dos usuários, que querem não apenas a automação de processos, mas também crescentes qualidade e agilidade na entrega de informações e serviços. A forma mais difundida de garantia de cumprimento dos requisitos de um sistema é o teste de software. Apesar de trazerem indispensáveis benefícios ao processo de construção de software, os testes de software ainda são atividades extremamente manuais, repetitivas e, por vezes, artesanais. O uso de modelos formais para descrever o comportamento e a estrutura de um sistema são técnicas baseadas na matemática, comprovadas e aceitas, que em muito acrescentam na tarefa de caracterizar de forma precisa e não ambígua um sistema. A disciplina de testes baseados em modelos compreende uma técnica onde os testes a serem realizados são definidos automaticamente a partir do modelo da aplicação. Uma das formas de realizar as ideias presentes na técnica de testes baseados em modelos, tirando proveito do reuso de componentes similares de software a fim de diminuir o esforço sem perder qualidade é a engenharia de linha de produto de software. O presente trabalho busca aliar técnicas de geração de testes baseados em modelos formais a técnicas de engenharia de linha de produto de software, a fim de automatizar etapas manuais da geração e execução de casos de teste. Dessa forma, é proposta uma arquitetura baseada nos conceitos citados, e concretizada através da implementação de uma ferramenta baseada no conceito de plug-ins, a fim de validar a ideia proposta.

Made available in DSpace on 2013-08-07T18:43:37Z (GMT). No. of bitstreams: 1 000385483-Texto+Completo-0.pdf: 2471627 bytes, checksum: 6a2f88757540ea12d03ab54d46886186 (MD5) Previous issue date: 2006 / Testing has become essential to assure the quality of software products. Within the process test, unit test is performed on the smallest funcional part of the software and it aims at discovering defects in these units. JUnit is a unit test tool, which assists developers in the automation of tests and verification of results. However, much time, cost and effort are still spent to codify drivers and stubs, which most of the time jeopardizes its use. Another problem found in the unit test is the need of cases test specification in a higher level language, which is independent of any specific programming language. The Test Profile of UML 2. 0 (U2TP) solves this problem, because it allows to represent and document all artifacts used in the test process. This work aims at the fully automated generation of test drivers and stubs for JUnit from U2TP test specifications. A case study has shown that the developed algorithms correctly generated all test code, considering all elements explored in this work. The main goal of the case study was the validation of the correctness of the generated code, as well as the quantitative analysis of time consumed and number of code lines generated. / Atualmente a área de teste de software tem se tornado fundamental para garantia da qualidade dos produtos desenvolvidos. Dentro do processo de teste, o teste unitário é realizado na menor parte funcional de um software e visa descobrir defeitos nestas unidades. JUnit é uma ferramenta de apoio ao teste unitário, a qual auxilia desenvolvedores na automação dos testes e verificação dos resultados. Porém, muito tempo, custo e esforço ainda são gastos para codificar os drivers e os stubs de teste necessários a esta ferramenta, o que muitas vezes inviabiliza o seu uso. Outro problema encontrado no processo de teste unitário é a necessidade de especificação dos casos de teste em uma linguagem de mais alto nível, que seja independente de linguagem de programação. O Perfil de Teste da UML 2. 0 (U2TP) resolve este problema, pois permite representar e documentar todos artefatos utilizados no processo de teste. Esta dissertação de mestrado tem por objetivo a geração totalmente automatizada de drivers e stubs de teste para ferramenta JUnit a partir de especificações de testes modeladas com a U2TP. Um estudo de caso mostrou que os algoritmos propostos geraram corretamente todo código de teste para todos elementos explorados neste trabalho. O estudo de caso teve como principais objetivos a validação correta do código gerado, bem como uma análise quantitativa em relação ao tempo envolvido e número de linhas de código geradas.

Made available in DSpace on 2013-08-07T18:43:20Z (GMT). No. of bitstreams: 1 000412371-Texto+Completo-0.pdf: 1987061 bytes, checksum: d365ca0a7a380c98bc88e9ecf3a221d1 (MD5) Previous issue date: 2009 / The continuing evolution of software development methodologies results in challenges emerging simultaneously with this advance. One of these challenges is how to guarantee the quality of software. Several researchers continuously develop different approaches for software testing following this evolution. One approach that aims to provide the increased quality is through model-based testing. There are various techniques of model-based software testing, ensuring a broad range of possibilities. One way to integrate these possibilities is applying the concepts of software product lines. In this work we propose the design of a software product line architecture to integrate the different techniques of model-based software testing. / Com a evolução das metodologias de desenvolvimento de software, novos desafios vão surgindo junto com este avanço. Um dos desafios fica a cargo de como garantir a qualidade do software desenvolvido. Diversos pesquisadores desenvolvem continuamente diversas abordagens de teste de software para acompanhar esta evolução. Uma das abordagens que visa prover o aumento da qualidade é através de testes de software baseados em modelos. Existem diversas formas de realização de testes de software baseados em modelos, garantindo um amplo leque de possibilidades. Uma forma de integrar estas possibilidades é através da aplicação dos conceitos de linha de produtos de software. Este trabalho propõe a realização de uma arquitetura de linha de produtos de software para integrar as diferentes técnicas de testes baseados em modelos.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-02-25T12:36:50Z No. of bitstreams: 1 2015_ThiagoPeixotodosReis.pdf: 1331921 bytes, checksum: 7ca51f13ba5be819c4c2334e62f445ec (MD5) / Approved for entry into archive by Marília Freitas(marilia@bce.unb.br) on 2016-05-26T18:01:13Z (GMT) No. of bitstreams: 1 2015_ThiagoPeixotodosReis.pdf: 1331921 bytes, checksum: 7ca51f13ba5be819c4c2334e62f445ec (MD5) / Made available in DSpace on 2016-05-26T18:01:13Z (GMT). No. of bitstreams: 1 2015_ThiagoPeixotodosReis.pdf: 1331921 bytes, checksum: 7ca51f13ba5be819c4c2334e62f445ec (MD5) / Confiabilidade é um pré-requisito, implícito e desejável na maioria dos sistemas. Para que um sistema seja confiável, tal exigência deve ser tida em conta em todas as fases de seu desenvolvimento. Cenários implícitos são uma anomalia gerada quando componentes de sistemas concorrentes se comunicam de uma forma inesperada, não descrita na especificação de comportamento do software. Teste em sistemas concorrentes é um exercício muito caro e difícil de revelar falhas especialmente quando o sistema já está implementado e em funcionamento. Teste baseado em modelo (TBM) é uma alternativa para automatizar a geração de casos de teste em sistemas concorrentes, a fim de reduzir o seu custo e à complexidade inerente à atividade de teste. Este trabalho aproveita a abordagem de teste dirigido a modelo para explorar detecção de cenários implícitos, de modo a melhorar a geração de casos de teste em sistemas concorrentes. ______________________________________________________________________________________________ ABSTRACT / Reliability is a prerequisite, implicit and desirable in most systems. For a system to be reliable, such requirement should be taken into account during all development stages of a system. Implied scenarios are an anomaly generated when concurrent system components communicate in an unexpected way, w.r.t. to the software behavior specification. Testing concurrent systems is a very expensive exercise and hard to reveal faults specially when the system is already deployed and running. Model-Based Testing is an alternative to automate test case generation in concurrent systems, in order to reduce their cost and the inherent complexity of the testing activity. This work leverages model-driven testing techniques to explore implied scenarios detection so as to improve the generation of test cases in concurrent systems.

Made available in DSpace on 2015-02-07T01:01:09Z (GMT). No. of bitstreams: 1 000465121-Texto+Completo-0.pdf: 3570825 bytes, checksum: 6b189527af0bba987cbc5465ab965a18 (MD5) Previous issue date: 2012 / The Global Software Development (GSD), has been used by various companies around the world. To help these companies overcome the difficulties imposed by this type of work, the WAVE capability model was proposed. However, until the conclusion of this research, it was not possible to use the WAVE effectively in the industry, since there was none assessment method for it. This research proposes an assessment method for the WAVE capability model, and it is called 2DAM-WAVE. It allows organizations that wish to implement the best practices of WAVE, find out in which capability level they are situated. To propose this method a qualitative analysis of the existent assessment methods was made, after this, the assessment method was applied in a Brazilian unit of a global organization and on an Indian unit from another organization, by conducting of two case studies. As a result of this research an assessment method for the WAVE, entitled 2DAM-WAVE, and a support tool that helps and facilitates this assessment were developed. / O Desenvolvimento Distribuído de Software (DDS), em nível global, vem sendo utilizado por diversas empresas ao redor do mundo. Para auxiliar essas empresas a superar as dificuldades impostas por esse tipo de trabalho, o modelo de capacidade WAVE foi proposto. No entanto, até a conclusão dessa pesquisa, não era possível utilizar o WAVE efetivamente na indústria, visto que ele não possuía um método de avaliação. Essa pesquisa propõe um método de avaliação para o WAVE, chamado de 2DAM-WAVE, possibilitando que as organizações, que desejam implementar as boas práticas do WAVE, descubram em que nível de capacidade se encontram. Para propor esse método foi realizada uma análise qualitativa de métodos de avaliação existentes, após isto, o resultado foi aplicado em uma unidade brasileira de uma organização global e em uma unidade indiana de outra organização global, através de dois estudos de caso. Com o resultado dessa pesquisa um método de avaliação para o WAVE, intitulado 2DAM-WAVE, e uma ferramenta de apoio para conduzir e facilitar esse processo foram desenvolvidos.

Orientador : Afira Vianna Ripper / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-07-31T18:12:06Z (GMT). No. of bitstreams: 1 Muller_MariaCandida_D.pdf: 14611847 bytes, checksum: 7a7e61dafe47ec8742c5442e6fea7ef9 (MD5) Previous issue date: 2001 / Doutorado