WFRF:(Noroozi Mohammad)
Sökning: WFRF:(Noroozi Mohammad) > On the Complexity o...
- 33 av 38
- Föregående post
- Nästa post
- Till träfflistan
- Noroozi, NedaEindhoven University of Technology, Eindhoven, The Netherlands (författare)
On the Complexity of Input Output Conformance Testing
- Artikel/kapitelEngelska2014
Förlag, utgivningsår, omfång ...
- 2014-06-13
- Heidelberg :Springer,2014
- electronicrdacarrier
Nummerbeteckningar
- LIBRIS-ID:oai:DiVA.org:hh-24046
- https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-24046URI
- https://doi.org/10.1007/978-3-319-07602-7_18DOI
Kompletterande språkuppgifter
- Språk:engelska
- Sammanfattning på:engelska
Ingår i deldatabas
- SwePubSwePub
Klassifikation
Anmärkningar
- Input-output conformance (ioco) testing is a well-known approach to model-based testing. In this paper, we study the complexity of checking ioco. We show that the problem of checking ioco is PSPACE-complete. To provide a more efficient algorithm, we propose a more restricted setting for checking ioco, namely with deterministic models and show that in this restricted setting ioco checking can be performed in polynomial time. © 2014 Springer International Publishing Switzerland.
Ämnesord och genrebeteckningar
- NATURVETENSKAP Data- och informationsvetenskap hsv//swe
- NATURAL SCIENCES Computer and Information Sciences hsv//eng
- Model-Based Testing
- Conformance Testing
- Complexity Theory
Biuppslag (personer, institutioner, konferenser, titlar ...)
- Mousavi, Mohammad Reza,1978-Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)(Swepub:hh)mohmou (författare)
- Willemse, Tim A.C.Eindhoven University of Technology, Eindhoven, The Netherlands (författare)
- Eindhoven University of Technology, Eindhoven, The NetherlandsCentrum för forskning om inbyggda system (CERES) (creator_code:org_t)
Sammanhörande titlar
- Ingår i:Formal Aspects of Component SoftwareHeidelberg : Springer, s. 291-30997833190760109783319076027
Internetlänk
Hitta via bibliotek
- Formal Aspects of Component Software (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 33 av 38
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Noroozi, Neda
- Mousavi, Mohamma ...
- Willemse, Tim A. ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- Artiklar i publikationen
- Formal Aspects o ...
- Av lärosätet
- Högskolan i Halmstad
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
