Sökning: WFRF:(Mousavi Mohammad Reza 1978 )
> Taha Walid 1972 >
Conformance Testing...
Conformance Testing of Cyber-Physical Systems : A Comparative Study
-
- Mohaqeqi, Morteza (författare)
- School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran
-
- Mousavi, Mohammad Reza, 1978- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
- Taha, Walid, 1972- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES),Rice University, Houston, Texas, USA
-
(creator_code:org_t)
- Berlin : European Association of Software Science and Technology, 2014
- 2014
- Engelska.
-
Ingår i: Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014). - Berlin : European Association of Software Science and Technology.
- Relaterad länk:
-
http://dx.doi.org/10...
-
visa fler...
-
https://hh.diva-port... (primary) (Raw object)
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- For systematic and automatic testing of cyber-physical systems, in which a set of test cases is generated based on a formal specification, a number of notions of conformance testing have been proposed. In this paper, we review two existing theories of conformance testing for cyber-physical systems and compare them. We point out their fundamental differences, and prove under which assumptions they coincide. © Automated Verification of Critical Systems 2014.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Hybrid systems
- conformance testing
- (hybrid) timed state sequences
- hybrid labeled transition systems
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)