ISSN:0960-0833    

DOI:10.1002/stvr.4370020202

出版商:John Wiley&Sons, Ltd    

年代:1992

数据来源: WILEY

摘要:

AbstractMost testing methods generate test descriptions which define the desired characteristics of the input data in a test case. This paper describes the use of accumulated knowledge about a problem domain to refine these test descriptions, with the goal of increasing the probability that the input data generated from the refined test descriptions will reveal faults in a software system. A knowledge base is introduced to hold information about object semantics and object class/subclass relationships. Knowledge accumulates with experience in a particular domain and can be focused on those objects and relationships in that domain which experience has shown to be error‐prone. This paper also defines a knowledge‐driven functional testing (KDFT) method which derives test descriptions from a formal specification and refines these descriptions using that knowledge base. A case study of the KDFT method using data from a previous study of the launch intercept control problem is described. These preliminary results indicate that knowledge‐based refinement of test descriptions can dramatically improve their ability to detect certain classes of f

ISSN:0960-0833    

DOI:10.1002/stvr.4370020203

出版商:John Wiley&Sons, Ltd    

年代:1992

数据来源: WILEY

摘要:

AbstractThe term ‘inductive inference’ denotes the process of hypothesizing a general rule from examples. It can be considered as the inverse process of program testing, which is a process of sampling the behaviour of a program and gathering confidence in the quality of the software from the samples. As one of the fundamental and ubiquitous components of intelligent behaviour, much effort has been spent on both the theory and practice of inductive inference as a branch of artificial intelligence. In this paper, software testing and inductive inference are reviewed to illustrate how the rich and solid theory of inductive inference can be used to study the foundations of software test

ISSN:0960-0833    

DOI:10.1002/stvr.4370020204

出版商:John Wiley&Sons, Ltd    

年代:1992

数据来源: WILEY

摘要:

AbstractThe testing of modular software systems can be divided into a module testing phase and an integration testing phase. While module testing checks the modules separately, integration testing examines the use of interfaces in a modular system. Integration testing allows errors to be found which cannot be found by module testing. The aim of this paper is to propose a new approach to integration testing. The main principle is to transfer and adapt module testing methods to the level of integration testing. The approach is described for control flow and data flow oriented testing methods. To decrease the testing effort and increase the probability of finding errors, integration testing can be limited to statically detectable anomalous applications of interfaces. This is accomplished by the combination of static analysis with dynamic execution and by the possibility of using information already provided by the module tests. To find further test data to execute interfaces, symbolic execution is applied. One great advantage here is to prove whether statically determined interface anomalies can be dynamically executed and can therefore occur at all.

ISSN:0960-0833    

DOI:10.1002/stvr.4370020205

出版商:John Wiley&Sons, Ltd    

年代:1992

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370020207

出版商:John Wiley&Sons, Ltd    

年代:1992

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370020208

出版商:John Wiley&Sons, Ltd    

年代:1992

数据来源: WILEY

ISSN:0960-0833    

DOI:10.1002/stvr.4370020201

出版商:John Wiley&Sons, Ltd    

年代:1992

数据来源: WILEY