{"title":"一个使用混合领域模型的功能软件测试系统","authors":"Uwe Nonnenmann, J. K. Eddy","doi":"10.1109/CAIA.1992.200021","DOIUrl":null,"url":null,"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.<<ETX>>","PeriodicalId":388685,"journal":{"name":"Proceedings Eighth Conference on Artificial Intelligence for Applications","volume":"34 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"21","resultStr":"{\"title\":\"KITSS-a functional software testing system using a hybrid domain model\",\"authors\":\"Uwe Nonnenmann, J. K. Eddy\",\"doi\":\"10.1109/CAIA.1992.200021\",\"DOIUrl\":null,\"url\":null,\"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.<<ETX>>\",\"PeriodicalId\":388685,\"journal\":{\"name\":\"Proceedings Eighth Conference on Artificial Intelligence for Applications\",\"volume\":\"34 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-03-02\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"21\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Eighth Conference on Artificial Intelligence for Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CAIA.1992.200021\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Eighth Conference on Artificial Intelligence for Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CAIA.1992.200021","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
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.<>