Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017673280> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2017673280 abstract "In the paper, we propose a method that can be applied to verify implementation in real-time reactive system. Different from other software model checking approaches, our method is based on testing. This approach allows the verification of safety property to be conducted directly on real code instead of models extracted from final implementation. Verifying that kind of models is a hard work and can only be applied to parts of the implementation. The method is done by establishing a connection between safety verification and conformance testing in real-time system. We first prove a theorem that in real-time system, under the input enabled precondition, if an implementation conforms to its specification and the specification satisfies the safety properties, the implementation satisfies it either. Then, based on contropositivity of the former conclusion, we present a test case generation framework which forms basis for generating test cases that can be used to detect violations of safety properties in the implementation. In addition, this test generation framework can also detect more nonconformance defects when compared with other real time test generation methods. The method is illustrated with a train gate control system." @default.
- W2017673280 created "2016-06-24" @default.
- W2017673280 creator A5014788258 @default.
- W2017673280 creator A5035282947 @default.
- W2017673280 creator A5089205282 @default.
- W2017673280 date "2012-12-01" @default.
- W2017673280 modified "2023-09-28" @default.
- W2017673280 title "Integration of Safety Verification with Conformance Testing in Real-Time Reactive System" @default.
- W2017673280 cites W1483744477 @default.
- W2017673280 cites W1586681669 @default.
- W2017673280 cites W1962072139 @default.
- W2017673280 cites W1985759744 @default.
- W2017673280 cites W2018704560 @default.
- W2017673280 cites W2032189196 @default.
- W2017673280 cites W2101126217 @default.
- W2017673280 cites W2101508170 @default.
- W2017673280 cites W2102418068 @default.
- W2017673280 cites W2107360681 @default.
- W2017673280 cites W2112640524 @default.
- W2017673280 cites W2119488343 @default.
- W2017673280 cites W2120916408 @default.
- W2017673280 cites W2124621264 @default.
- W2017673280 cites W2130773092 @default.
- W2017673280 cites W2132055325 @default.
- W2017673280 cites W2911583164 @default.
- W2017673280 cites W3023485956 @default.
- W2017673280 doi "https://doi.org/10.1109/apsec.2012.92" @default.
- W2017673280 hasPublicationYear "2012" @default.
- W2017673280 type Work @default.
- W2017673280 sameAs 2017673280 @default.
- W2017673280 citedByCount "1" @default.
- W2017673280 countsByYear W20176732802014 @default.
- W2017673280 crossrefType "proceedings-article" @default.
- W2017673280 hasAuthorship W2017673280A5014788258 @default.
- W2017673280 hasAuthorship W2017673280A5035282947 @default.
- W2017673280 hasAuthorship W2017673280A5089205282 @default.
- W2017673280 hasConcept C111498074 @default.
- W2017673280 hasConcept C111919701 @default.
- W2017673280 hasConcept C116253237 @default.
- W2017673280 hasConcept C119857082 @default.
- W2017673280 hasConcept C127413603 @default.
- W2017673280 hasConcept C128942645 @default.
- W2017673280 hasConcept C152877465 @default.
- W2017673280 hasConcept C188087704 @default.
- W2017673280 hasConcept C192465680 @default.
- W2017673280 hasConcept C199360897 @default.
- W2017673280 hasConcept C200601418 @default.
- W2017673280 hasConcept C41008148 @default.
- W2017673280 hasConcept C76844732 @default.
- W2017673280 hasConceptScore W2017673280C111498074 @default.
- W2017673280 hasConceptScore W2017673280C111919701 @default.
- W2017673280 hasConceptScore W2017673280C116253237 @default.
- W2017673280 hasConceptScore W2017673280C119857082 @default.
- W2017673280 hasConceptScore W2017673280C127413603 @default.
- W2017673280 hasConceptScore W2017673280C128942645 @default.
- W2017673280 hasConceptScore W2017673280C152877465 @default.
- W2017673280 hasConceptScore W2017673280C188087704 @default.
- W2017673280 hasConceptScore W2017673280C192465680 @default.
- W2017673280 hasConceptScore W2017673280C199360897 @default.
- W2017673280 hasConceptScore W2017673280C200601418 @default.
- W2017673280 hasConceptScore W2017673280C41008148 @default.
- W2017673280 hasConceptScore W2017673280C76844732 @default.
- W2017673280 hasLocation W20176732801 @default.
- W2017673280 hasOpenAccess W2017673280 @default.
- W2017673280 hasPrimaryLocation W20176732801 @default.
- W2017673280 hasRelatedWork W1564595749 @default.
- W2017673280 hasRelatedWork W1579320194 @default.
- W2017673280 hasRelatedWork W1586853248 @default.
- W2017673280 hasRelatedWork W1768417109 @default.
- W2017673280 hasRelatedWork W1928962298 @default.
- W2017673280 hasRelatedWork W1979763269 @default.
- W2017673280 hasRelatedWork W2002135980 @default.
- W2017673280 hasRelatedWork W2015135976 @default.
- W2017673280 hasRelatedWork W2040248856 @default.
- W2017673280 hasRelatedWork W2116839871 @default.
- W2017673280 hasRelatedWork W2129931199 @default.
- W2017673280 hasRelatedWork W2137203555 @default.
- W2017673280 hasRelatedWork W2234603363 @default.
- W2017673280 hasRelatedWork W2356777650 @default.
- W2017673280 hasRelatedWork W2358594668 @default.
- W2017673280 hasRelatedWork W2361020534 @default.
- W2017673280 hasRelatedWork W24878897 @default.
- W2017673280 hasRelatedWork W2805653720 @default.
- W2017673280 hasRelatedWork W52898661 @default.
- W2017673280 hasRelatedWork W2090100228 @default.
- W2017673280 isParatext "false" @default.
- W2017673280 isRetracted "false" @default.
- W2017673280 magId "2017673280" @default.
- W2017673280 workType "article" @default.