FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W842436748> ?p ?o ?g. }

• W842436748 abstract "Complex systems are everywhere and are part of our daily life. As a consequence, their failures can range from being inconvenient to being life-threatening. Testing is one of the most widely accepted techniques (especially in industry) to detect errors in a system. When the requirements of the system are described by a formal specification, conformance testing is used to guarantee a certain degree of confidence in the correctness of an implementation- in this setting a conformance relation formalizes the notion of correctness. This thesis focuses on conformance testing for concurrent systems. Conformance testing for concurrent system has mainly focused on models that interpret concurrency by interleavings. This approach does not only suf- fer from the state space explosion problem, but also lacks the ability to test properties of the specification such as independence between actions. For such reasons, we focus not only on partial order semantics for concurrency, but also propose a new semantics that allows to interleave some actions while forcing others to be implemented as independent. We propose a generalization of the ioco conformance relation, based on Petri nets specifications and their partial order semantics given by their unfoldings, preserving thus independence of actions from the specification. A complete testing framework for this conformance relation is presented. We introduce the notion of global test cases which handle concurrency, reducing not only the size of the test case, but also the number of tests in the test suite. We show how global test cases can be constructed from the unfolding of the specification based on a SAT encoding and we reduce the test selection problem to select a finite prefix of such unfolding: different testing criteria are defined based on the notion of cut-off events. Finally, we show that assuming each process of a distributed system has a local clock, global conformance can be tested in a distributed testing architecture using only local testers without any communication." @default.
• W842436748 created "2016-06-24" @default.
• W842436748 creator A5085421453 @default.
• W842436748 date "2014-11-07" @default.
• W842436748 modified "2023-10-05" @default.
• W842436748 title "Testing concurrent systems through event structures" @default.
• W842436748 cites W105857026 @default.
• W842436748 cites W132066225 @default.
• W842436748 cites W1480909796 @default.
• W842436748 cites W1484700963 @default.
• W842436748 cites W1486172410 @default.
• W842436748 cites W1497489765 @default.
• W842436748 cites W1503973138 @default.
• W842436748 cites W1506375872 @default.
• W842436748 cites W1513384635 @default.
• W842436748 cites W1517294405 @default.
• W842436748 cites W1518246002 @default.
• W842436748 cites W1519017097 @default.
• W842436748 cites W1519975715 @default.
• W842436748 cites W1522465028 @default.
• W842436748 cites W1527688737 @default.
• W842436748 cites W1529497146 @default.
• W842436748 cites W1547562281 @default.
• W842436748 cites W1557632285 @default.
• W842436748 cites W1561267729 @default.
• W842436748 cites W1563012880 @default.
• W842436748 cites W1571487936 @default.
• W842436748 cites W1583702921 @default.
• W842436748 cites W1586537374 @default.
• W842436748 cites W1587747784 @default.
• W842436748 cites W1587849506 @default.
• W842436748 cites W1591617867 @default.
• W842436748 cites W1597882372 @default.
• W842436748 cites W1601028213 @default.
• W842436748 cites W1608087281 @default.
• W842436748 cites W1652742168 @default.
• W842436748 cites W1705394006 @default.
• W842436748 cites W1833493271 @default.
• W842436748 cites W1878755561 @default.
• W842436748 cites W1885303164 @default.
• W842436748 cites W1890028643 @default.
• W842436748 cites W1952732242 @default.
• W842436748 cites W1965237160 @default.
• W842436748 cites W1973784481 @default.
• W842436748 cites W1974396748 @default.
• W842436748 cites W1975640419 @default.
• W842436748 cites W1991052229 @default.
• W842436748 cites W2004929506 @default.
• W842436748 cites W2026184507 @default.
• W842436748 cites W2026431993 @default.
• W842436748 cites W2027131958 @default.
• W842436748 cites W2033996441 @default.
• W842436748 cites W2039309162 @default.
• W842436748 cites W2060993374 @default.
• W842436748 cites W2084978003 @default.
• W842436748 cites W2085074430 @default.
• W842436748 cites W2107360681 @default.
• W842436748 cites W2108394166 @default.
• W842436748 cites W2112640524 @default.
• W842436748 cites W2118229393 @default.
• W842436748 cites W2118954772 @default.
• W842436748 cites W2119449499 @default.
• W842436748 cites W2120916408 @default.
• W842436748 cites W2121337162 @default.
• W842436748 cites W2121703249 @default.
• W842436748 cites W2122246338 @default.
• W842436748 cites W2126818664 @default.
• W842436748 cites W2129296169 @default.
• W842436748 cites W2130552249 @default.
• W842436748 cites W2136920408 @default.
• W842436748 cites W2139722508 @default.
• W842436748 cites W2143236904 @default.
• W842436748 cites W2157144873 @default.
• W842436748 cites W2158942489 @default.
• W842436748 cites W2160249188 @default.
• W842436748 cites W2164024827 @default.
• W842436748 cites W2167004912 @default.
• W842436748 cites W2167816957 @default.
• W842436748 cites W2171109896 @default.
• W842436748 cites W2174215409 @default.
• W842436748 cites W2179445399 @default.
• W842436748 cites W2227471340 @default.
• W842436748 cites W2340102009 @default.
• W842436748 cites W2405417647 @default.
• W842436748 cites W26103048 @default.
• W842436748 cites W2742644929 @default.
• W842436748 cites W2913048148 @default.
• W842436748 cites W3010856131 @default.
• W842436748 cites W3144368627 @default.
• W842436748 cites W315928874 @default.
• W842436748 cites W86507843 @default.
• W842436748 cites W2116746874 @default.
• W842436748 cites W2734756299 @default.
• W842436748 hasPublicationYear "2014" @default.
• W842436748 type Work @default.
• W842436748 sameAs 842436748 @default.
• W842436748 citedByCount "0" @default.
• W842436748 crossrefType "dissertation" @default.
• W842436748 hasAuthorship W842436748A5085421453 @default.
• W842436748 hasConcept C111919701 @default.

• next