Questions tagged [testing]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
-1
votes
0answers
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 ...
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
1answer
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 ...
0
votes
0answers
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 ...
2
votes
1answer
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 ...
0
votes
0answers
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?
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 ...
0
votes
1answer
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_{...
1
vote
1answer
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 ...
1
vote
1answer
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 ...
1
vote
0answers
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: ...
1
vote
1answer
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: ...
0
votes
1answer
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 ...
0
votes
0answers
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-...
0
votes
2answers
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 ...
1
vote
0answers
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 ...
2
votes
0answers
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 ...
1
vote
0answers
63 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, ...
3
votes
2answers
740 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 ...