Please use this identifier to cite or link to this item: https://hdl.handle.net/11147/7839
Title: Towards uniform modeling and holistic testing of hardware and software
Authors: Kılınççeker, Onur
Belli, Fevzi
Belli, Fevzi
Izmir Institute of Technology. Computer Engineering
Keywords: Finite State Machine
Holistic Testing
Mutation Testing
System/Fault Modeling
Validation
Issue Date: 2019
Publisher: Institute of Electrical and Electronics Engineers Inc.
Abstract: This paper introduces an approach to uniform modeling and testing of hardware and software systems and their faults. As an example, for hardware under consideration, designs at a behavioral level will be used, implemented in Hardware Description Language (HDL). For software, an example will be borrowed from a graphical user interface design. Both examples will be modeled by finite state machines. The mutation of these models leads to lucid hardware and software fault models, respectively. Original models and their mutants will then be used to generate test cases for positive testing and negative testing, respectively, forming a holistic test strategy. A positive test is supposed to validate the system under legal (expected, regular) circumstances, whereas a negative test checks the behavior of the system under illegal (unexpected, irregular) situations. Non-trivial examples are used to validate and analyze the approach with respect to uniform modeling and testing capability. © 2019 IEEE.
Description: 1st International Informatics and Software Engineering Conference, IISEC 2019 -- 6 November 2019 through 7 November 2019 -- -- 157111
URI: https://doi.org/10.1109/UBMYK48245.2019.8965650
https://hdl.handle.net/11147/7839
ISBN: 9781728139920
Appears in Collections:Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection

Show full item record

CORE Recommender

SCOPUSTM   
Citations

2
checked on Sep 18, 2021

Page view(s)

22
checked on Sep 24, 2021

Google ScholarTM

Check

Altmetric


Items in GCRIS Repository are protected by copyright, with all rights reserved, unless otherwise indicated.