FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2920995093> ?p ?o ?g. }

• W2920995093 abstract "Test automation requires automated oracles to assess test outputs. For cyber physical systems (CPS), oracles, in addition to be automated, should ensure some key objectives: (i) they should check test outputs in an online manner to stop expensive test executions as soon as a failure is detected; (ii) they should handle time- and magnitude-continuous CPS behaviors; (iii) they should provide a quantitative degree of satisfaction or failure measure instead of binary pass/fail outputs; and (iv) they should be able to handle uncertainties due to CPS interactions with the environment. We propose an automated approach to translate CPS requirements specified in a logic-based language into test oracles specified in Simulink -- a widely-used development and simulation language for CPS. Our approach achieves the objectives noted above through the identification of a fragment of Signal First Order logic (SFOL) to specify requirements, the definition of a quantitative semantics for this fragment and a sound translation of the fragment into Simulink. The results from applying our approach on 11 industrial case studies show that: (i) our requirements language can express all the 98 requirements of our case studies; (ii) the time and effort required by our approach are acceptable, showing potentials for the adoption of our work in practice, and (iii) for large models, our approach can dramatically reduce the test execution time compared to when test outputs are checked in an offline manner." @default.
• W2920995093 created "2019-03-22" @default.
• W2920995093 creator A5015680924 @default.
• W2920995093 creator A5018466538 @default.
• W2920995093 creator A5074393374 @default.
• W2920995093 creator A5078533117 @default.
• W2920995093 date "2019-03-08" @default.
• W2920995093 modified "2023-09-27" @default.
• W2920995093 title "Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors" @default.
• W2920995093 cites W1488625119 @default.
• W2920995093 cites W1533557569 @default.
• W2920995093 cites W1533710763 @default.
• W2920995093 cites W1537283821 @default.
• W2920995093 cites W1547304883 @default.
• W2920995093 cites W1654369324 @default.
• W2920995093 cites W1856380672 @default.
• W2920995093 cites W189973795 @default.
• W2920995093 cites W1979248560 @default.
• W2920995093 cites W1981501272 @default.
• W2920995093 cites W1994666370 @default.
• W2920995093 cites W2004463571 @default.
• W2920995093 cites W2010069926 @default.
• W2920995093 cites W2013449241 @default.
• W2920995093 cites W2019809768 @default.
• W2920995093 cites W2026629052 @default.
• W2920995093 cites W2031378219 @default.
• W2920995093 cites W2033455284 @default.
• W2920995093 cites W2041713059 @default.
• W2920995093 cites W2049399166 @default.
• W2920995093 cites W2085838366 @default.
• W2920995093 cites W2097223288 @default.
• W2920995093 cites W2098895708 @default.
• W2920995093 cites W2131399618 @default.
• W2920995093 cites W2138361257 @default.
• W2920995093 cites W2140007725 @default.
• W2920995093 cites W2148106163 @default.
• W2920995093 cites W2152728663 @default.
• W2920995093 cites W2153803621 @default.
• W2920995093 cites W2156992042 @default.
• W2920995093 cites W2158381251 @default.
• W2920995093 cites W2165338722 @default.
• W2920995093 cites W2171441042 @default.
• W2920995093 cites W2172184261 @default.
• W2920995093 cites W2174535387 @default.
• W2920995093 cites W2187041056 @default.
• W2920995093 cites W2221585980 @default.
• W2920995093 cites W2229094708 @default.
• W2920995093 cites W2320062858 @default.
• W2920995093 cites W2344795941 @default.
• W2920995093 cites W2491683005 @default.
• W2920995093 cites W2521098037 @default.
• W2920995093 cites W2558424088 @default.
• W2920995093 cites W2741510978 @default.
• W2920995093 cites W2785700716 @default.
• W2920995093 cites W2788220863 @default.
• W2920995093 cites W2791815478 @default.
• W2920995093 cites W2796327418 @default.
• W2920995093 cites W2808791761 @default.
• W2920995093 cites W2902726917 @default.
• W2920995093 cites W2952646558 @default.
• W2920995093 cites W3185338929 @default.
• W2920995093 cites W47554466 @default.
• W2920995093 cites W83755378 @default.
• W2920995093 cites W2798300513 @default.
• W2920995093 hasPublicationYear "2019" @default.
• W2920995093 type Work @default.
• W2920995093 sameAs 2920995093 @default.
• W2920995093 citedByCount "1" @default.
• W2920995093 countsByYear W29209950932019 @default.
• W2920995093 crossrefType "posted-content" @default.
• W2920995093 hasAuthorship W2920995093A5015680924 @default.
• W2920995093 hasAuthorship W2920995093A5018466538 @default.
• W2920995093 hasAuthorship W2920995093A5074393374 @default.
• W2920995093 hasAuthorship W2920995093A5078533117 @default.
• W2920995093 hasConcept C115901376 @default.
• W2920995093 hasConcept C115903868 @default.
• W2920995093 hasConcept C116834253 @default.
• W2920995093 hasConcept C119857082 @default.
• W2920995093 hasConcept C124101348 @default.
• W2920995093 hasConcept C127413603 @default.
• W2920995093 hasConcept C128942645 @default.
• W2920995093 hasConcept C136197465 @default.
• W2920995093 hasConcept C151730666 @default.
• W2920995093 hasConcept C152877465 @default.
• W2920995093 hasConcept C154945302 @default.
• W2920995093 hasConcept C184337299 @default.
• W2920995093 hasConcept C199360897 @default.
• W2920995093 hasConcept C200601418 @default.
• W2920995093 hasConcept C26517878 @default.
• W2920995093 hasConcept C2776235265 @default.
• W2920995093 hasConcept C2777267654 @default.
• W2920995093 hasConcept C2780009758 @default.
• W2920995093 hasConcept C38652104 @default.
• W2920995093 hasConcept C41008148 @default.
• W2920995093 hasConcept C59822182 @default.
• W2920995093 hasConcept C78519656 @default.
• W2920995093 hasConcept C80519477 @default.
• W2920995093 hasConcept C86803240 @default.
• W2920995093 hasConceptScore W2920995093C115901376 @default.
• W2920995093 hasConceptScore W2920995093C115903868 @default.

• next