Questions tagged [software-testing]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
-1
votes
0answers
13 views

Java: Program Verification VS Empirical Testing

I wanted to ask a question on which of the following aside from the first option is true or false. I tried searching the web and couldn't come to a concrete answer and I only have the following ...
-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
7 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 ...
1
vote
2answers
46 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?
0
votes
1answer
26 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 ...
1
vote
0answers
26 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. ...
0
votes
0answers
18 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 ...
1
vote
1answer
385 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 ...
3
votes
1answer
41 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. ...
1
vote
2answers
164 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 ...
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
23 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
0answers
64 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 ...
0
votes
0answers
287 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 ...
1
vote
1answer
33 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 ...
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 ...
5
votes
1answer
80 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 ...
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 ...
1
vote
1answer
146 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 ...
0
votes
1answer
69 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 ...
3
votes
1answer
374 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 ...
2
votes
0answers
152 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 ...
5
votes
1answer
324 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 ...
3
votes
3answers
237 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 ...
2
votes
1answer
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
2answers
3k 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 ...
10
votes
3answers
255 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 ...
0
votes
1answer
772 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 ...
4
votes
0answers
102 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 ...
6
votes
0answers
409 views

Test cases for λ-Calculus

For testing automated theorem provers we have Seventy-Five Problems for Testing Automatic Theorem Provers by Pelletier. Are there any such standard/well regarded tests for a λ-calculus that verify ...
1
vote
1answer
150 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 ...
19
votes
1answer
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....