When Can Finite Testing Ensure Infinite Trustworthiness?

Authors

  • Nozer D‎. Singpurwalla
  • Philip Wilson
Abstract:

In this paper we contribute to the general philosophical‎ ‎question as to whether empirical testing can ever prove a physical law.‎ ‎Problems that lead to this question arise under several contexts‎, ‎and the ‎matter has been addressed by the likes of Bayes and Laplace‎. ‎After pointing‎ ‎out that a Bayesian approach is the proper way to address this problem‎, ‎we‎ ‎show that the answer depends on what we start with‎. ‎Namely‎, ‎under certain‎ ‎prior assumptions‎, ‎a finite amount of testing can lead to the conclusion of‎ ‎total trustworthiness‎, ‎though such priors could be unrealistic‎. ‎However‎, ‎we ‎do produce a new class of priors under which a finite amount of testing can‎ ‎lead to a high degree of trustworthiness‎, ‎at a relatively fast pace‎. ‎We use ‎the scenario of software testing as a way to motivate and discuss our‎ ‎development.

Upgrade to premium to download articles

Sign up to access the full text

Already have an account?login

similar resources

Can Observers Predict Trustworthiness?∗

We analyze experimental evidence on whether untrained subjects can predict how trustworthy an individual is. Two players on a TV show play a high stakes prisoner’s dilemma with pre-play communication. Our subjects report probabilistic beliefs that each player cooperates, before and after communication. Subjects correctly predict that women, and players who voluntarily promise that they will coo...

full text

Supplement to " Testing Whether Jumps Have Finite or Infinite Activity

When  ≥ 2 these processes are finite-valued, but not necessarily so when   2. In this case we have to be careful: if  = inf( : () =∞) and 0 = inf( :  0() = ∞) then both processes () and  0() are null at 0 and finite-valued on [0 ) and [0 0) respectively, the first continuous and the second one càdlàg with jumps not bigger than 1, and they are infinite on (∞) and (0∞). H...

full text

Testing Whether Jumps Have Finite or Infinite Activity

We propose statistical tests to discriminate between the finite and infinite activity of jumps in a semimartingale discretely observed at high frequency. The two statistics allow for a symmetric treatment of the problem: we can either take the null hypothesis to be finite activity, or infinite activity. When implemented on high-frequency stock returns, both tests point toward the presence of in...

full text

On what we can ensure

The Conjunction Principle says, roughly, that if the truth of a conjunction can be brought about, then the truth of each conjunct can be brought about. The current essay argues that this principle is not valid. After a clarification of the principle, it is shown how a proper understanding of the involved notions falsify the principle. As a corollary, a recent attack on van Inwagen’s Consequence...

full text

Heuristics for fault diagnosis when testing from finite state machines

When testing from Finite State Machines (FSMs), a failure observed in the Implementation Under Test (IUT) is called a symptom. A symptom could have been caused by an earlier state transfer failure. Transitions that may be used to explain the observed symptoms are called diagnosing candidates. Finding strategies to generate an optimal set of diagnosing candidates that could effectively identify ...

full text

My Resources

Save resource for easier access later

Save to my library Already added to my library

{@ msg_add @}


Journal title

volume 3  issue None

pages  1- 37

publication date 2004-03

By following a journal you will be notified via email when a new issue of this journal is published.

Keywords

Hosted on Doprax cloud platform doprax.com

copyright © 2015-2023