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
Keywords: Finite state machine
Holistic testing
Mutation testing
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
URI: https://doi.org/10.1109/UBMYK48245.2019.8965650
https://hdl.handle.net/11147/7839
ISBN: 9781728139920
Appears in Collections:Computer Engineering / Bilgisayar Mühendisliği
Scopus İndeksli Yayınlar Koleksiyonu / Scopus Indexed Publications Collection

Files in This Item:
File SizeFormat 
Towards_Uniform_Modeling.pdf1.71 MBAdobe PDFView/Open
Show full item record

CORE Recommender

SCOPUSTM   
Citations

2
checked on Jan 22, 2022

Page view(s)

46
checked on Jan 24, 2022

Download(s)

22
checked on Jan 24, 2022

Google ScholarTM

Check

Altmetric


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