Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [testing]

The tag has no usage guidance.

0
votes
0answers
12 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
49 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
136 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
30 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
31 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
54 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
72 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
172 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
133 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
61 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
643 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 ...