KITSS-a functional software testing system using a hybrid domain model

The knowledge-based interactive test script system (KITSS) automates functional testing in the domain of telephone switching software. KITSS uses novel approaches to achieving several desirable goals. Telephone features can be specified in English by using a statistical parser that is trained in the domains's technical dialect. KITSS will then convert these specifications into a formal representation that is audited for coverage and sanity. To accomplish this, a theorem-prover-based inference mechanism is used, along with a hybrid domain model represented in both a static terminological logic and a dynamic temporal logic. The corrected test is translated into a test language that is run against the switch on a test harness.<<ETX>>