Matches in SemOpenAlex for { <https://semopenalex.org/work/W3148441330> ?p ?o ?g. }
- W3148441330 abstract "In fault diagnosis an important performance metric is the accuracy of the multiple-fault diagnosis D returned by a diagnostic algorithm (DA). In many cases diagnostic accuracy is insufficient (D comprises too many candidates). Diagnostic uncertainty can be reduced by supplying more modeling information, and more observation information. Observation information can be in spatial sense (more probing points), and in temporal sense (more tests), the latter of which is the focus of this paper. Ignoring the computational cost of the DA itself, the diagnostic process may be viewed as (1) expending costs to generate observation input to the DA (testing cost Ct), and (2) expending costs to find the actual diagnosis from D returned by the DA by the diagnostician (diagnostic cost Cd). The latter is inverse to diagnostic accuracy (utility) as false positives and negatives in D result in wasted effort by the diagnostician finding the actually faulted components.In sequential diagnosis (SD) one computes the optimal sequence of tests (observations) that, on average, minimizes Ct and Cd. SD approaches are typically found in the (hardware) systems testing domain where system knowledge is encoded in terms of predetermined test matrices, or in the model-based diagnosis domain where system models are available. In the software domain, the domain considered in this paper, the problem of diagnosis has received considerable attention. Due to complexity problems most model-based approaches are limited to small programs and/or must take a single-fault assumption. Typically, statistical approaches are used, that abstract from the program code and compute the correlation between component involvement in tests on the one hand (expressed in terms of a so-called spectra), and the test outcomes (pass/fail) on the other, deriving a ranking of suspect components. While these approaches essentially involve multiple observations (e.g., an entire regression test suite) they do not qualify as SD since the choice of tests is random (a passive diagnosis ap-proach), rather than generating/selecting the next best test based on the diagnosis obtained thus far (an active diagnosis approach). Hence, the decrease of Cd per test is far from optimal.In this paper we present a spectrum-based SD approach and an associated algorithm dubbed SEQUOIA(SEQUencing fOr dIAgnosis) that greedily computes a sequence out of a large set of given tests that delivers near-optimal diagnostic performance in terms of the decay of Cd as function of the number of tests. Unlike statistical techniques, which have insufficient diagnostic accuracy to select the next best test, we use an approximate, Bayesian reasoning approach which provides the required accuracy. Similar to approaches based on a test coverage matrix, the tests are selected from a fixed test set. Unlike multiple-fault, matrix-based approaches, however, our approximate, Baysian approach can handle large system sizes and test set sizes. Furthermore, unlike MBD approaches, no system information is required, other than component test coverage, which is typically known from test execution profiling.To achieve polynomial complexity SEQUOIA uses an approximate information gain computation approach. Synthetic data shows, that the dynamic selection of the next best test based on the observations made so far, allows SEQUOIA to achieve much better decay of diagnostic uncertainty compared to random test sequencing. Real programs, taken from the Siemens set, also show that SEQUOIA has better performance, except when the diagnosis involves ambiguity sets that are too large for the entropy estimation to handle. Future work, therefore, includes solving this problem by a better expansion technique, expanding the MHS in order of posterior probability (which is currently ignored in our prototype approach)." @default.
- W3148441330 created "2021-04-13" @default.
- W3148441330 creator A5030785658 @default.
- W3148441330 creator A5046072397 @default.
- W3148441330 creator A5076491434 @default.
- W3148441330 creator A5084609766 @default.
- W3148441330 date "2010-01-01" @default.
- W3148441330 modified "2023-10-18" @default.
- W3148441330 title "Spectrum-Based Sequential Diagnosis (Extended Abstract)" @default.
- W3148441330 doi "https://doi.org/10.36001/phmconf.2010.v2i1.1960" @default.
- W3148441330 hasPublicationYear "2010" @default.
- W3148441330 type Work @default.
- W3148441330 sameAs 3148441330 @default.
- W3148441330 citedByCount "0" @default.
- W3148441330 crossrefType "journal-article" @default.
- W3148441330 hasAuthorship W3148441330A5030785658 @default.
- W3148441330 hasAuthorship W3148441330A5046072397 @default.
- W3148441330 hasAuthorship W3148441330A5076491434 @default.
- W3148441330 hasAuthorship W3148441330A5084609766 @default.
- W3148441330 hasConcept C112789634 @default.
- W3148441330 hasConcept C11413529 @default.
- W3148441330 hasConcept C119857082 @default.
- W3148441330 hasConcept C120665830 @default.
- W3148441330 hasConcept C121332964 @default.
- W3148441330 hasConcept C124101348 @default.
- W3148441330 hasConcept C127313418 @default.
- W3148441330 hasConcept C127413603 @default.
- W3148441330 hasConcept C128942645 @default.
- W3148441330 hasConcept C134306372 @default.
- W3148441330 hasConcept C142724271 @default.
- W3148441330 hasConcept C152877465 @default.
- W3148441330 hasConcept C154945302 @default.
- W3148441330 hasConcept C165205528 @default.
- W3148441330 hasConcept C175551986 @default.
- W3148441330 hasConcept C176217482 @default.
- W3148441330 hasConcept C192209626 @default.
- W3148441330 hasConcept C199360897 @default.
- W3148441330 hasConcept C21547014 @default.
- W3148441330 hasConcept C2777904410 @default.
- W3148441330 hasConcept C2778112365 @default.
- W3148441330 hasConcept C33923547 @default.
- W3148441330 hasConcept C36503486 @default.
- W3148441330 hasConcept C41008148 @default.
- W3148441330 hasConcept C534262118 @default.
- W3148441330 hasConcept C54355233 @default.
- W3148441330 hasConcept C64869954 @default.
- W3148441330 hasConcept C71924100 @default.
- W3148441330 hasConcept C86803240 @default.
- W3148441330 hasConcept C98045186 @default.
- W3148441330 hasConceptScore W3148441330C112789634 @default.
- W3148441330 hasConceptScore W3148441330C11413529 @default.
- W3148441330 hasConceptScore W3148441330C119857082 @default.
- W3148441330 hasConceptScore W3148441330C120665830 @default.
- W3148441330 hasConceptScore W3148441330C121332964 @default.
- W3148441330 hasConceptScore W3148441330C124101348 @default.
- W3148441330 hasConceptScore W3148441330C127313418 @default.
- W3148441330 hasConceptScore W3148441330C127413603 @default.
- W3148441330 hasConceptScore W3148441330C128942645 @default.
- W3148441330 hasConceptScore W3148441330C134306372 @default.
- W3148441330 hasConceptScore W3148441330C142724271 @default.
- W3148441330 hasConceptScore W3148441330C152877465 @default.
- W3148441330 hasConceptScore W3148441330C154945302 @default.
- W3148441330 hasConceptScore W3148441330C165205528 @default.
- W3148441330 hasConceptScore W3148441330C175551986 @default.
- W3148441330 hasConceptScore W3148441330C176217482 @default.
- W3148441330 hasConceptScore W3148441330C192209626 @default.
- W3148441330 hasConceptScore W3148441330C199360897 @default.
- W3148441330 hasConceptScore W3148441330C21547014 @default.
- W3148441330 hasConceptScore W3148441330C2777904410 @default.
- W3148441330 hasConceptScore W3148441330C2778112365 @default.
- W3148441330 hasConceptScore W3148441330C33923547 @default.
- W3148441330 hasConceptScore W3148441330C36503486 @default.
- W3148441330 hasConceptScore W3148441330C41008148 @default.
- W3148441330 hasConceptScore W3148441330C534262118 @default.
- W3148441330 hasConceptScore W3148441330C54355233 @default.
- W3148441330 hasConceptScore W3148441330C64869954 @default.
- W3148441330 hasConceptScore W3148441330C71924100 @default.
- W3148441330 hasConceptScore W3148441330C86803240 @default.
- W3148441330 hasConceptScore W3148441330C98045186 @default.
- W3148441330 hasIssue "2" @default.
- W3148441330 hasLocation W31484413301 @default.
- W3148441330 hasOpenAccess W3148441330 @default.
- W3148441330 hasPrimaryLocation W31484413301 @default.
- W3148441330 hasRelatedWork W1545663178 @default.
- W3148441330 hasRelatedWork W1638778035 @default.
- W3148441330 hasRelatedWork W1780272748 @default.
- W3148441330 hasRelatedWork W2000809552 @default.
- W3148441330 hasRelatedWork W2277386071 @default.
- W3148441330 hasRelatedWork W2287995101 @default.
- W3148441330 hasRelatedWork W2339759172 @default.
- W3148441330 hasRelatedWork W2618438111 @default.
- W3148441330 hasRelatedWork W2883888280 @default.
- W3148441330 hasRelatedWork W2929306064 @default.
- W3148441330 hasRelatedWork W2939002775 @default.
- W3148441330 hasRelatedWork W2997392102 @default.
- W3148441330 hasRelatedWork W3003830418 @default.
- W3148441330 hasRelatedWork W3006997018 @default.
- W3148441330 hasRelatedWork W3017024133 @default.
- W3148441330 hasRelatedWork W3018551566 @default.
- W3148441330 hasRelatedWork W3034151283 @default.