Questions tagged [testing]

The tag has no usage guidance.

7 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
1
vote
0answers
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 ...
1
vote
1answer
77 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 ; $$ \...
1
vote
0answers
33 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: ...
0
votes
0answers
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 ...
0
votes
0answers
50 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 ...
0
votes
0answers
20 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?
0
votes
0answers
74 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-...