Filters








6 Hits in 2.7 sec

Input-output Conformance Testing for Channel-based Service Connectors

Natallia Kokash, Farhad Arbab, Behnaz Changizi, Leonid Makhnist
<span title="2011-08-06">2011</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
Our approach is based on the input-output conformance (ioco) testing theory and exploits the mapping of automata-based semantic models for Reo to equivalent process algebra specifications.  ...  Each channel is a binary relation that imposes synchronization and data constraints on input and output messages.  ...  Conformance Testing In this section, we briefly introduce a model-based test generation theory for testing input-output conformance (ioco) of an implementation and a given specification [30] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.60.2">doi:10.4204/eptcs.60.2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pb4bwar6djcfrotc3v3nnqa6mm">fatcat:pb4bwar6djcfrotc3v3nnqa6mm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719075956/https://ir.cwi.nl/pub/18673/18673A.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/18/a6/18a636baeabd429e0c420a91ea32e3fe452b9c22.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.60.2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts

Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman
<span title="2016-03-28">2016</span> <i title="Open Publishing Association"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qzezkwolyvf33pglm2jldjklca" style="color: black;">Electronic Proceedings in Theoretical Computer Science</a> </i> &nbsp;
A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component.  ...  We report about our experience with this approach in an industrial development project.  ...  The semantics of the Pedal Handling DSL is described in terms of labeled transition systems and hence we create a test environment based on the theory of input-output conformance (ioco) testing for labeled  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.205.2">doi:10.4204/eptcs.205.2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gj4sir3dxvd2re2cc52qjdpziy">fatcat:gj4sir3dxvd2re2cc52qjdpziy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200311075646/https://repository.ubn.ru.nl/bitstream/handle/2066/158152/158152.pdf;jsessionid=BEE534DB3755CDDCB8582C55FB9E0EA7?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e7/f8/e7f84974cf6116e3518766c5c43f8ff1764465af.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4204/eptcs.205.2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations [article]

Sarmen Keshishzadeh and Arjan J. Mooij and Jozef Hooman
<span title="2015-11-25">2015</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
A domain specific language (DSL) abstracts from implementation details and is aligned with the way domain experts reason about a software component.  ...  We report about our experience with this approach in an industrial development project.  ...  Acknowledgement This research was supported by the Dutch national program COMMIT and carried out as part of the Allegio project.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1511.08049v1">arXiv:1511.08049v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6elavm4acfhxzoas7w3cu27ao4">fatcat:6elavm4acfhxzoas7w3cu27ao4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191021020124/https://arxiv.org/pdf/1511.08049v1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/dc/28/dc28b16d1b77f0e87a8c743bf2828cc8a40311e5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1511.08049v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Effectiveness for Input Output Conformance Simulation iocos̱ [chapter]

Carlos Gregorio-Rodríguez, Luis Llana, Rafael Martínez-Torres
<span title="">2014</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
In this paper we continue the study of the input-output conformance simulation (iocos).  ...  We prove both soundness and completeness of the online algorithm with respect to the iocos relation. b) In the context of formal verification and model checking minimisation a key issue is to efficiently  ...  Although iocos definition is simulation-like, it has particularities inherited from the classic requirements for the conformance relations when dealing with inputs and outputs, and even the use of input-output  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-43613-4_7">doi:10.1007/978-3-662-43613-4_7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d353rbo4d5ho3n7humjykujs4y">fatcat:d353rbo4d5ho3n7humjykujs4y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200326015327/https://link.springer.com/content/pdf/10.1007%2F978-3-662-43613-4_7.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/91/ef/91ef0b300a84d346f0eaf60fe2ea32089195c508.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-662-43613-4_7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Formal analysis and verification of embedded systems for healthcare [article]

S Sarmen Keshishzadeh, JF Jan Friso Groote, JJM Jozef Hooman, AJ Arjan Mooij
<span title="">2016</span>
The semantics of the pedal handling DSL is described in terms of labeled transition systems and hence we use the theory of input-output conformance (ioco) testing for labeled transition systems [Tre08  ...  Corresponding to the input actions and the output action we declare actions in mCRL2.  ...  For example the DSL model of Fig. 2 .4 declares the input actions FRFluoOn, FRFluoOff, StartCond, and ResetStartCond.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.6100/ir841257">doi:10.6100/ir841257</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lyaoubwrqvemjhtfi5tnbkomne">fatcat:lyaoubwrqvemjhtfi5tnbkomne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200215043208/https://pure.tue.nl/ws/files/17652314/20160324_Keshishzadeh.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/65/66/65667c90a6d16d50ab8c093967d0283ed9152ff2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.6100/ir841257"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Dagstuhl Reports, Volume 3, Issue 1, January 2013, Complete Issue [article]

<span title="2013-07-04">2013</span>
Similarly, we might not directly observe the input and output of the system under test (SUT) if there is an asynchronous communications channel between the tester and the SUT: the observation of output  ...  Finally, we introduce symbolic conformance relation stioco, which is an extension of the well-known ioco conformance relation. Relation stioco is defined using FO-logic on a purely symbolic level.  ...  the system or product conforms to the relevant standard.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.3.1">doi:10.4230/dagrep.3.1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tt7daiu6fjhb3i3npxmz5ul2gy">fatcat:tt7daiu6fjhb3i3npxmz5ul2gy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220123034415/https://drops.dagstuhl.de/opus/volltexte/2013/4077/pdf/dagrep_v003_i001_complete.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8c/38/8c38ae06b05981460e167c0495e36f170830265e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.3.1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>