Black Box Testing: Techniques for Functional Testing of Software and Systems

Beizer, Boris; Wiley, J. C.

doi:10.1109/ms.1996.536464

Cited by 294 publications

(252 citation statements)

References 0 publications

Supporting

Mentioning

219

Contrasting

Unclassified

Order By: Relevance

“…Again-I do not go deeply into technical details of particular techniques, although I present here some concrete approaches. There are many books on particular test design techniques, like [10], [14], [15], [16], [17] or [18] to mention the most important ones. I rather focus on the ideas that underlie the concrete test techniques.…”

Section: What Is This Book About?mentioning

confidence: 99%

Thinking-Driven Testing

Roman¹

2018

View full text Add to dashboard Cite

Section: What Is This Book About?mentioning

confidence: 99%

Thinking-Driven Testing

Roman¹

2018

View full text Add to dashboard Cite

“…Manual testing is laborious and error-prone; therefore emphasis is to use automated testing that significantly reduces the cost of software development process and its maintenance [1]. Most of the modern black-box testing techniques execute the SUT with specific input and compare the obtained results against the test oracle.…”

Section: Introductionmentioning

confidence: 99%

Automated Discovery of Failure Domain

Ahmad¹,

Manuel²

2013

LNSE

View full text Add to dashboard Cite

Abstract-There are several automated random strategies of software testing based on the presence of point, block and strip failure domains inside the whole input domain. As yet no particular, fully automated test strategy has been developed for the discovery and evaluation of the failure domains. We therefore have developed Automated Discovery of Failure Domain (ADFD), a new random test strategy that finds the failures and their domains in a given system under test. It further provides visualization of the identified pass and fail domains. In this paper we describe ADFD strategy, its implementation in York Extensible Testing Infrastructure (YETI) and illustrate its working with the help of an example. We report on experiments in which we tested error-seeded one and two-dimensional numerical programs. Our experimental results show that for each program, ADFD strategy successfully performs identification of failures, failure domains and their representation on graphical chart.

show abstract

“…For example, black-box testing [2] regards the unknown procedures as black-boxes to test their functionality, which cannot formally prove the absence of program bugs, therefore may not be enough for safety-critical systems. Likewise, specification mining [1] discovers possible specifications for the (unknown part of the) program by observing its execution and traces, which is also dynamically performed and bears the same problem.…”

Section: Introductionmentioning

confidence: 99%

Verifying Heap-Manipulating Programs with Unknown Procedure Calls

Qin

Luo

et al. 2010

Formal Methods and Software Engineering

View full text Add to dashboard Cite

Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available. Those unknown calls also pose a challenge for their verification. This paper addresses this problem with an attempt to verify the full functional correctness of such programs using pointer-based data structures. Provided with a Hoare-style specification {Φpr} prog {Φpo} where program prog contains calls to some unknown procedure unknown, we infer a specification mspec u for unknown from the calling contexts, such that the problem of verifying prog can be safely reduced to the problem of proving that the procedure unknown (once its code is available) meets the derived specification mspec u . The expected specification mspec u for the unknown procedure unknown is automatically calculated using an abduction-based shape analysis specifically designed for a combined abstract domain. We have also done some experiments to validate the viability of our approach.

show abstract

Black Box Testing: Techniques for Functional Testing of Software and Systems

Cited by 294 publications

References 0 publications

Thinking-Driven Testing

Thinking-Driven Testing

Automated Discovery of Failure Domain

Verifying Heap-Manipulating Programs with Unknown Procedure Calls

Contact Info

Product

Resources

About