Skip to main content

Questions tagged [testing]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
25 views

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 ...
Daraan's user avatar
  • 111
0 votes
2 answers
82 views

Should one test tests?

I study computer science and I was taught that sometimes one can test tests. The lecturer did not used citations. One other programmer told that this is not useful. Is there any research showing pros ...
Guest's user avatar
  • 3
1 vote
1 answer
35 views

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 ...
Travis's user avatar
  • 111
1 vote
0 answers
15 views

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 ...
user135507's user avatar
0 votes
1 answer
39 views

How to test implementation details when there are multiple ways of implementing the algorithm, without reading the code?

I want to make sure that the code that the written code is precisely doing what it is expected to do. For example, if I want to search in an array particularly using linear search, I don't want ...
user3903448's user avatar
2 votes
1 answer
49 views

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 ...
Olivier Bégassat's user avatar
1 vote
0 answers
28 views

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 ...
Saar's user avatar
  • 11
1 vote
2 answers
169 views

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 ; $$ \...
Mohbenay's user avatar
  • 319
2 votes
2 answers
2k views

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 ...
Amir-Mousavi's user avatar
2 votes
1 answer
301 views

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 ...
user8469759's user avatar
1 vote
0 answers
40 views

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: ...
Lance's user avatar
  • 2,263
2 votes
1 answer
32 views

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: ...
St.Antario's user avatar
0 votes
1 answer
93 views

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 ...
Marin's user avatar
  • 3
0 votes
0 answers
184 views

Generating a Covering Array Matrix with Simulated Annealing

I've been reading the following paper to understand how I can develop a non deterministic algorithm for test cases generation https://www.researchgate.net/publication/293043297_A_two-...
s0ren1's user avatar
  • 101
0 votes
2 answers
160 views

How to choose the right input(s) to test my algorithm?

Suppose i want to trace an algorithm (think of it as a flowchart) to understand how it works, i need an input(s) for this algorithm, the question is: how can i determine the right input(s) that goes ...
Maykel Jakson's user avatar
1 vote
0 answers
301 views

What did Dijkstra think about Monte Carlo algorithms? [closed]

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 ...
Geremia's user avatar
  • 154
2 votes
0 answers
322 views

Memory testing algorithms? [closed]

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 ...
OverCoder's user avatar
  • 149
1 vote
0 answers
103 views

Universal algorithm testing framework [closed]

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, ...
peterremec's user avatar
3 votes
2 answers
935 views

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 ...
quant's user avatar
  • 253