Sökning: id:"swepub:oai:DiVA.org:su-37824" >
Automated Testing f...
Automated Testing for Knowledge Based Systems
-
- Håkansson, Anne, 1963- (författare)
- Stockholms universitet,Institutionen för data- och systemvetenskap,Uppsala University, Sweden
-
- Hartung, Ronald (författare)
- Franklin University, Department of Computer Sciences & Mathematics, Columbus, Ohio
-
(creator_code:org_t)
- Berlin/Heidelberg : Springer, 2007
- 2007
- Engelska.
-
Ingår i: Knowledge-Based Intelligent Information and Engineering Systems11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part I. - Berlin/Heidelberg : Springer. - 9783540748175 ; , s. 270-278, s. 8-
- Relaterad länk:
-
http://link.springer...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
https://urn.kb.se/re...
-
https://urn.kb.se/re...
-
visa färre...
Abstract
Ämnesord
Stäng
- Building and modifying knowledge-based systems requires testing of the knowledge for quality assurance, such as verification and validation. This is especially important when reverse engineering is applied to a system that needs to be remodeled or renewed. However, the modification of a knowledge-based system is a difficult process. Commonly, the documentation is poor, and the original domain expertise is lacking. Therefore, testing must be applied on existing knowledge to be able to verify the changed knowledge. To this objective we apply an automated test generation system to verify the operation of the modified system.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Systemvetenskap, informationssystem och informatik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Information Systems (hsv//eng)
- SAMHÄLLSVETENSKAP -- Medie- och kommunikationsvetenskap -- Kommunikationsvetenskap (hsv//swe)
- SOCIAL SCIENCES -- Media and Communications -- Communication Studies (hsv//eng)
Nyckelord
- Automated testing
- knowledge-based systems
- re-engineering
- UML
- rule-based systems
- visualization
- verification
- Computer and systems science
- Data- och systemvetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas