Regular Expression Based Test Sequence Generation for HDL Program Validation

Kilinccceker, Onur; Turk, Ercument; Challenger, Moharram; Belli, Fevzi

doi:10.1109/qrs-c.2018.00103

Cited by 13 publications

(13 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The proposed approach is called PQTestGen in the corresponding tables. We also utilized the RETestGen [64] tool for test generation. However, RETestGen resulted in excessive size test suites, which were unable to execute on the GUI under test at the acceptable times.…”

Section: Discussionmentioning

confidence: 99%

Model-Based Ideal Testing of GUI Programs–Approach and Case Studies

et al. 2021

Self Cite

View full text Add to dashboard Cite

Traditionally, software testing is aimed at showing the presence of faults. This paper proposes a novel approach to testing graphical user interfaces (GUI) for showing both the presence and absence of faults in the sense of ideal testing. The approach uses a positive testing concept to show that the GUI under consideration (GUC) does what the user expects; to the contrary, the negative testing concept shows that the GUC does not do anything that the user does not expect, building a holistic view. The first step of the approach models the GUC by a finite state machine (FSM) that enables the model-based generation of test cases. This is always possible as the GUIs are considered as strictly sequential processes. The next step converts the FSM to an equivalent regular expression (RE) that will be analyzed first to construct test selection criteria for excluding redundant test cases and construct test coverage criteria for terminating the positive test process. Both criteria enable us to assess the adequacy and efficiency of the positive tests performed. The negative tests will be realized by systematically mutating the FSM to model faults, the absence of which are to be shown. Those mutant FSMs will be handled and assessed in the same way as in positive testing. Two case studies illustrate and validate the approach; the experiments' results will be analyzed to discuss the pros and cons of the techniques introduced.

show abstract

Section: Discussionmentioning

confidence: 99%

Model-Based Ideal Testing of GUI Programs–Approach and Case Studies

et al. 2021

Self Cite

View full text Add to dashboard Cite

show abstract

“…Kilincceker et al [6] introduce RE as being a modelbased testing method and use RE to model hardware design combined with RE-based test generation. RE is represented by an abstract syntax tree and a tree traversal algorithm is used in the test generation.…”

Section: A Model Based Gui Testingmentioning

confidence: 99%

“…Model-based testing is a testing method that executes test cases generated from the abstract view of a system under test (SUT). This abstraction specifies the behavior of the system so we can model it with one of the different models such as Finite State Machine (FSM) [1], Event Sequence Graph (ESG) [4] [5], Event Flow Graph (EFG) [2] [3], and Regular Expression (RE) [6] [7]. The major benefit is, code-based testing is a time consuming and error-prone method to cover all cases of the SUT while we can generate and run test sequences efficiently with model-based testing.…”

Section: Introductionmentioning

confidence: 99%

Community Detection in Model-based Testing to Address Scalability: Study Design

Silistre

Kılınççeker

Belli

et al. 2020

Annals of Computer Science and Information Systems

Self Cite

View full text Add to dashboard Cite

Model-based GUI testing has achieved widespread recognition in academy thanks to its advantages compared to code-based testing due to its potentials to automate testing and the ability to cover bigger parts more efficiently. In this study design paper, we address the scalability part of the model-based GUI testing by using community detection algorithms. A case study is presented as an example of possible improvements to make a model-based testing approach more efficient. We demonstrate layered ESG models as an example of our approach to consider the scalability problem. We present rough calculations with expected results, which show 9 times smaller time and space units for 100 events in the ESG model when a community detection algorithm is applied.

show abstract

“…Kilincceker et al 26 utilize regular expressions for validating circuits implemented in HDL (Hardware Description Language). The source code of the HDL program is automatically analyzed, scanning each line to find particular patterns that represent states, which are added to an FSM (finite state machine).…”

Section: Related Workmentioning

confidence: 99%

Automated generation of oracled test cases with regular expressions and combinatorial techniques

Polo

Pedreira

Places

et al. 2020

J Software Evolu Process

View full text Add to dashboard Cite

One of the main challenges of software testing research is the automated addition of oracles to the generated test cases: Whereas the automated generation of operation sequences (which is one of the essential components of test cases) is in practice a solved problem, the automated addition of the oracle (another indispensable element) is still an important problem and an open research question. This article proposes an approach to get executable test suites composed by complete test cases (i.e., they include the oracle). The core of the method is based on annotated regular expressions. The test generation process, which is supported by a tool, follows three steps: (1) creation of annotated regular expressions, where each regular expression describes a set of sequences of operations to be executed against the system under test; (2) expansion of the regular expressions to get sequences of operations, which still do not have parameter values; and (3) generation of the executable test cases with oracle. In this third step, each test case is generated with the suitable oracle, depending on the conditions specified in the regular expression.

show abstract

Regular Expression Based Test Sequence Generation for HDL Program Validation

Cited by 13 publications

References 18 publications

Model-Based Ideal Testing of GUI Programs–Approach and Case Studies

Model-Based Ideal Testing of GUI Programs–Approach and Case Studies

Community Detection in Model-based Testing to Address Scalability: Study Design

Automated generation of oracled test cases with regular expressions and combinatorial techniques

Contact Info

Product

Resources

About