TLA+ specifikacijų išskyrimas iš Elixir programos
In: Vilnius University Open Series, 2023-05-01
Online
academicJournal
Zugriff:
Šiame tyrime yra nagrinėjamas metodas, padedantis užtikrinti Elixir programos atitikimą programinės įrangos inžinieriaus kurtai TLA+ specifikacijai. Kuriant metodą apibrėžtas vertimo taisyklių rinkinys, skirtas TLA+ specifikacijų išskyrimui iš nuosekliosios išskirstyto Elixir algoritmo dalies. Naudojant sudarytas taisykles, buvo įgyvendintas vertimo įrankis, Elixir kodą paverčiantis į TLA+ specifikaciją. Sugeneruotos specifikacijos teisingumas tikrinamas modelio tikrinimu ir tikslinimu, o teisingas vertimo įrankio veikimas užtikrinamas konvertuojant sugeneruotą specifikaciją atgal į Elixir kodą ir vykdant pirminės programos vienetų testus.
Titel: |
TLA+ specifikacijų išskyrimas iš Elixir programos
|
---|---|
Autor/in / Beteiligte Person: | Bražėnas, Deividas ; Petrauskas, Karolis |
Link: | |
Zeitschrift: | Vilnius University Open Series, 2023-05-01 |
Veröffentlichung: | Vilnius University Press, 2023 |
Medientyp: | academicJournal |
ISSN: | 2669-0535 (print) |
DOI: | 10.15388/LMITT.2023.1 |
Schlagwort: |
|
Sonstiges: |
|