Difference: CurrentResearch (4 vs. 5)

Revision 52009-06-15 - JulianaMafra

Line: 1 to 1

Current Research

Line: 12 to 12

Escaped Defect Analysis

We call escaped defects those bugs which could have been found by the Execution Team but ended up been found on a later testing phase or on the field. The main aim of this work is to reduce the escaped defects of the Execution Team. Preliminary studies have revealed the need for improvement in the way the data used on the analysis of escaped defects is being stored. The information is distributed over different systems and databases which are not yet integrated. We have also identified changes to the test selection process which may have an impact on the test coverage and, hopefully, on the escaped defects.
Contact: Juliana Mafra (jndm@cinNOSPAM.ufpe.br) / Renata Bezerra (rbsa@cinNOSPAM.ufpe.br)
Contact: Renata Bezerra (rbsa@cinNOSPAM.ufpe.br)

Test Case Prioritization

This work aims to increase the productivity of test execution by computing an ordered sequence of test cases that minimizes the execution effort and duration. This research extends previous work on test sequence generation by proposing different ordering criteria, different heuristics and the possibility of finding the perfect test sequence for a small number (around 15) of test cases. The reuse of test configuration and setup is used to calculate the best sequences. A prototype is under development in order to mechanize our approach.
Line: 32 to 32
  Contact: Emanuela Gadelha (emanuela@dscNOSPAM.ufcg.edu.br)


Regression Test Selection

During regression tests, the re-execution of all test cases is generally economically unfeasible. You must therefore choose, within the universe of tests, a subset of those that are most appropriate to ensure the quality of software. The main purpose of this research is to define a method to support the selection of regression tests so that this selection defines a group of test cases more effectively. In this regard, some criteria for selection will be defined and a tool will be implemented to assist test architects to create test plans by selecting the best test cases according to the criteria defined.

Contact: Juliana Mafra (jndm@cinNOSPAM.ufpe.br)


Test Case Generation from Process Algebraic Models

This research aims at investigating the automatic test case generation from black-box systems specifications described in a formal notation named CSP (Communicating Sequential Processes). Restricting the observable behavior of the software to its input and outputs events, and some properties over the implementation under test (IUT), we define a test generation approach that mathematically guarantees the test cases generated from an input CSP specification of the system never refuse correct implementations (soundness). This strategy is implemented by the ATG (Abstract Test Generation) tool. We are working in an extension of this approach that: can extract the CSP model from use case specifications that contain, in addition to application flows described in natural language, embedded data elements (variables, constants and guards); and, generate test cases guided by the specification data. Other direction of this research is the mechanical verification for correctness of the IUT model (assuming there is an automatic way to obtain it) against the specification model, what is similar to an exhaustive testing. The verification capabilities of the FDR (Failures-Divergence Refinement) tool enable one to define several correctness criterion (implementation relations) as model checking problems verifiable by this tool.
This site is powered by the TWiki collaboration platformCopyright © 2008-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback

mersin escort bayan adana escort bayan izmit escort ankara escort bursa escort