Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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
Identifiers
URN: urn:nbn:se:kth:diva-44437DOI: 10.1007/978-3-540-74819-9_34Scopus ID: 2-s2.0-38049105758ISBN: 978-3-540-74817-5 (print)OAI: oai:DiVA.org:kth-44437DiVA: diva2:450459
Conference
11th International Conference of Knowledge-Based and Intelligent Information & Engineering Systems,
Note

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

Authority records BETA

Håkansson, Anne

Search in DiVA

By author/editor
Håkansson, Anne
Communication Studies

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 55 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf