https://www.mdu.se/

mdu.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
ASSESSING STRATEGIES FORBEHAVIOUR CONSISTENCYCHECKING USING LLMS
Mälardalen University, School of Innovation, Design and Engineering.
2024 (English)Independent thesis Basic level (degree of Bachelor), 10 credits / 15 HE creditsStudent thesis
Abstract [en]

UML diagrams are used today to aid developers in a variety of ways. Some of the things UML supports is the creation of abstract representations of projects and the creation of views of different aspects of the system that is being modelled. When a developer is implementing functionality as described in the UML diagram, an important aspect would be to know of there exist any inconsistencies between the diagram and implementation. While inconsistency tolerance is a commonly followed paradigm, it is important to identify inconsistencies so that important ones may be resolved. These inconsistencies and how to find them are what this thesis focuses on. We perform behaviour consistency checks between a UML activity diagram and its associated code implementation. To test ChatGPTs ability to perform behaviour consistency checks, we gave it a UML diagram and a code base that implemented the representation of the diagram as input and asked it to respond with a behaviour consistency check between them. As the nature of ChatGPT is to answer uniquely every time, even to identical prompts, the result varied but by establishing criteria and rules we could define and conclude how ChatGPT can be used for behaviour consistency checks. We found that ChatGPT can perform these checks but with a variety of success. If presented with two artefacts with no inconsistencies then the check was correct every time, however if there were inconsistencies between the artefacts, the checks could be incorrect. Therefore, we conclude that, ChatGPT can be a tool used to perform behaviour consistency checks but one needs to use specific approaches to limit the risk of erroneous results.

Place, publisher, year, edition, pages
2024. , p. 27
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-66184OAI: oai:DiVA.org:mdh-66184DiVA, id: diva2:1843096
Subject / course
Computer Science
Supervisors
Examiners
Available from: 2024-03-08 Created: 2024-03-07 Last updated: 2024-03-08Bibliographically approved

Open Access in DiVA

fulltext(535 kB)196 downloads
File information
File name FULLTEXT01.pdfFile size 535 kBChecksum SHA-512
36c99a8c7d9cd1a54bbd00c3e84c79aa6dea0a7b88eec8af55f838d4f4b61bb5615c8833c6fd541ac563d4ac4ac01ac92fc0949df58327cfa9ba72b6eb55b7de
Type fulltextMimetype application/pdf

By organisation
School of Innovation, Design and Engineering
Computer Sciences

Search outside of DiVA

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