Change search
ReferencesLink to record
Permanent link

Direct link
Automated Testing for Knowledge Based Systems
Franklin University, Department of Computer Sciences & Mathematics, Columbus, Ohio.
Uppsala University, Sweden.ORCID iD: 0000-0002-9255-9236
2007 (English)In: Knowledge-Based Intelligent Information and Engineering Systems, Berlin Heidelberg: Springer Berlin/Heidelberg, 2007, 270-278 p.Conference paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
Berlin Heidelberg: Springer Berlin/Heidelberg, 2007. 270-278 p.
Keyword [en]
Automated testing, knowledge-based systems, re-engineering, UM, L rule-based systems, visualization, verification
National Category
Communication Studies
URN: urn:nbn:se:kth:diva-44437DOI: 10.1007/978-3-540-74819-9_34ScopusID: 2-s2.0-38049105758ISBN: 978-3-540-74817-5OAI: diva2:450459
11th International Conference of Knowledge-Based and Intelligent Information & Engineering Systems,

QC 20160221

Available from: 2011-10-20 Created: 2011-10-20 Last updated: 2016-02-21Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopusPublished version

Search in DiVA

By author/editor
Håkansson, Anne
Communication Studies

Search outside of DiVA

GoogleGoogle ScholarTotal: 1 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 24 hits
ReferencesLink to record
Permanent link

Direct link