FRINK Linked Data Fragments server

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

• W2921869270 endingPage "18" @default.
• W2921869270 startingPage "1" @default.
• W2921869270 abstract "There has been significant interest in automatically generating test cases from a non-deterministic finite state machine (FSM). Most approaches check that the behaviours of the system under test (SUT) are allowed by the specification FSM; they therefore test for reduction . However, sometimes one wants all of the behaviours, and so features, of the specification to be implemented and then one is testing for equivalence . In this paper we first note that in order to test for equivalence one must effectively be able to observe the SUT not being able to produce an output y in response to an input x after trace σ ¯ ; we model this as the absence of an output. We prove that the problem of testing for equivalence to FSM M can be mapped to testing for reduction to an FSM R ( M ) that extends M with absences. Thus, one can use techniques developed for testing for reduction when testing for equivalence. We then consider the case where the specification is partial, generalising the result to quasi-equivalence. These results are proved for observable specifications and so we also show how a partial FSM can be mapped to an observable partial FSM from which we can test. • Generalises quasi-reduction and quasi-equivalence to non-observable FSMs. • Any technique, for testing for reduction, can be used for testing for quasi-equivalence. • A partial FSM can be mapped to an observable partial FSM." @default.
• W2921869270 created "2019-03-22" @default.
• W2921869270 creator A5009644797 @default.
• W2921869270 date "2019-05-01" @default.
• W2921869270 modified "2023-10-03" @default.
• W2921869270 title "FSM quasi-equivalence testing via reduction and observing absences" @default.
• W2921869270 cites W1855627117 @default.
• W2921869270 cites W1989362795 @default.
• W2921869270 cites W2011762419 @default.
• W2921869270 cites W2021948331 @default.
• W2921869270 cites W2030316475 @default.
• W2921869270 cites W2111584600 @default.
• W2921869270 cites W2112944455 @default.
• W2921869270 cites W2143578569 @default.
• W2921869270 cites W2143941698 @default.
• W2921869270 cites W2165761158 @default.
• W2921869270 cites W2170006923 @default.
• W2921869270 cites W2305895531 @default.
• W2921869270 cites W2913048148 @default.
• W2921869270 cites W2575311978 @default.
• W2921869270 doi "https://doi.org/10.1016/j.scico.2019.03.004" @default.
• W2921869270 hasPublicationYear "2019" @default.
• W2921869270 type Work @default.
• W2921869270 sameAs 2921869270 @default.
• W2921869270 citedByCount "10" @default.
• W2921869270 countsByYear W29218692702019 @default.
• W2921869270 countsByYear W29218692702020 @default.
• W2921869270 countsByYear W29218692702021 @default.
• W2921869270 countsByYear W29218692702022 @default.
• W2921869270 countsByYear W29218692702023 @default.
• W2921869270 crossrefType "journal-article" @default.
• W2921869270 hasAuthorship W2921869270A5009644797 @default.
• W2921869270 hasBestOaLocation W29218692701 @default.
• W2921869270 hasConcept C111335779 @default.
• W2921869270 hasConcept C11413529 @default.
• W2921869270 hasConcept C118615104 @default.
• W2921869270 hasConcept C2524010 @default.
• W2921869270 hasConcept C2780069185 @default.
• W2921869270 hasConcept C33923547 @default.
• W2921869270 hasConcept C41008148 @default.
• W2921869270 hasConceptScore W2921869270C111335779 @default.
• W2921869270 hasConceptScore W2921869270C11413529 @default.
• W2921869270 hasConceptScore W2921869270C118615104 @default.
• W2921869270 hasConceptScore W2921869270C2524010 @default.
• W2921869270 hasConceptScore W2921869270C2780069185 @default.
• W2921869270 hasConceptScore W2921869270C33923547 @default.
• W2921869270 hasConceptScore W2921869270C41008148 @default.
• W2921869270 hasLocation W29218692701 @default.
• W2921869270 hasLocation W29218692702 @default.
• W2921869270 hasOpenAccess W2921869270 @default.
• W2921869270 hasPrimaryLocation W29218692701 @default.
• W2921869270 hasRelatedWork W2062388982 @default.
• W2921869270 hasRelatedWork W2352590024 @default.
• W2921869270 hasRelatedWork W2356762157 @default.
• W2921869270 hasRelatedWork W2371751086 @default.
• W2921869270 hasRelatedWork W2384088252 @default.
• W2921869270 hasRelatedWork W2385500201 @default.
• W2921869270 hasRelatedWork W2386767533 @default.
• W2921869270 hasRelatedWork W2391657637 @default.
• W2921869270 hasRelatedWork W2516440660 @default.
• W2921869270 hasRelatedWork W2760597274 @default.
• W2921869270 hasVolume "177" @default.
• W2921869270 isParatext "false" @default.
• W2921869270 isRetracted "false" @default.
• W2921869270 magId "2921869270" @default.
• W2921869270 workType "article" @default.