Boundary Value Exploration for Software Analysis

  title={Boundary Value Exploration for Software Analysis},
  author={Felix Dobslaw and Francisco Gomes de Oliveira Neto and Robert Feldt},
  journal={2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)},
  • Felix Dobslaw, F. G. O. Neto, R. Feldt
  • Published 18 January 2020
  • Computer Science
  • 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
For software to be reliable and resilient, it is widely accepted that tests must be created and maintained alongside the software itself. One safeguard from vulnerabilities and failures in code is to ensure correct behavior on the boundaries between subdomains of the input space. So-called boundary value analysis (BVA) and boundary value testing (BVT) techniques aim to exercise those boundaries and increase test effectiveness. However, the concepts of BVA and BVT themselves are not generally… 

Figures and Tables from this paper

Automated Support for Unit Test Generation: A Tutorial Book Chapter
This chapter introduces two algorithms that can generate pytest-formatted unit tests, tuned towards coverage of source code statements, and introduces the concept of search-based unit test generation.
Automated Black-Box Boundary Value Detection
An automated, black-box boundary value detection method to support software testers in systematic boundary value analysis with consistent results and results indicate that even with a simple and generic program derivative variant in combination with broad sampling over the input space, interesting boundary candidates can be identified.
Pengujian Aplikasi Reservasi Lapangan Futsal dengan Metode Black Box Testing Menggunakan Teknik Boundary Value Analysis
The results of testing the futsal field reservation application with the black box testing method with the Boundary Value Analysis technique are the quality of the software is in accordance with the function, and can be utilized properly by the user.


Towards Automated Boundary Value Testing with Program Derivatives and Search
This research note proposes a practical as well as theoretically interesting technique for automated boundary value (analysis and) testing by combining program derivatives with search, and discusses how program derivatives can be used as and within fitness functions.
Supporting Software Decision Meetings: Heatmaps for Visualising Test and Code Measurements
This case study shows how visualisation and correlation between software measurements can support improvement discussions and simple heat maps were found to be effective to visualize and monitor changes and identify recurring patterns in the development of a space-bourn, embedded control system.
Software evolution visualization techniques and methods - a systematic review
A systematic literature review on software evolution visualization (SEV) tools to explore the main target of SEV, analyze the classifications and taxonomies that are used to represent SEV tools, and find out what are the main sources of information used to visualize software's evolution.
Avoiding coincidental correctness in boundary value analysis
This article shows how boundary value analysis can be adapted in order to reduce the likelihood of coincidental correctness in cases of automated test data generation.
A systematic review of software architecture visualization techniques
Finding a Boundary between Valid and Invalid Regions of the Input Space
Differences of behaviour can be observed between different distances and different sets of mutation operators, but all show that the method is able to identify the boundary between the valid and invalid regions of the input space.
Visualizing Test Diversity to Support Test Optimisation
The key result is that test similarity maps, based on pair-wise diversity calculations, helped industrial practitioners identify issues with their test repositories and decide on actions to improve and it is concluded that the visualisation of diversity information can assist testers in their maintenance and optimisation activities.
Software visualization in software maintenance, reverse engineering, and re-engineering: a research survey
  • R. Koschke
  • Computer Science
    J. Softw. Maintenance Res. Pract.
  • 2003
The results of a survey on the perspectives of 82 researchers in software maintenance, reverse engineering, and re-engineering on software visualization help to ascertain the current role of software visualization in software engineering from the perspective of researchers in these domains and give hints on future research avenues.
A Domain Strategy for Computer Program Testing
This paper presents a testing strategy desiged to detect errors in the control flow of a computer program, and the conditions under which this strategy is reliable are given and characterized. The
An empirical analysis of equivalence partitioning, boundary value analysis and random testing
  • S. Reid
  • Mathematics
    Proceedings Fourth International Software Metrics Symposium
  • 1997
An experimental methodology that considers all possibleinput values that satisfy a test technique and all possible input values that would cause a module to fail to determine absolute values for the effectiveness for each test technique is introduced.