Matches in SemOpenAlex for { <https://semopenalex.org/work/W1588010019> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W1588010019 endingPage "110" @default.
- W1588010019 startingPage "100" @default.
- W1588010019 abstract "Two notions for comparing the efficiencies of equivalent concurrent systems have been developed and axiomatized in [1] and [2]. Recently Natarajan and Cleaveland have defined a notion of testing [6] which incorporates these ideas as an extension of the testing methodology ([3],[4]). Their extension bounds the run of a test in an effort to compare processes for their relative efficiencies, measured in terms of the amount of internal activity in a process.In this paper we explore the feasibility of obtaining other efficiency based preorders in the setting of the testing methodology. We generalize the testing methodology and cast [3] and [6] in the new framework. Further, we provide a variation that is equivalent to that of [6].Another alternative that we explore is what we call “testing for efficiency”. Rather than bound the test runs externally, testing for internal activity in a process is woven into the test itself. This turns out to be a more powerful and flexible method of testing processes for a variety of properties.The main result of this paper is that the testing-efficiency preorders obtained from all the variations previously considered are coarser than that obtained by “testing for efficiency”. We prove appropriate alternate characterizations that are independent of any testing formalism. We also show that the existing methodologies (including [3]) or their equivalent variations can be simulated in the “testing for efficiency” framework.KeywordsInternal ActivityTransition RuleVisible ActionTesting MethodologyLabel Transition SystemThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1588010019 created "2016-06-24" @default.
- W1588010019 creator A5023483425 @default.
- W1588010019 creator A5076207100 @default.
- W1588010019 date "1996-01-01" @default.
- W1588010019 modified "2023-09-27" @default.
- W1588010019 title "Testing processes for efficiency" @default.
- W1588010019 cites W1480685647 @default.
- W1588010019 cites W2022360370 @default.
- W1588010019 cites W2112082164 @default.
- W1588010019 cites W2157144873 @default.
- W1588010019 doi "https://doi.org/10.1007/3-540-62034-6_41" @default.
- W1588010019 hasPublicationYear "1996" @default.
- W1588010019 type Work @default.
- W1588010019 sameAs 1588010019 @default.
- W1588010019 citedByCount "1" @default.
- W1588010019 crossrefType "book-chapter" @default.
- W1588010019 hasAuthorship W1588010019A5023483425 @default.
- W1588010019 hasAuthorship W1588010019A5076207100 @default.
- W1588010019 hasConcept C199360897 @default.
- W1588010019 hasConcept C2778029271 @default.
- W1588010019 hasConcept C41008148 @default.
- W1588010019 hasConcept C80444323 @default.
- W1588010019 hasConcept C98045186 @default.
- W1588010019 hasConceptScore W1588010019C199360897 @default.
- W1588010019 hasConceptScore W1588010019C2778029271 @default.
- W1588010019 hasConceptScore W1588010019C41008148 @default.
- W1588010019 hasConceptScore W1588010019C80444323 @default.
- W1588010019 hasConceptScore W1588010019C98045186 @default.
- W1588010019 hasLocation W15880100191 @default.
- W1588010019 hasOpenAccess W1588010019 @default.
- W1588010019 hasPrimaryLocation W15880100191 @default.
- W1588010019 hasRelatedWork W113446892 @default.
- W1588010019 hasRelatedWork W1577274293 @default.
- W1588010019 hasRelatedWork W1759731905 @default.
- W1588010019 hasRelatedWork W192630419 @default.
- W1588010019 hasRelatedWork W1994843883 @default.
- W1588010019 hasRelatedWork W2065799518 @default.
- W1588010019 hasRelatedWork W2070888284 @default.
- W1588010019 hasRelatedWork W2258537516 @default.
- W1588010019 hasRelatedWork W2395382078 @default.
- W1588010019 hasRelatedWork W24079488 @default.
- W1588010019 hasRelatedWork W2497382073 @default.
- W1588010019 hasRelatedWork W2529383298 @default.
- W1588010019 hasRelatedWork W2743029496 @default.
- W1588010019 hasRelatedWork W2760222170 @default.
- W1588010019 hasRelatedWork W2950142800 @default.
- W1588010019 hasRelatedWork W3099030119 @default.
- W1588010019 hasRelatedWork W3133954781 @default.
- W1588010019 hasRelatedWork W3134473559 @default.
- W1588010019 hasRelatedWork W2286192159 @default.
- W1588010019 isParatext "false" @default.
- W1588010019 isRetracted "false" @default.
- W1588010019 magId "1588010019" @default.
- W1588010019 workType "book-chapter" @default.