Computer Science Stack Exchange
Computer Science Stack Exchange

Questions tagged [testing]

19 questions
3
votes
2 answers

How do I measure the reliability of a confidence value in a predictive algorithm?

Supposing I have some algorithm that is able to provide me with a confidence value for some event occurring. Let's say on day 1 it tells me that there is a 80% chance it will rain, on day 2 it tells me there is a 20% chance that the mail will be…
quant
  • 253
  • 1
  • 7
2
votes
2 answers

optimal testing strategy

Here I have a problem in understanding the optimal testing strategy. In a scenario, You have been given two laptop batteries and a testing device. The testing device will make the battery connected to it (one battery can be connected at a time)…
Amir-Mousavi
  • 268
  • 2
  • 13
2
votes
1 answer

How to test if my implementation of tree/graph data structures are correct?

I've recently implemented RB tree, B-Tree and vEB tree. I was wondering however if there's any rule of thumb for testing if my implementation are actually correct. Is there any reference that can tell how to develop proper test cases for such data…
user8469759
  • 723
  • 3
  • 19
2
votes
1 answer

What is the fastest way to bytewise examine the contetnt of quadword

I have the following byte: 0x0A and I need to test if a quadword contains it or no using standard bitwise operarion (or, nor, xor). For instance: 0x1689FFBB768922AC ---> false 0x106489320A792399 ---> true Unfortunately I cannot use intel SSE2…
St.Antario
  • 219
  • 2
  • 6
2
votes
0 answers

Memory testing algorithms?

What am I doing? I have been digging more and more and googling more than often finding very small amount of results I am trying to make a RAM testing program that can do memory testing with the ability to detect most RAM problems, I am making this…
OverCoder
  • 149
  • 1
  • 7
2
votes
1 answer

Question on the paper ``Self-Testing/Correcting for Polynomials and for Approximate Functions''

I am having some trouble really getting to a precise understanding of some of Self-Testing/Correcting for Polynomials and for Approximate Functions and would greatly appreciate help. Here is my understanding of section 3, Self-Testing…
Olivier Bégassat
  • 143
  • 4
1
vote
2 answers

Matrix multiplication randomised verification - error probability

Let s say we have an algorithm that takes as input 3 matrix A,B and C $$ \text{Input} :A,B,C \in Mat(n\times n)$$ $$\text{Question} :\text{is } A\cdot B=C$$ the algorith works as follow ; $$ \text{if }(A\cdot B)_{ij}=C_{ij} \Rightarrow A\cdot…
Mohbenay
  • 319
  • 2
  • 10
1
vote
0 answers

How Model Checking works with User Interaction

In order to understand how to apply Model Checking, I am wondering how to apply it to a pseudo-realistic async program. Say I have the following pseudocode: var array = [] window.onclick = a function a() { setTimeout(b, 10) } function b() { …
Lance Pollard
  • 2,323
  • 1
  • 19
  • 34
1
vote
0 answers

What did Dijkstra think about Monte Carlo algorithms?

In A Discipline of Programming, Dijkstra wrote: Two circumstances have changed the scene since then.* The one is the insight that, even in the case of fully deterministic machines, program testing is hardly helpful. As I have now said many times…
Geremia
  • 224
  • 1
  • 10
1
vote
0 answers

Universal algorithm testing framework

Currently I'm working on my thesis. I'm writing about subgraph isomorphism problem and various algorithms, solving this problem. One of my task is to integrate that problem in a testing framework, developed by my mentor. It's some kind of universal…
peterremec
  • 111
  • 2
1
vote
0 answers

Mapping a grammar to a graph - Relation of Terminal Symbol and Node Coverage in Software Testing

I am currently trying map a grammar to a graph in the context of syntax- and graph-based testing. However, until now I haven't had an enlightenment how would I map non-terminals and terminals to nodes and edges in relation to the following…
Daraan
  • 111
  • 3
1
vote
1 answer

Is there a term to describe saving the input and output of a function for regression testing?

Often in testing, if we have a function, for example: def add_one(x): return x + 1 we'd want to prevent regressions by saving a set of input/output pairs and asserting the output remains the same for the given input (e.g. [(1, 2), (100,101),…
Travis
  • 121
  • 2
1
vote
0 answers

Asking for references on errors, testing, system failures etc

I am looking for references that talk about the following subject: Software programs are in general complex systems. That is, if we decompose them into components and we make sure that each component is working correctly then we stil can have a lot…
user135507
  • 11
  • 2
1
vote
0 answers

Testing for a symmetric property $P$

We'll say $P$ is a symmetric property if $\forall x\in \{0,1\}^n:x\in P\iff \forall \pi \in S(n): f_{\pi }(x)\in P$ where $\forall i\in [n]:f_\pi (x)_i=x_{\pi(i)}$. Given a symmetric property $P$ we want to find an algorithm which tests $P$, meaning…
Saar
  • 11
  • 1
0
votes
1 answer

Test a bit substring function

How do we test the following function? bits(bitstring, i, j) which returns a copy of the substring from i to j of some bitstring. Consider the fixed 32-bit value: bitstring=0x12345678 We could manually pre-determine the correct return values for…
Marin
  • 3
  • 2
1
2