Abstract:Cyber-Physical Systems (CPSs) play a central role in the behavior of a wide range of autonomous physical systems such as medical devices, autonomous vehicles, and smart homes, many of which are safety-critical. CPSs are often specified iteratively as a sequence of models at different levels that can be tested via simulation systems at early stages of their development cycle. One such model is a hybrid automaton; these are used frequently for CPS applications and have the advantage of encapsulating both continuous and discrete CPS behaviors. When testing CPSs, engineers can take advantage of these models to generate test cases that target both types of these behaviors. Moreover, since these models are constructed early in the development process for CPSs, they allow test cases to be generated early in that process for those CPSs, even before simulation models of the CPSs have been designed. One challenge when testing CPSs is that these systems may operate differently even under an identically applied test scenario. In such cases, we cannot employ test oracles that use predetermined deterministic behaviors; instead, test oracles should consider sets of desired behaviors in order to determine whether the CPS has behaved appropriately. In this paper we present a test case generation technique, HYTEST, that generates test cases based on hybrid models, accompanied by appropriate test oracles, for use in testing CPSs early in their development cycle. To evaluate the effectiveness and efficiency of HYTEST, we conducted an empirical study in which we applied the technique to several CPSs and measured its ability to detect faults in those CPSs and the amount of time required to perform the testing process. The results of the study show that HYTEST was able to detect faults more effectively and efficiently than the baseline techniques we compare it to.

New Hybrid-Based Self-Test Strategy for Faulty Modules of Complex Microcontroller Systems

An Effective BIST Circuit for Barrel Shifter Within 8 Bits MCU

Hybrid BIST for system-on-a-chip using an embedded FPGA core

Software- Based Self-Testing Methodology for Embedded Processor Cores

Secure Software/Hardware Hybrid In-Field Testing for System-on-Chip

Microcontroller Based Testing of Digital IP-Core

A Self-Test and Self-Repair Approach for Analog Integrated Circuits

BILBO-friendly Hybrid BIST Architecture with Asymmetric Polynomial Reseeding

Test Case Generation and Test Oracle Support for Testing CPSs using Hybrid Models

Study of Modeling of Built-in-self-test Technology for board-level circuit

Unified Strategy for Fault-Tolerant Operation of MMC with Multiple SMs Failure Based on SMs Grouping Management

Combined Self-Test of Analog Portion and ADCs in Integrated Mixed-Signal Circuits

A Microprocessor Based SOC Built-In Test Scheme

Built-In Self-Test Architecture Enabling Diagnosis for Massive Embedded Memory Banks in Large SoCs

Extraction and optimization of analog circuit built-in self test fault features

Logic Diagnosis Based on Logic Built-In Self-Test Signatures Collected In-Field from Failing System-on-Chips

Diagnosis of Multiple Scan-Chain Faults in the Presence of System Logic Defects

Mixture Test Optimization for Analog System

Control methods in the software HyTest for hybrid tests of engineering structure and their applications

Non-Intrusive Self-Test Library for Automotive Critical Applications: Constraints and Solutions

A Real-Time Hybrid Modular Multilevel Converters Emulator for Hardware-in-Loop-Tests