https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3ADecomposability_in_Input_Output_Conformance_TestingPublications:Decomposability in Input Output Conformance Testing - Revision history2026-05-23T07:26:14ZRevision history for this page on the wikiMediaWiki 1.22.6https://wiki.hh.se/ceres/index.php?title=Publications:Decomposability_in_Input_Output_Conformance_Testing&diff=4150&oldid=prevSlawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Neda Noroozi, Mohammad Reza Mousavi, Tim Willemse |PID=618152 |Name=Noroozi..."2014-06-26T03:43:46Z<p>Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Neda Noroozi, Mohammad Reza Mousavi, Tim Willemse |PID=618152 |Name=Noroozi..."</p>
<p><b>New page</b></p><div><div style='display: none'><br />
== Do not edit this section ==<br />
</div><br />
{{PublicationSetupTemplate|Author=Neda Noroozi, Mohammad Reza Mousavi, Tim Willemse<br />
|PID=618152<br />
|Name=Noroozi, Neda (Eindhoven University of Technology, The Netherlands);Mousavi, Mohammad Reza [mohmou] (Högskolan i Halmstad [2804], Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE) [3905], Halmstad Embedded and Intelligent Systems Research (EIS) [3938], Centrum för forskning om inbyggda system (CERES) [6702]) (Eindhoven University of Technology, The Netherlands);Willemse, Tim (Eindhoven University of Technology, The Netherlands)<br />
|Title=Decomposability in Input Output Conformance Testing<br />
|PublicationType=Conference Paper<br />
|ContentType=Refereegranskat<br />
|Language=eng<br />
|Journal=<br />
|JournalISSN=<br />
|Status=<br />
|Volume=<br />
|Issue=<br />
|HostPublication=Proceedings of the 8th Workshop on Model-Based Testing<br />
|Conference=Proceedings of the 8th Workshop on Model-Based Testing (MBT 2013), Rom, Italy, 17th March 2013<br />
|StartPage=51<br />
|EndPage=66<br />
|Year=2013<br />
|Edition=<br />
|Pages=<br />
|City=<br />
|Publisher=Open Publishing Association<br />
|Series=Electronic Proceedings in Theoretical Computer Science ; 111<br />
|SeriesISSN=2075-2180<br />
|ISBN=<br />
|Urls=http://rvg.web.cse.unsw.edu.au/eptcs/Published/MBT2013/Papers/3/arXiv.pdf<br />
|ISRN=<br />
|DOI=http://dx.doi.org/10.4204/EPTCS.111.5<br />
|ISI=<br />
|PMID=<br />
|ScopusId=<br />
|NBN=urn:nbn:se:hh:diva-21814<br />
|LocalId=<br />
|ArchiveNumber=<br />
|Keywords=<br />
|Categories=Data- och informationsvetenskap (102)<br />
|ResearchSubjects=<br />
|Projects=<br />
|Notes=<br />
|Abstract=<p>We study the problem of deriving a specification for a third-party component, based on the specifi-cation of the system and the environment in which the component is supposed to reside. Particularly,we are interested in using component specifications for conformance testing of black-box components, using the theory of input-output conformance (ioco) testing. We propose and prove sufficientcriteria for decompositionality, i.e., that components conforming to the derived specification will always compose to produce a correct system with respect to the system specification. We also study thecriteria for strong decomposability, by which we can ensure that only those components conformingto the derived specification can lead to a correct system.</p><br />
|Opponents=<br />
|Supervisors=<br />
|Examiners=<br />
|Patent=<br />
|ThesisLevel=<br />
|Credits=<br />
|Programme=<br />
|Subject=<br />
|Uppsok=<br />
|DefencePlace=<br />
|DefenceLanguage=<br />
|DefenceDate=<br />
|CreatedDate=2013-04-26<br />
|PublicationDate=2013-04-26<br />
|LastUpdated=2013-10-09<br />
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:618152}}<br />
<div style='display: none'><br />
<br />
== Keep all hand-made modifications below ==<br />
</div>{{PublicationDisplayTemplate}}</div>Slawek