Sökning: onr:"swepub:oai:research.chalmers.se:0154dbb8-11da-4157-8e6a-b4ad5df0abef" >
Applying valued boo...
Applying valued booleans in testing of cyber-physical systems
-
- Claessen, Koen, 1975 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Smallbone, Nicholas, 1986 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lidén Eddeland, Johan, 1991 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology,Volvo Cars
-
visa fler...
-
- Ramezani, Zahra, 1988 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Åkesson, Knut, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Miremadi, Sajed, 1983 (författare)
- Volvo Cars
-
visa färre...
-
(creator_code:org_t)
- 2018
- 2018
- Engelska.
-
Ingår i: Proceedings - 2018 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT-CPS 2018. ; , s. 8-9
- Relaterad länk:
-
https://research.cha... (primary) (free)
-
visa fler...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Abstract
Ämnesord
Stäng
- In software testing, as in cyber-physical systems testing, test suites are traditionally developed by hand. In this work we consider one framework for putting the computer in charge of the testing instead: constrained random test case generation as supported by the tool QuickCheck. This is implemented by the use of Valued Booleans (VBools). VBools naturally allow for an extension of QuickCheck into cyber-physical systems, which is useful particularly since QuickCheck can perform shrinking of test cases. Shrinking is a technique to make test cases simpler while preserving failure.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Nyckelord
- Falsification
- Testing
- Cyber-Physical-Systems
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
- Av författaren/redakt...
-
Claessen, Koen, ...
-
Smallbone, Nicho ...
-
Lidén Eddeland, ...
-
Ramezani, Zahra, ...
-
Åkesson, Knut, 1 ...
-
Miremadi, Sajed, ...
- Om ämnet
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
-
och Programvarutekni ...
-
- NATURVETENSKAP
-
NATURVETENSKAP
-
och Data och informa ...
-
och Datavetenskap
-
- TEKNIK OCH TEKNOLOGIER
-
TEKNIK OCH TEKNO ...
-
och Elektroteknik oc ...
-
och Datorsystem
- Artiklar i publikationen
- Proceedings - 20 ...
- Av lärosätet
-
Chalmers tekniska högskola