Computer Science Stack Exchange
Computer Science Stack Exchange

Questions tagged [software-testing]

45 questions
21
votes
1 answer

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. Modern testing frameworks can generate inputs…
Raphael
  • 73,212
  • 30
  • 182
  • 400
10
votes
3 answers

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 a testing tool that can test 3 items at the same…
wookie919
  • 343
  • 3
  • 10
5
votes
1 answer

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 circuit's inputs where only 1 input toggles, but…
user6725995
  • 53
  • 3
5
votes
1 answer

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 each path must start at $s$. The cost of a…
D.W.
  • 167,959
  • 22
  • 232
  • 500
5
votes
4 answers

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 found. Windows code is so complex, I don't have…
math boy
  • 394
  • 1
  • 13
4
votes
0 answers

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 best values of QoS (availability, latency, cost…
Dmitrii Dushkin
  • 141
  • 2
3
votes
1 answer

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. function somethingWithXSSVulnerability(x) { var regex = /(.*)<\/script>/ if…
Lance Pollard
  • 2,323
  • 1
  • 19
  • 34
3
votes
1 answer

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 generation methods based on a control flow graph…
Nitu08
  • 31
  • 4
3
votes
3 answers

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 subset of the modules enabled/disabled, so I can…
mappu
  • 31
  • 4
3
votes
1 answer

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 above example, while doing decomposition, I can say its D2 (D1) i.e while and then…
Polynomial Proton
  • 433
  • 1
  • 6
  • 14
3
votes
2 answers

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 even longer. I am worried that there might be…
Erel Segal-Halevi
  • 6,088
  • 1
  • 25
  • 60
2
votes
2 answers

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 device will make the battery connected to it (one battery can be connected at a time)…
Amir-Mousavi
  • 268
  • 2
  • 13
2
votes
1 answer

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 tell how to develop proper test cases for such data…
user8469759
  • 723
  • 3
  • 19
2
votes
2 answers

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 brief discussion followed by some questions. In some…
Lance Pollard
  • 2,323
  • 1
  • 19
  • 34
2
votes
1 answer

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 online so I just got down to writing it. Using…
parssignum
  • 21
  • 1
1
2 3