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
In the requirements lies the power
KTH, School of Computer Science and Communication (CSC), Numerical Analysis and Computer Science, NADA.
2007 (English)In: 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007, 2007, 185-190 p.Conference paper, Published paper (Refereed)
Abstract [en]

System requirements expressed as scenarios represent a rich source of knowledge about a system and the context in which it is used. This is because the scenarios are the result of extensive collaborative efforts of a wide variety of stakeholders and are in a form to which all can relate. Ideally, they serve to represent the interests of all stakeholders at each stage of the development life cycle. Our focus in this paper is system testing against requirements. In particular, we show (1) how the knowledge represented in scenarios (using ScenarioML) can be directly transformed into an operational knowledge base in a rule-based programming language (JESS), (2) how this knowledge base can be used in system testing to compute, manage, and compare expectations of system behavior to actual system behavior relative to the requirements, and (3) how this can be achieved in a manner that is transparent to all stakeholders. The power of this approach derives from the peculiarly reflective character of knowledge based systems and their explicit use of meta-information and meta-information processing. We demonstrate the viability of our approach by its application to the AquaLush system in which we detected several violations of the system's stated requirements.

Place, publisher, year, edition, pages
2007. 185-190 p.
Keyword [en]
Computer programming, Data processing, Knowledge based systems, Knowledge engineering, System theory
National Category
Other Computer and Information Science
Identifiers
URN: urn:nbn:se:kth:diva-154647Scopus ID: 2-s2.0-84886870469ISBN: 978-162748661-3 (print)OAI: oai:DiVA.org:kth-154647DiVA: diva2:758690
Conference
19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007, 9 July 2007 through 11 July 2007, Boston, MA, United States
Note

QC 20141028

Available from: 2014-10-28 Created: 2014-10-27 Last updated: 2014-10-28Bibliographically approved

Open Access in DiVA

No full text

Scopus

Search in DiVA

By author/editor
Waltzman, Rand
By organisation
Numerical Analysis and Computer Science, NADA
Other Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 11 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