Questions tagged [software-testing]
The software-testing tag has no usage guidance.
42
questions
0
votes
0
answers
160
views
Real-life applications of pure Mealy machines
I'm currently studying formal methods in software engineering related to state machines, specifically Mealy machines. This made me wonder how relevant Mealy machines really are for practical ...
- 161
0
votes
0
answers
20
views
Are there any programs out there that test the accuracy of OCR software?
I am digitizing my old books and I was wondering if I needed to buy OCR software, or if the OCR software that came with my printer (Epson) would be sufficient. This made me wonder if there were any ...
- 101
1
vote
1
answer
40
views
Algorithm design: Model redundancy in tests
I've run across an interesting problem at work that I'm not quite sure how to grapple.
Broadly, there is a suite of of $n$ tests to ensure the quality of a product. However, the tests are both time-...
- 11
0
votes
1
answer
27
views
Are Unit Tests Required if you have a good End to End Test?
Are Unit Tests Required if you have a good End to End Test? If you find problems, couldn't you always just update the end to end test to make it more robust?
1
vote
1
answer
58
views
Are there invariants in text processing problems?
I have read that when programming it is good to identify relations -- invariants -- that should hold true throughout the program, and it is good to insert assertions throughout the code to check that ...
- 393
0
votes
0
answers
19
views
Need advice to run a unit test effectively on 14gb compressed data in dictionary form
I've got 14GB of compressed data for a class assignment. I need to run a unit test on modules I've created to make use of the uncompressed data, which will be an object of nested dictionaries with the ...
-1
votes
1
answer
49
views
computer science paper: Why t14 and t19 are unreachable and why t19 reachable?
I am reading the paper[1] at: https://arxiv.org/abs/1905.07147
The paper says in Overview section 3:
The figure shows a constructed function Bar, which is written in
Solidity and contained in a smart ...
- 251
1
vote
0
answers
14
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 ...
- 11
0
votes
0
answers
19
views
Testing correctness of feedforward neural network implementation
So I'm currently reading about neuroevolution (NEAT, WANN) and trying to make my own implementation just as an exercise. Now I want to test if my feedforward implementation gives the expected output. ...
- 123
0
votes
0
answers
36
views
On the probability of randomized testing covering all combinatorial testing interactions
I'm interested in how fuzz testing and something called combinatorial testing. Combinatorial testing attempts to forgo exhaustive testing in favor of trying to test all possible "interactions&...
- 3,790
1
vote
1
answer
22
views
Populating a vector of numbers to expose an error in a function implementation
So lets say I'm writing an algorithm that takes a vector as input. I want to know that I'm writing this algorithm correctly however so I of course write tests to see if the output equals what I expect ...
- 3,790
0
votes
0
answers
22
views
Fault localisation using model checking
In many papers like Empirical Evaluation of the Tarantula Automatic Fault-Localization Technique there is a good explanation about how tarantula algorithm can be used with test suits. Is there any ...
- 101
0
votes
1
answer
10
views
Problem with understanding the Mathematical Equations related to Testing Tool
I have downloaded the slides from the site:
[Compliance and Violation Patterns
It says No writes after calls. I can understand this concept. It’s a remedy for reentrancy problem. But it shows ...
- 251
1
vote
2
answers
55
views
Can you have simple unit tests for complicated function? [closed]
Can you have simple unit tests for complicated function?
For example: Turing test for AI.
Do you always can find simple unit tests for any complicated enough function / algorithm?
- 299
0
votes
1
answer
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
2
votes
0
answers
89
views
How realistic of a concern is data corruption?
Similar to this question, but I wanted to be more specific to my real-world situation.
I am a college software engineer currently working on a project that involves a large number of read cycles. ...
- 121
0
votes
0
answers
68
views
How to validate usability of software frameworks
My thesis will produce a software framework that can be used by programmers to solve problems in a paticular domain.
One of the case studies I want to do to verify the contribution I'm making is to ...
2
votes
2
answers
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
2
votes
1
answer
271
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 ...
- 703
3
votes
1
answer
54
views
How a Symbolic Evaluator Generates Test Input for this Example
Say we have some complicated function that determines if a string matches an XSS attack string, and throws an error or does something else in that case.
...
- 2,163
1
vote
2
answers
342
views
What to prove and how to prove it
In learning about proof theory, I am interested to know how to go about "proving properties of a program". I don't exactly see yet what needs to be proven, nor how to prove it, which leads to this ...
- 2,163
0
votes
1
answer
88
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 ...
- 3
0
votes
0
answers
43
views
Understanding the notation and concept behind March Tests
Some background on my question:
I have done some research into March Tests that are essentially access patterns for DRAM.
One example of these march tests in the MATS+ algorithm shown below with (I ...
0
votes
0
answers
72
views
A/B testing for Canary releases
I am a statistician by training, so am not too familiar with the computer science literature. One of the engineers at the firm I work at told me about problems with A/B testing in Canary releases.
I ...
- 101
1
vote
1
answer
569
views
Pseudocode for constructing control flow graph
I'm trying to build a complexity analysis tool and I need an algorithm for constructing the control flow graph (to get cyclomatic and eventually essential complexity). I couldn't find any pseudocode ...
- 11
1
vote
1
answer
57
views
What is the theory behind testing fixes for intermittent bugs?
I ask this question because I deal with alot of intermittent bugs and want to be able to answer the question "Can I be at least 95% sure that my changes to the code fix the bug?". I've got some ideas ...
- 131
0
votes
2
answers
156
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 ...
- 355
5
votes
1
answer
166
views
Finding minimal and complete test sets for circuits
I have been playing around with analysis of circuits and am trying to generate test vectors. In order to exercise the circuit in the manner I require, I need a vector that includes every change in the ...
- 53
1
vote
0
answers
284
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 ...
- 142
1
vote
1
answer
236
views
Validate that a threaded binary tree works as intended
I am attempting to validate that my threaded binary tree’s insertion and deletion works as intended.
Would it be safe to assume that the following procedure would have tested all corner cases at ...
- 13
0
votes
1
answer
82
views
Test cases for graph embeddability problem
Suppose that I have a polynomial-time algorithm to solve the graph embeddability problem.
$k$-embeddability problem :
Given an edge-weighted and undirected graph $G = (V,E)$, can we assign ...
- 1,425
3
votes
1
answer
463
views
How to Generate Control flow graph from a Petri net model?
My research is mainly focused on generating test sequences automatically using Colored Petri net.CFG provides techniques for generating test sequences. But some papers says that, test sequence ...
- 31
2
votes
0
answers
296
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
5
votes
1
answer
480
views
Transition coverage for a DFA
Let $G$ be a directed graph, with a single source node $s$. I want to find a collection of paths that cover every edge of $G$ (i.e., every edge of $G$ appears in at least one of these paths), where ...
D.W.♦
- 156k
3
votes
3
answers
429
views
Minimum number of tests to identify subset of modules that trigger a bug?
I have an ordered set of $M$ software modules compiled together. The interaction of some $N$-tuple of these modules is causing a bug when the program is run.
I can run the program with any desired ...
- 31
3
votes
1
answer
4k
views
Control flow graphs - Tree decomposition
Considering above terminologies for drawing control flow graphs for any program, it is very simple. For example :
While A
if B
do ..
else do ..
end while
For ...
3
votes
2
answers
4k
views
How can I debug my pseudocode algorithm?
The algorithms for the problem I am working on become more and more complex as I try to improve their performance. They already span several pages with cases and sub-cases, and will probably become ...
- 5,730
10
votes
3
answers
289
views
When testing n items, how to cover all t-subsets by as few s-subsets as possible?
This problem arose from software testing. The problem is a bit difficult to explain. I will first give an example, then try to generalize the problem.
There are 10 items to be tested, say A to J, and ...
- 343
1
vote
1
answer
1k
views
In control flow graphs, what is the difference between a path and a branch?
I'm studying for an exam on software testing and in my notes I found this:
Many more paths than branches. A pragmatic compromise will be needed
I cannot ...
- 113
4
votes
0
answers
103
views
Is there difference between workflow-aware and non-workflow-aware optimal selection of web-service composition?
Small introduction. We have a task that consists of sub-tasks. Each sub-task can be implemented by some set of web-services. We want to find the best implementation of this task. "Best" means it has ...
- 141
1
vote
1
answer
161
views
Phrase generators for use with testing grammars that don't use a seed
In helping someone understand phrase generators for use with testing grammars, think compiler test cases, I noted that I have never found a phrase generator that is knowledgeable of the grammar, and ...
- 5,091
21
votes
1
answer
1k
views
Generating inputs for random-testing graph algorithms?
When testing algorithms, a common approach is random testing: generate a significant number of inputs according to some distribution (usually uniform), run the algorithm on them and verify correctness....
- 72k