An enhanced test case selection approach for model-based testing

Hemmati, Hadi; Briand, Lionel C.; Arcuri, Andrea; Ali, Shaukat

doi:10.1145/1882291.1882331

Cited by 37 publications

(31 citation statements)

References 28 publications

(43 reference statements)

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Hemmati, et al [7] propose an alternative technique to MBT, which is supposed to overcome one of MBT's most important issues, that is, the enormous number of generated test cases which impact negatively on both time and cost.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

ADBT Frame Work as a Testing Technique: An Improvement in Comparison with Traditional Model Based Testing

Akour¹,

Falah²,

Kaddouri³

2016

ijacsa

View full text Add to dashboard Cite

Abstract-Software testing is an embedded activity in all software development life cycle phases. Due to the difficulties and high costs of software testing, many testing techniques have been developed with the common goal of testing software in the most optimal and cost-effective manner. Model-based testing (MBT) is used to direct testing activities such as test verification and selection. MBT is employed to encapsulate and understand the behavior of the system under test, which supports and helps software engineers to validate the system with various likely actions. The widespread usage of models has influenced the usage of MBT in the testing process, especially with UML. In this research, we proposed an improved model based testing strategy, which involves and uses four different diagrams in the testing process. This paper also discusses and explains the activities in the proposed model with the finite state model (FSM). The comparisons have been done with traditional model based testings in terms of test case generation and result.

show abstract

Section: Related Workmentioning

confidence: 99%

“…Their approach implements a smart test case selection technique based on genetic algorithms which choose a test suite from the large pool of generated test cases to be executed based on resources and maximum fault coverage criteria, thus extending traditional MBT into a more time/cost saving version [7].…”

Section: Related Workmentioning

confidence: 99%

ADBT Frame Work as a Testing Technique: An Improvement in Comparison with Traditional Model Based Testing

Akour¹,

Falah²,

Kaddouri³

2016

ijacsa

View full text Add to dashboard Cite

show abstract

“…Though in SMBT a test path represents an encoded abstract test case, the test path can be described at different levels of details. In [2], we studied three encodings for a test path in UML state machine: state-based, transition-based, and triggerguard-based, and reported that trigger-guard-based encoding is the most effective one in terms of fault detection, where a test path(tp) is represented as:…”

Section: Similarity-based Test Case Selectionmentioning

confidence: 99%

“…In [2,3], we proposed a similarity-based selection technique for testing based on UML state machines (SMBT). We compared different similarity measures in terms of what information from the test cases they have to evaluate (test case encodings) and how this evaluation should be done (similarity functions).…”

Section: Introductionmentioning

confidence: 99%

“…We compared different similarity measures in terms of what information from the test cases they have to evaluate (test case encodings) and how this evaluation should be done (similarity functions). The results showed that, in the context of SMBT, the similarity measure that represents a test case as a set of trigger-guards [2] and uses Jaccard Index [4] as the similarity function [3] is the most effective measure in terms of fault detection rate (FDR).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Reducing the Cost of Model-Based Testing through Test Case Diversity

Hemmati

Arcuri

Briand

2010

Testing Software and Systems

Self Cite

View full text Add to dashboard Cite

Abstract. Model-based testing (MBT) suffers from two main problems which in many real world systems make MBT impractical: scalability and automatic oracle generation. When no automated oracle is available, or when testing must be performed on actual hardware or a restricted-access network, for example, only a small set of test cases can be executed and evaluated. However, MBT techniques usually generate large sets of test cases when applied to real systems, regardless of the coverage criteria. Therefore, one needs to select a small enough subset of these test cases that have the highest possible fault revealing power. In this paper, we investigate and compare various techniques for rewarding diversity in the selected test cases as a way to increase the likelihood of fault detection. We use a similarity measure defined on the representation of the test cases and use it in several algorithms that aim at maximizing the diversity of test cases. Using an industrial system with actual faults, we found that rewarding diversity leads to higher fault detection compared to the techniques commonly reported in the literature: coverage-based and random selection. Among the investigated algorithms, diversification using Genetic Algorithms is the most cost-effective technique.

show abstract

Prioritizing manual test cases in rapid release environments

Hemmati

Fang

Mäntylä

et al. 2016

Software Testing Verif & Rel

Self Cite

View full text Add to dashboard Cite

Summary Test case prioritization is an important testing activity, in practice, specially for large scale systems. The goal is to rank the existing test cases in a way that they detect faults as soon as possible, so that any partial execution of the test suite detects the maximum number of defects for the given budget. Test prioritization becomes even more important when the test execution is time consuming, for example, manual system tests versus automated unit tests. Most existing test case prioritization techniques are based on code coverage, which requires access to source code. However, manual testing is mainly performed in a black‐box manner (manual testers do not have access to the source code). Therefore, in this paper, the existing test case prioritization techniques (e.g. diversity‐based and history‐based techniques) are examined and modified to be applicable on manual black‐box system testing. An empirical study on four older releases of desktop Firefox showed that none of the techniques were strongly dominating the others in all releases. However, when nine more recent releases of desktop Firefox, where the development has been moved from a traditional to a more agile and rapid release environment, were studied, a very significant difference between the history‐based approach and its alternatives was observed. The higher effectiveness of the history‐based approach compared with alternatives also held on 28 additional rapid releases of other Firefox projects – mobile Firefox and tablet Firefox. The conclusion of the paper is that test cases in rapid release environments can be very effectively prioritized for execution, based on their historical failure knowledge. In particular, it is the recency of historical knowledge that explains its effectiveness in rapid release environments rather than other changes in the process. Copyright © 2016 John Wiley & Sons, Ltd.

show abstract

An enhanced test case selection approach for model-based testing

Cited by 37 publications

References 28 publications

ADBT Frame Work as a Testing Technique: An Improvement in Comparison with Traditional Model Based Testing

ADBT Frame Work as a Testing Technique: An Improvement in Comparison with Traditional Model Based Testing

Reducing the Cost of Model-Based Testing through Test Case Diversity

Prioritizing manual test cases in rapid release environments

Contact Info

Product

Resources

About