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

Author

Nonnenmann, Uwe ; Eddy, John K.

Author_Institution

AT&T Bell Lab., Murray Hill, NJ, USA

fYear

1992

fDate

2-6 Mar 1992

Firstpage

136

Lastpage

142

Abstract

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

Keywords

electronic switching systems; formal specification; inference mechanisms; knowledge based systems; program testing; telecommunications computing; temporal logic; theorem proving; English; KITSS; dynamic temporal logic; formal representation; functional testing; hybrid domain model; knowledge-based interactive test script system; static terminological logic; statistical parser; technical dialect; telephone switching software; test harness; test language; theorem-prover-based inference mechanism; Automatic testing; Costs; Embedded system; Life testing; Logic; Software maintenance; Software testing; Switches; System testing; Telephony;

fLanguage

English

Publisher

ieee

Conference_Titel

Artificial Intelligence for Applications, 1992., Proceedings of the Eighth Conference on

Conference_Location

Monterey, CA

Print_ISBN

0-8186-2690-9

Type

conf

DOI

10.1109/CAIA.1992.200021

Filename

200021