Please use this identifier to cite or link to this item:
https://hdl.handle.net/11147/11884
Title: | Model-based ideal testing of hardware description language (HDL) programs | Authors: | Kılınççeker, Onur Türk, Ercüment Belli, Fevzi Challenger, Moharram |
Keywords: | Model-based testing Ideal test Mutation testing Hardware description language Behavioral model |
Publisher: | Springer | Abstract: | An ideal test is supposed to show not only the presence of bugs but also their absence. Based on the Fundamental Test Theory of Goodenough and Gerhart (IEEE Trans Softw Eng SE-1(2):156–173, 1975), this paper proposes an approach to model-based ideal testing of hardware description language (HDL) programs based on their behavioral model. Test sequences are generated from both original (fault-free) and mutant (faulty) models in the sense of positive and negative testing, forming a holistic test view. These test sequences are then executed on original (fault-free) and mutant (faulty) HDL programs, in the sense of mutation testing. Using the techniques known from automata theory, test selection criteria are developed and formally show that they fulfill the major requirements of Fundamental Test Theory, that is, reliability and validity. The current paper comprises a preparation step (consisting of the sub-steps model construction, model mutation, model conversion, and test generation) and a composition step (consisting of the sub-steps pre-selection and construction of Ideal test suites). All the steps are supported by a toolchain that is already implemented and is available online. To critically validate the proposed approach, three case studies (a sequence detector, a traffic light controller, and a RISC-V processor) are used and the strengths and weaknesses of the approach are discussed. The proposed approach achieves the highest mutation score in positive and negative testing for all case studies in comparison with two existing methods (regular expression-based test generation and context-based random test generation), using four different techniques. | URI: | https://doi.org/10.1007/s10270-021-00934-6 https://hdl.handle.net/11147/11884 |
ISSN: | 1619-1366 |
Appears in Collections: | Computer Engineering / Bilgisayar Mühendisliği Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection WoS İndeksli Yayınlar Koleksiyonu / WoS Indexed Publications Collection |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Kilincceker2021_Article.pdf Until 2025-01-01 | Article (Makale) | 2.74 MB | Adobe PDF | View/Open Request a copy |
CORE Recommender
Page view(s)
14,818
checked on Nov 25, 2024
Download(s)
4
checked on Nov 25, 2024
Google ScholarTM
Check
Altmetric
Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.