A survey of software functional testing methods

Authors:
A. A. Omar;F. A. Mohammed
Affiliations:
Atomic Energy Organization, Cairo, Egypt;Atomic Energy Organization, Cairo, Egypt
Venue:
ACM SIGSOFT Software Engineering Notes
Year:
1991

Citing 15
Cited 0

A functional approach to program testing and analysis

IEEE Transactions on Software Engineering
Specification directed module testing

IEEE Transactions on Software Engineering
Functional program testing and analysis

Functional program testing and analysis
Some Theory Concerning Certification of Mathematical Subroutines by Black Box Testing

IEEE Transactions on Software Engineering
Statecharts: A visual formalism for complex systems

Science of Computer Programming
A comparison of techniques for the specification of external system behavior

Communications of the ACM
The category-partition method for specifying and generating fuctional tests

Communications of the ACM
Testing the Completeness of Specifications

IEEE Transactions on Software Engineering
Structural testing of programs

ACM SIGSOFT Software Engineering Notes
An Approach to Program Testing

ACM Computing Surveys (CSUR)
Petri Nets

ACM Computing Surveys (CSUR)
Validation of Scientific Programs

ACM Computing Surveys (CSUR)
Decision Trees and Diagrams

ACM Computing Surveys (CSUR)
Data Abstraction, Implementation, Specification, and Testing

ACM Transactions on Programming Languages and Systems (TOPLAS)
Art of Software Testing

Art of Software Testing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Functional testing is used to find disagreement between the specifications and the actual implementation of the software systems. The method of representing the specification can help to detect inconsistency and incompleteness in it. The various specification representation schemes are outlined in the paper. The basic technique of functional testing of software systems is the black box technique. This technique generates the test data using the information contained in the program's specification, independent of the implemented program's code. Black box testing cannot discover errors contained in the functions which are not mentioned explicitly in the specification. Therefore, a program dependent testing is necessary to discover this type of errors. The paper surveys the different methods of generating test data for both techniques; the black box and the program dependent techniques.