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
Automatiserad validering av funktionen hos ett datalager: en praktisk tillämpning av model checking
KTH, School of Computer Science and Communication (CSC).
2015 (Swedish)Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE creditsStudent thesisAlternative title
Automated validation of the functions of a data warehouse. (English)
Abstract [sv]

Företag förlitar sig ofta på datalager som aggregerar information från flera källor och över tiden. Dessa datalager är ofta centrala för beslutsfattande inom företagen, både kortsiktiga operativa beslut och långsiktiga strategiska. Eftersom information är en färskvara blir det allt viktigare att de dagliga laddningsrutinerna för datalagren fungerar. Denna rapport avser att analysera möjligheten att applicera principen model checking för en validering. Praktiskt avses att på ett automatiserat sätt använda Promela och Spin som verktyg för att validera att laddningsrutinerna för datalagret är korrekta.

Abstract [en]

Companies of today put more and more trust into data warehouses that aggregates information from several sources and over time. These data warehouses are pivotal for decision making both for daily operational decisions and for long term strategic ones. Since information is a perishable it has become more and more important that the loading routines for the data warehouses works. This essay will look into the possibility to automatically transform the load procedures to use Promela and Spin as tools to validate that the data warehouse load.

Place, publisher, year, edition, pages
2015. , 48 p.
Keyword [sv]
Spin Promela TSQL
National Category
Computer Science
Identifiers
URN: urn:nbn:se:kth:diva-169438OAI: oai:DiVA.org:kth-169438DiVA: diva2:821006
External cooperation
SEK
Subject / course
Computer Science
Educational program
Master of Science in Engineering - Computer Science and Technology
Presentation
2015-06-08, 19:20 (Swedish)
Supervisors
Examiners
Available from: 2015-06-29 Created: 2015-06-13 Last updated: 2015-06-29Bibliographically approved

Open Access in DiVA

Magnus_20150608(2441 kB)104 downloads
File information
File name FULLTEXT01.pdfFile size 2441 kBChecksum SHA-512
61ddc0abe578d3bed8abbd5b4fda54883a421048a30201556e665ec1b1a83c7d9dab5bedce6c4d8641325c2ad3c1149622cd005be779b1be170edc6a1a7d77fd
Type fulltextMimetype application/pdf

By organisation
School of Computer Science and Communication (CSC)
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 104 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

urn-nbn

Altmetric score

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