Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Universidade Federal de Pernambuco" +contributor:("D\'AMORIM, Marcelo Bezerra"). Showing records 1 – 2 of 2 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. BORGES, Mateus Araújo. Techniques to facilitate probabilistic software analysis in real-world programs .

Degree: 2015, Universidade Federal de Pernambuco

Probabilistic software analysis aims at quantifying how likely a target event is to occur, given a probabilistic characterization of the behavior of a program or of its execution environment. Examples of target events may include an uncaught exception, the invocation of a certain method, or the access to confidential information. The technique collects constraints on the inputs that lead to the target events and analyzes them to quantify how likely it is for an input to satisfy the constraints. Current techniques either handle only linear constraints or only support continuous distributions using a “discretization” of the input domain, leading to imprecise and costly results. This work proposes an iterative distribution-aware sampling approach to support probabilistic symbolic execution for arbitrarily complex mathematical constraints and continuous input distributions. We follow a compositional approach, where the symbolic constraints are decomposed into sub-problems whose solution can be solved independently. At each iteration the convergence rate of the computation is increased by automatically refocusing the analysis on estimating the sub-problems that mostly affect the accuracy of the results, as guided by three different ranking strategies. Experiments on publicly available benchmarks show that the proposed technique improves on previous approaches in terms of scalability and accuracy of the results. Advisors/Committee Members: D'AMORIM, Marcelo Bezerra (advisor), http://lattes.cnpq.br/3762670242328435 (advisor).

Subjects/Keywords: Execução Simbólica; Amostragem de Monte Carlo; Análise Probabilística; Testes

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

BORGES, M. A. (2015). Techniques to facilitate probabilistic software analysis in real-world programs . (Masters Thesis). Universidade Federal de Pernambuco. Retrieved from https://repositorio.ufpe.br/handle/123456789/14932

Chicago Manual of Style (16th Edition):

BORGES, Mateus Araújo. “Techniques to facilitate probabilistic software analysis in real-world programs .” 2015. Masters Thesis, Universidade Federal de Pernambuco. Accessed April 21, 2019. https://repositorio.ufpe.br/handle/123456789/14932.

MLA Handbook (7th Edition):

BORGES, Mateus Araújo. “Techniques to facilitate probabilistic software analysis in real-world programs .” 2015. Web. 21 Apr 2019.

Vancouver:

BORGES MA. Techniques to facilitate probabilistic software analysis in real-world programs . [Internet] [Masters thesis]. Universidade Federal de Pernambuco; 2015. [cited 2019 Apr 21]. Available from: https://repositorio.ufpe.br/handle/123456789/14932.

Council of Science Editors:

BORGES MA. Techniques to facilitate probabilistic software analysis in real-world programs . [Masters Thesis]. Universidade Federal de Pernambuco; 2015. Available from: https://repositorio.ufpe.br/handle/123456789/14932

2. SOUTO, Sabrina de Figueirêdo. Addressing high dimensionality and lack of feature models in testing of software product lines .

Degree: 2015, Universidade Federal de Pernambuco

Software Product Lines (SPLs) allow engineers to systematically build families of software products, defined by a unique combination of features—increments in functionality, improving both the efficiency of the software development process and the quality of the software developed. However, testing these kinds of systems is challenging, as it may require running each test against a combinatorial number of products. We call this problem the High Dimensionality Problem. Another obstacle to product line testing is the absence of Feature Models (FMs), making it difficult to discover the real causes for test failures. We call this problem the Lack of Feature Model Problem. The High Dimensionality Problem is associated to the large space of possible configurations that an SPL can reach. If an SPL has n boolean features, for example, there are 2n possible feature combinations. Therefore, systematically testing this kind of system may require running each test against all those combinations, in the worst case. The Lack of Feature Model Problem is related to the absence of feature models. The FM enables accurate categorization of failing tests as failures of programs or the tests themselves, not as failures due to inconsistent combinations of features. For this reason, the lack of FM presents a huge challenge to discover the true causes for test failures. Aiming to solve these problems, we propose two lightweight techniques: SPLat and SPLif. SPLat is a new approach to dynamically prune irrelevant configurations: the configurations to run for a test can be determined during test execution by monitoring accesses to configuration variables. As a result, SPLat reduces the number of configurations. Consequently, SPLat is lightweight compared to prior works that used static analysis and heavyweight dynamic execution. SPLif is a technique for testing SPLs that does not require a priori availability of feature models. Our insight is to use a profile of passing and failing test runs to quickly identify test failures that are indicative of a problem (in test or code) as opposed to a manifestation of execution against an inconsistent combination of features. Experimental results show that SPLat effectively identifies relevant configurations with a low overhead. We also apply SPLat on two large configurable systems (Groupon and GCC), and it scaled without much engineering effort. Experimental results demonstrate that SPLif is useful and effective to quickly find tests that fail on consistent configurations, regardless of how complete the FMs are. Furthermore, we evaluated SPLif on one large extensively tested configurable system, GCC, where it helped to reveal 5 new bugs, 3 of which have been fixed after our bug reports. Advisors/Committee Members: D'AMORIM, Marcelo Bezerra (advisor), http://lattes.cnpq.br/3762670242328435 (advisor).

Subjects/Keywords: Linhas de Produtos de Software; Sistemas Configuráveis; Teste de Software e Depuração; Feature Model; Software Product Lines; Configurable Systems; Software Testing and Debugging; Feature Model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

SOUTO, S. d. F. (2015). Addressing high dimensionality and lack of feature models in testing of software product lines . (Doctoral Dissertation). Universidade Federal de Pernambuco. Retrieved from https://repositorio.ufpe.br/handle/123456789/15975

Chicago Manual of Style (16th Edition):

SOUTO, Sabrina de Figueirêdo. “Addressing high dimensionality and lack of feature models in testing of software product lines .” 2015. Doctoral Dissertation, Universidade Federal de Pernambuco. Accessed April 21, 2019. https://repositorio.ufpe.br/handle/123456789/15975.

MLA Handbook (7th Edition):

SOUTO, Sabrina de Figueirêdo. “Addressing high dimensionality and lack of feature models in testing of software product lines .” 2015. Web. 21 Apr 2019.

Vancouver:

SOUTO SdF. Addressing high dimensionality and lack of feature models in testing of software product lines . [Internet] [Doctoral dissertation]. Universidade Federal de Pernambuco; 2015. [cited 2019 Apr 21]. Available from: https://repositorio.ufpe.br/handle/123456789/15975.

Council of Science Editors:

SOUTO SdF. Addressing high dimensionality and lack of feature models in testing of software product lines . [Doctoral Dissertation]. Universidade Federal de Pernambuco; 2015. Available from: https://repositorio.ufpe.br/handle/123456789/15975

.