Architecture-guided test resource allocation via logic

DOI10.1007/978-3-030-79379-1_2MaRDI QIDQ2117254zbMATH OpenOpenAlexFDO

Authors Clovis Eberhart, Akihisa Yamada, Stefan Klikovits, Shin-ya Katsumata, Tsutomu Kobayashi, Ichiro Hasuo, Fuyuki Ishikawa

Publication date 21 March 2022

Full work available at URL https://arxiv.org/abs/2107.10948

zbMATH Keywords

logicreliabilitytest resources allocation

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical problems of computer architecture (68M07) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Abstract: We introduce a new logic named Quantitative Confidence Logic (QCL) that quantifies the level of confidence one has in the conclusion of a proof. By translating a fault tree representing a system's architecture to a proof, we show how to use QCL to give a solution to the test resource allocation problem that takes the given architecture into account. We implemented a tool called Astrahl and compared our results to other testing resource allocation strategies.

Recommendations

• Optimizing testing-resource allocation using architecture-based software reliability model
• Resource allocation during tests for optimally reliable software
• Optimal allocation of test case considering testing-resource in partition testing
• On allocation of resources during testing phase of a modular software
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic

Cites work

• An introduction to many-valued and fuzzy logic. Semantics, algebras, and derivation systems
• scientific article; zbMATH DE number 3914081 (Why is no real title available?)
• scientific article; zbMATH DE number 4048925 (Why is no real title available?)
• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Time-Dependent Error-Detection Rate Model for Software Reliability and Other Performance Measures
• Upper and Lower Probabilities Induced by a Multivalued Mapping

Cited in

(3)

• Astrahl
• Test Strategies for Reliable Runtime Reconfigurable Architectures
• Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs

This page was built for publication: Architecture-guided test resource allocation via logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117254)