# Questions tagged [testing]

The tag has no usage guidance.

19 questions
Filter by
Sorted by
Tagged with
10 views

### How to form Equivalence classes for Equivalence class testing for the following

are just the equivalence classes which include the age ranges mentioned in the picture with the invalid ranges that is age<16 and age>100 good enough or does anything else go into consideration ...
6 views

### Miner violation in Securify Tool: Transaction Ordering Vulnerability Detection

For the following paper, I can’t understand the text written below: Securify Research Paper Our violation pattern checks that the amount of the call instruction is determined by a value read from the ...
27 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 ...
48 views

### Transition Tour Testing

Could someone explain me or give me an example how the Transition Tour Testing Method works for a finite state Machine? I know that that the tour is just the expected outputs from the initial state ...
23 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 ...
18 views

### How n-queens problem can see in VLSI testing?

I am doing project with n-queens problem.I have found n-queens can be used in VLSI testing.How it can be applied in VLSI testing?
17 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 ...
70 views

### Verify Matrix multiplication

Let s say we have an algorithm that takes as input 3 matrix A,B and C $$Input :A,B,C \in Mat(n\times n)$$ $$Question :\text{is } A*B=C$$ the algorith works as follow ;  \text{if }(A*B)_{ij}=C_{...
389 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 ...
40 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 ...
32 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: ...
20 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: ...
52 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 ...
73 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-...
79 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 ...
201 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 ...
153 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 ...