# Questions tagged [testing]

The tag has no usage guidance.

19 questions
Filter by
Sorted by
Tagged with
1 vote
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 ...
• 111
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 ...
1 vote
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 ...
• 111
1 vote
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 ...
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 ...
• 101
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 ...
1 vote
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 ...
• 11
1 vote
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 ;  \...
• 319
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 ...
• 268
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 ...
• 713
1 vote
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: ...
• 2,263
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: ...
• 219
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 ...
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-...
• 101
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 ...
1 vote
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 ...
• 154
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 ...
• 149
1 vote
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, ...
• 111