mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
A Type-inferencing Mechanism for Automatically Detecting Variable Types in System Requirements Specifications
Mälardalen University, School of Innovation, Design and Engineering.
2018 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

A system requirements specification (SyRS) defines a set of functionalities that a system is expected to fulfil. A requirement may be “it is always the case that actualFuelLevel is greater than or equal to 0” for an industrial system. Inconsistencies in a SyRS may require the system to be redesigned or reimplemented, which can drastically increase costs. With the increased size and complexity of SyRS it is important to assess new methods for verifying their correctness with respect to some criteria such as consistency. PROPAS is a tool for automated consistency checking of SyRS developed within the VeriSpec project, a cooperation between Mälardalen University, Scania and Volvo GTT. The tool is based on satisfiability modulo theories (SMT) techniques and operates on SyRS encoded in formal notation, that is timed computation tree logic (TCTL). In this thesis we extend the functionality of the PROPAS tool by implementing a type-inferencing mechanism such that variable types in SyRS can be automatically inferred. For validation, we apply the extended PROPAS tool on a set of industrial requirements. The results show that the type-inferencing mechanism can correctly infer the types of the variables from the set of requirements in most cases, while in the same time not introducing significant computational overhead to the existing solution.

Place, publisher, year, edition, pages
2018. , p. 22
Keywords [en]
system requirements specification, type-inference
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-39667OAI: oai:DiVA.org:mdh-39667DiVA, id: diva2:1215345
Subject / course
Computer Science
Supervisors
Examiners
Available from: 2018-06-11 Created: 2018-06-08 Last updated: 2018-06-11Bibliographically approved

Open Access in DiVA

fulltext(1022 kB)46 downloads
File information
File name FULLTEXT01.pdfFile size 1022 kBChecksum SHA-512
37b1bb96d779303bbe23d62d2d45dc376548ea1a98dbe700c07172ffeb137d01888c6ccb08d0dbb0b3d3b1c8c308ea20515fb3f982ea71654e59a51943716cc3
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Husein, Mustafa
By organisation
School of Innovation, Design and Engineering
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 46 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: 105 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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