N. Zlatareva. Distributed Verification and Automated Generation of Test Cases. In IJCAI '93 workshop on Validation, Verification and Test of KBs Chambery, France, pages 67--77, 1993.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....by a PSM reflecting over the generated proofs. In our example above (Figures 11 12) these were the ENV sets. Each such ENV set would be an interesting test case. Automatic test suite generation is systems which support inconsistencies have been implement by Ginsberg [46, 47] and Zlatereva [126, 127]. The dependencies between 245 rules conclusions are computed and divided into mutually consistent subsets. The root dependencies of these subsets represent the space of all reasonable tests. If these root dependencies are not represented as inputs within a test suite, then the test suite is ....

N. Zlatareva. Distributed Verification and Automated Generation of Test Cases. In IJCAI '93 workshop on Validation, Verification and Test of KBs Chambery, France, pages 67--77, 1993.

....assumes that issues such as (e.g. the presence of loops, tautologies, redundancies, inconsistencies are secondary to the basic requirement that a model must be able to reproduce the known behaviour of the thing that it is modelling. For algorithms that critique these internal model features, see [23, 29, 30]. EA is closest in internal data structures to the CTMSvalidation procedure of [30] However, CTMS validation assumes that the model testing process can dictate to the environment what test data is to be supplied. Here, we explore domains where data collection is prohibitively expensive (e.g. ....

....are secondary to the basic requirement that a model must be able to reproduce the known behaviour of the thing that it is modelling. For algorithms that critique these internal model features, see [23, 29, 30] EA is closest in internal data structures to the CTMSvalidation procedure of [30]. However, CTMS validation assumes that the model testing process can dictate to the environment what test data is to be supplied. Here, we explore domains where data collection is prohibitively expensive (e.g. neuroendocrinology, ecology, and economics) and we must make do with whatever data is ....

[Article contains additional citation context not shown here]

Zlatareva, N. Distributed Verification and Automated Generation of Test Cases in IJCAI '93 workshop on Validation, Verification and Test of KBs. 1993. Chambery, France:

....literature. Interesting, the detected faults were found using the data published to support those theories [16] An interesting variant on our validation approach are the automatic test suite 355 generation procedures offered by the dependency network approaches of Ginsberg [7, 8] and Zlatereva [27, 28]. The dependencies between rules conclusions are computed and divided into mutually consistent subsets. The root dependencies of these subsets represent the space of all reasonable tests. If these root dependencies are not represented as inputs within a test suite, then the test suite 360 is ....

N. Zlatareva. Distributed Verification and Automated Generation of Test Cases. In IJCAI '93 workshop on Validation, Verification and Test of KBs Chambery, 490 France, pages 67--77, 1993.

....into the complexity of temporal validation. However, for the non temporal case, our approach is similar in spirit to the nonmonotonic KBS validation research. For example, automatic test suite generation procedures based on dependency network are offered by of Ginsberg [Gin87] and Zlatereva [Zla93]. The dependencies between rules conclusions are computed and divided into mutually consistent subsets. The root dependencies of these subsets represent the space of all reasonable tests. If these root dependencies are not represented as inputs within a test suite, then the test suite is ....

N. Zlatareva. Distributed verification and automated generation of test cases. In IJCAI '93 workshop on Validation, Verification and Test of KBs Chambery, France, pages 67--77, 1993. Some of the Menzies papers can be found at http:// www.cse.unsw.edu.au/ ¸timm/pub/

....subsumed logic (Suwa, Scott et al. 1982; Nguyen, Perkins et al. 1987; Preece and Shinghal 1992) More sophisticated systems import the rule base into a truth maintenance system (TMS) and compute the worlds that include each conclusion. Zlatareva uses a JTMS variant (Doyle 1979; Zlatareva 1992; Zlatareva 1993) while Ginsberg uses an ATMS (DeKleer 1986; Ginsberg 1987; Ginsberg 1990) For example, if no ATMS context includes a conclusion, then it can never be made. With their detailed knowledge of inter dependencies, these TMS style validation tools can also critique a test suite or propose new test ....

Zlatareva, N. (1993). Distributed Verification and Automated Generation of Test Cases. IJCAI '93 workshop on Validation, Verification and Test of KBs, Chambery, France.

....Automatic tools such as HT4 can be a useful intelligent assistant for checking hypothetical ideas. An interesting variant on our external semantic testing approach are the automatic test suite generation procedures offered by the dependencynetwork approaches of Ginsberg [24, 25] and Zlatereva [71, 72]. The dependencies between rules conclusions are computed and divided into mutually consistent subsets. The root dependencies of these subsets represent the space of all reasonable tests. If these root dependencies are not represented as inputs within a test suite, then the test suite is ....

N. Zlatareva. Distributed Verification and Automated Generation of Test Cases. In IJCAI '93 workshop on Validation, Verification and Test of KBs Chambery, France, pages 67--77, 1993.

....a PSM reflecting over the generated proofs. In our example above (Figures 12 13) these were the ENV sets. Each such ENV set would be an interesting test case. Automatic test suite generation is systems which support inconsistencies have been imple 390 ment by Ginsberg [48, 49] and Zlatereva [133, 134]. The dependencies between page 17 of 56 if the patient received a ventricular urethral shunt then infection = e.coli ( 8) or klebsiella ( 75) Figure 14: The real heuristic knowledge within Figure 6. rules conclusions are computed and divided into mutually consistent subsets. The root ....

N. Zlatareva. Distributed Verification and Automated Generation of Test Cases. In IJCAI '93 workshop on Validation, Verification and Test of KBs Chambery, France, 1870 pages 67--77, 1993.

....Automatic tools such as HT4 can be a useful intelligent assistant for checking hypothetical ideas. An interesting variant on our external semantic testing approach are the automatic test suite generation procedures offered by the dependencynetwork approaches of Ginsberg [29, 30] and Zlatereva [86, 87]. The dependencies between rules conclusions are computed and divided into mutually consistent subsets. The root dependencies of these subsets represent the space of all reasonable tests. If these root dependencies are not represented as inputs within a test suite, then the test suite is ....

N. Zlatareva. Distributed Verification and Automated Generation of Test Cases. In IJCAI '93 workshop on Validation, Verification and Test of KBs Chambery, France, pages 67--77, 1993. Some of the Menzies papers can be found at http:// www.sd.monash.edu.au/ ¸timm/pub/ docs/papersonly.html .

....must be 640 managed in separate worlds. Further, the source code itself may have to be divided into portions (a.k.a. worlds) Each portion must be internally consistent. Automatic test suite generation is systems which support inconsistencies have been implement by Ginsberg [50,51] and Zlatereva [107,108]. The dependencies between rules conclusions are computed and divided into mutually consistent 645 subsets. The root dependencies of these subsets represent the space of all reasonable tests. If these root dependencies are not represented as inputs within a test suite, then the test suite is ....

N. Zlatareva. Distributed Verification and Automated Generation of Test Cases. In IJCAI '93 workshop on Validation, Verification and Test of KBs Chambery, France, pages 67--77, 1993.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC