Method for the generation of test cases for object-oriented product configurators

摘要

Method for the generation of test cases for object-oriented product configurators;The invention is related to a method for the generation of test cases for object-oriented programmed product configurators by use of a computer with following steps:- translating the knowledge base of the product configurator from an object-oriented program into a program language on basis of answer set programming;- define the constraints to be tested with a program language on basis of answer set programming;- generate positive and negative test cases for the constraints by use of an answer set programming solver- translate back the test cases into the object-oriented program;- integrate the test cases into the testing framework of the configurator.