id:"swepub:oai:DiVA.org:kth-154647"
Sökning: id:"swepub:oai:DiVA.org:kth-154647" > In the requirements...
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
| Fältnamn | Indikatorer | Metadata |
|---|---|---|
| 000 | 02717naa a2200361 4500 | |
| 001 | oai:DiVA.org:kth-154647 | |
| 003 | SwePub | |
| 008 | 141027s2007 | |||||||||||000 ||eng| | |
| 024 | 7 | a https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-1546472 URI |
| 040 | a (SwePub)kth | |
| 041 | a engb eng | |
| 042 | 9 SwePub | |
| 072 | 7 | a ref2 swepub-contenttype |
| 072 | 7 | a kon2 swepub-publicationtype |
| 100 | 1 | a Waltzman, Randu KTH,Numerisk Analys och Datalogi, NADA4 aut0 (Swepub:kth)u1hhanrh |
| 245 | 1 0 | a In the requirements lies the power |
| 264 | 1 | c 2007 |
| 338 | a print2 rdacarrier | |
| 500 | a QC 20141028 | |
| 520 | a 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. | |
| 650 | 7 | a NATURVETENSKAPx Data- och informationsvetenskapx Annan data- och informationsvetenskap0 (SwePub)102992 hsv//swe |
| 650 | 7 | a NATURAL SCIENCESx Computer and Information Sciencesx Other Computer and Information Science0 (SwePub)102992 hsv//eng |
| 653 | a Computer programming | |
| 653 | a Data processing | |
| 653 | a Knowledge based systems | |
| 653 | a Knowledge engineering | |
| 653 | a System theory | |
| 700 | 1 | a Winbladh, K.4 aut |
| 700 | 1 | a Alspaugh, T. A.4 aut |
| 700 | 1 | a Richardson, D. J.4 aut |
| 710 | 2 | a KTHb Numerisk Analys och Datalogi, NADA4 org |
| 773 | 0 | t 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007g , s. 185-190q <185-190z 9781627486613 |
| 856 | 4 8 | u https://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-154647 |
Hitta via bibliotek
- 19th International Conference on Software Engineering and Knowledge Engineering,... (Sök värdpublikationen i LIBRIS)
Till lärosätets databas
- 1 av 1
- Föregående post
- Nästa post
- Till träfflistan
Hitta mer i SwePub
- Av författaren/redakt...
- Waltzman, Rand
- Winbladh, K.
- Alspaugh, T. A.
- Richardson, D. J ...
- Om ämnet
-
- NATURVETENSKAP
- NATURVETENSKAP
- och Data och informa ...
- och Annan data och i ...
- Artiklar i publikationen
- 19th Internation ...
- Av lärosätet
- Kungliga Tekniska Högskolan
Sök utanför SwePub
- Sök vidare i:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - Nationella bibliotekssystem
- LIBRIS.kb.se
