English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Test automation requires automated oracles to assess test outputs. For cyberphysical systems (CPS), oracles, in addition to be automated, should ensuresome key objectives: (i) they should check test outputs in an online manner tostop expensive test executions as soon as a failure is detected; (ii) theyshould handle time- and magnitude-continuous CPS behaviors; (iii) they shouldprovide a quantitative degree of satisfaction or failure measure instead ofbinary pass/fail outputs; and (iv) they should be able to handle uncertaintiesdue to CPS interactions with the environment. We propose an automated approachto translate CPS requirements specified in a logic-based language into testoracles specified in Simulink -- a widely-used development and simulationlanguage for CPS. Our approach achieves the objectives noted above through theidentification of a fragment of Signal First Order logic (SFOL) to specifyrequirements, the definition of a quantitative semantics for this fragment anda sound translation of the fragment into Simulink. The results from applyingour approach on 11 industrial case studies show that: (i) our requirementslanguage can express all the 98 requirements of our case studies; (ii) the timeand effort required by our approach are acceptable, showing potentials for theadoption of our work in practice, and (iii) for large models, our approach candramatically reduce the test execution time compared to when test outputs arechecked in an offline manner.

Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors