Questions tagged [software-testing]
The software-testing tag has no summary.
45 questions
0
votes
0
answers
40
views
what is the onpoint, offpoint, inpoint and outpoint?
consider :
Units>200
(units greater than 200)
Now what is the onpoint, offpoint, inpoint and outpoint? This is related to Domain Analysis Testing using Binders technique in software testing
can ...
- 1
1
vote
0
answers
52
views
How to characterize software on hardware without having to run it?
To provide context, we are trying to characterize software in order to identify similarities between them and create clusters of similar software. When you can execute the software, the problem ...
5
votes
4
answers
2k
views
What's role of software verification in modern software engineering
There are standard courses in computer science faculties that teach software verification, yet modern software products (Operating Systems especially) require periodic updates and bugs are constantly ...
- 394
1
vote
0
answers
42
views
Mapping a grammar to a graph - Relation of Terminal Symbol and Node Coverage in Software Testing
I am currently trying map a grammar to a graph in the context of syntax- and graph-based testing.
However, until now I haven't had an enlightenment how would I map non-terminals and terminals to nodes ...
- 111
0
votes
0
answers
523
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 ...
- 181
1
vote
1
answer
124
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
71
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
91
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 ...
- 405
0
votes
0
answers
37
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
85
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 ...
- 271
1
vote
0
answers
37
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
44
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
68
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,810
1
vote
1
answer
75
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,810
0
votes
0
answers
47
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