Matches in SemOpenAlex for { <https://semopenalex.org/work/W1594588771> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1594588771 endingPage "15" @default.
- W1594588771 startingPage "1" @default.
- W1594588771 abstract "The paper presents a technique for model-based black-box conformance testing of real-time systems using the Time Petri Net Analyzer TINA. Such test suites are derived from a prioritized time Petri net composed of two concurrent sub-nets specifying respectively the expected behaviour of the system under test and its environment.We describe how the toolbox TINA has been extended to support automatic generation of time-optimal test suites. The result is optimal in the sense that the set of test cases in the test suite have the shortest possible accumulated time to be executed. Input/output conformance serves as the notion of implementation correctness, essentially timed trace inclusion taking environment assumptions into account. Test cases selection is based either on using manually formulated test purposes or automatically from various coverage criteria specifying structural criteria of the model to be fulfilled by the test suite. We discuss how test purposes and coverage criterion are specified in the linear temporal logic SE-LTL, derive test sequences, and assign verdicts." @default.
- W1594588771 created "2016-06-24" @default.
- W1594588771 creator A5018925769 @default.
- W1594588771 creator A5069344282 @default.
- W1594588771 creator A5081045210 @default.
- W1594588771 date "2009-01-01" @default.
- W1594588771 modified "2023-10-01" @default.
- W1594588771 title "Testing Real-Time Systems Using TINA" @default.
- W1594588771 cites W1482831602 @default.
- W1594588771 cites W1489973483 @default.
- W1594588771 cites W1505255894 @default.
- W1594588771 cites W1506375872 @default.
- W1594588771 cites W1517759046 @default.
- W1594588771 cites W1557346410 @default.
- W1594588771 cites W1579136117 @default.
- W1594588771 cites W1596935793 @default.
- W1594588771 cites W1638591980 @default.
- W1594588771 cites W1756958128 @default.
- W1594588771 cites W1766479663 @default.
- W1594588771 cites W1895974704 @default.
- W1594588771 cites W1914485921 @default.
- W1594588771 cites W2000518871 @default.
- W1594588771 cites W2008781243 @default.
- W1594588771 cites W2042801853 @default.
- W1594588771 cites W2070996046 @default.
- W1594588771 cites W2099924351 @default.
- W1594588771 cites W2101508170 @default.
- W1594588771 cites W2109563237 @default.
- W1594588771 cites W2117268802 @default.
- W1594588771 cites W2121845202 @default.
- W1594588771 cites W2123023940 @default.
- W1594588771 cites W2142830749 @default.
- W1594588771 cites W2146623137 @default.
- W1594588771 cites W2151612633 @default.
- W1594588771 cites W2163595873 @default.
- W1594588771 doi "https://doi.org/10.1007/978-3-642-05031-2_1" @default.
- W1594588771 hasPublicationYear "2009" @default.
- W1594588771 type Work @default.
- W1594588771 sameAs 1594588771 @default.
- W1594588771 citedByCount "12" @default.
- W1594588771 countsByYear W15945887712012 @default.
- W1594588771 countsByYear W15945887712013 @default.
- W1594588771 countsByYear W15945887712016 @default.
- W1594588771 countsByYear W15945887712018 @default.
- W1594588771 crossrefType "book-chapter" @default.
- W1594588771 hasAuthorship W1594588771A5018925769 @default.
- W1594588771 hasAuthorship W1594588771A5069344282 @default.
- W1594588771 hasAuthorship W1594588771A5081045210 @default.
- W1594588771 hasBestOaLocation W15945887711 @default.
- W1594588771 hasConcept C41008148 @default.
- W1594588771 hasConceptScore W1594588771C41008148 @default.
- W1594588771 hasLocation W15945887711 @default.
- W1594588771 hasOpenAccess W1594588771 @default.
- W1594588771 hasPrimaryLocation W15945887711 @default.
- W1594588771 hasRelatedWork W2093578348 @default.
- W1594588771 hasRelatedWork W2350741829 @default.
- W1594588771 hasRelatedWork W2358668433 @default.
- W1594588771 hasRelatedWork W2376932109 @default.
- W1594588771 hasRelatedWork W2382290278 @default.
- W1594588771 hasRelatedWork W2390279801 @default.
- W1594588771 hasRelatedWork W2748952813 @default.
- W1594588771 hasRelatedWork W2766271392 @default.
- W1594588771 hasRelatedWork W2899084033 @default.
- W1594588771 hasRelatedWork W3004735627 @default.
- W1594588771 isParatext "false" @default.
- W1594588771 isRetracted "false" @default.
- W1594588771 magId "1594588771" @default.
- W1594588771 workType "book-chapter" @default.