Sharif Digital Repository

Regression testing activities greatly reduce the risk of faulty software release. However, the size of the test suites grows throughout the development process, resulting in time-consuming execution of the test suite and delayed feedback to the software development team. This has urged the need for approaches such as test case prioritization (TCP) and test-suite reduction to reach better results in case of limited resources. In this regard, proposing approaches that use auxiliary sources of data such as bug history can be interesting. We aim to propose an approach for TCP that takes into account test case coverage data, bug history, and test case diversification. To evaluate this approach we... 

Predictive mutation testing (PMT) is a technique to predict whether a mutant is killed, using machine learning approaches. Researchers have proposed various methods for PMT over the years. However, the impact of unreached mutants on PMT is not fully addressed. A mutant is unreached if the statement on which the mutant is generated is not executed by any test cases. We aim at showing that unreached mutants can inflate PMT results. Moreover, we propose an alternative approach to PMT, suggesting a different interpretation for PMT. To this end, we replicated the previous PMT research. We empirically evaluated the suggested approach on 654 Java projects provided by prior literature. Our results... 

Predictive mutation testing (PMT) is a technique to predict whether a mutant is killed, using machine learning approaches. Researchers have proposed various methods for PMT over the years. However, the impact of unreached mutants on PMT is not fully addressed. A mutant is unreached if the statement on which the mutant is generated is not executed by any test cases. We aim at showing that unreached mutants can inflate PMT results. Moreover, we propose an alternative approach to PMT, suggesting a different interpretation for PMT. To this end, we replicated the previous PMT research. We empirically evaluated the suggested approach on 654 Java projects provided by prior literature. Our results... 

In this work, Compressible Smooth Particles Hydrodynamics (C-SPH) is applied for numerical simulation of impulsive wave. Properties of linear and angular momentum in SPH formulation are studied. Kernel gradient of viscous term in momentum equation is corrected to ensure preservation of angular momentum. Corrected SPH method is used to simulate solitary Scott Russell wave and applied to simulate impulsive wave generated by two-dimensional under water landslide. In each of test cases, results of corrected SPH are compared with experimental results. The results of the numerical simulations and experimental works are matched and a satisfactory agreement is observed. Furthermore, vorticity... 

This study presents a process-driven view on the use of model-based testing (MBT) in agile/lightweight processes. It argues that process-related aspects of MBT and agile processes should be explicitly considered in any practical MBT approach intended for use in agile development (AD). It demonstrates that an effective MBT approach for lightweight processes has to specify how MBT activities are integrated into a development process, how and when MBT artefacts are generated in relation to other development artefacts, and who would carry out MBT activities. Accordingly, a set of integration criteria is introduced for complete incorporation of MBT into agile/lightweight processes. The... 

Test Driven Development (TDD), as a quality promotion approach, suffers from some shortages that discourage its usage. One of the most challenging shortcomings of TDD is the low level of granularity and abstraction. This may lead to production of software that is not acceptable by the end users. Additionally, exploiting of TDD is not applicable in the enterprise systems development. To overcome this defect, we have merged TDD with Model Based Testing (MBT) and suggested a framework named Model Based Test Driven Development (MBTDD). According to TDD, writing test cases comes before programming, and based on our improved method of TDD, modeling precedes writing test cases. To validate the... 

Recent evaluations of mapping systems show that lack of background knowledge, most often domain specific knowledge, is one of the key problems of mapping systems these days. In fact, at present, most state of the art systems, for the tasks of mapping large ontologies, perform not with such high values of recall (~ 30%), because they mainly rely on label and structure based similarity measures. Disregarding context knowledge in ontology mapping is another drawback that almost all current approaches suffer from. In this paper we use the semantic web as background knowledge and introduce a novel approach for capturing context knowledge from the ontology for improving mapping results. We have... 

Reusing test cases across similar applications can significantly reduce testing effort. Some recent test reuse approaches successfully exploit word embedding models to semantically match GUI events across Android apps. It is a common understanding that word embedding models trained on domain-specific corpora perform better on specialized tasks. Our recent study confirms this understanding in the context of Android test reuse. It shows that word embedding models trained with a corpus of the English descriptions of apps in the Google Play Store lead to a better semantic matching of Android GUI events. Motivated by this result, we hypothesize that we can further increase the effectiveness of... 

Benefitting from an analogy between compressible and incompressible governing equations, a novel dual-purpose, pressure-based finite-volume algorithm is suitably extended to simulate laminar mixing and reacting flows in low-Mach-number regimes. In our test cases, the Mach number is as high as 0.00326. Definitely, such low-Mach-number flows cannot be readily solved by either regular density-based solvers or most of their extensions. To examine the accuracy and performance of the extended formulation and algorithm, we simulate two benchmark cases including the mixing natural-convection flow in a square cavity with strong temperature gradients and the premixed reacting flow through annuli with...