Proceedings

Test Case Generation using KBS Strategy

Download BibTeX Cite

Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence. Knowledge Base Technology. Pages 483-488.

Abstract

The system we have developed, SYCOJET, automatically builds test cases making use of specific expert knowledge. In our first version, it uses the internal structure of the know ledge base to be tested, and implicitly assumes that the inference engine derives all that can be derived from the knowledge base and the problem data. Here we are concerned with how to take into account, in a second version of SYCOJET, the actual inference engine control strategy. This control strategy, included in the inference engine, is not in general explicited in a form accessible to the computer. In this paper, we investigate to what extent the .-.nowledge of the control strategy of the system being tested can be used to improve the "quality" of the test cases generated by SYCOJET.

Laurence Vignollet, and Ruddy Lelouche. 1993. Test Case Generation using KBS Strategy. In Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, IJCAI-93. IJCAI, 483–488. https://ijcai.org/proceedings/1993/68
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards