DeepAI
Log In Sign Up

Architecture-Guided Test Resource Allocation Via Logic

07/22/2021
by   Clovis Eberhart, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

04/12/2016

Resource Allocation with Population Dynamics

Many analyses of resource-allocation problems employ simplistic models o...
10/23/2021

Knowledge Transfer based Radio and Computation Resource Allocation for 5G RAN Slicing

To implement network slicing in 5G, resource allocation is a key functio...
09/15/2021

Signaling Design for Cooperative Resource Allocation and its Impact to Reliability

Decentralized cooperative resource allocation schemes for robotic swarms...
01/20/2020

MOEA/D with Random Partial Update Strategy

Recent studies on resource allocation suggest that some subproblems are ...
07/01/2010

Uncertainty of visual measurement and efficient allocation of sensory resources

We review the reasoning underlying two approaches to combination of sens...
08/19/2022

Resource Allocation in Serverless Query Processing

Data lakes hold a growing amount of cold data that is infrequently acces...