TLA+ specifikacijų išskyrimas iš Elixir programos
Š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. Naud...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Vilnius University Press
2023-05-01
|
| Series: | Vilnius University Open Series |
| Online Access: | https://www.zurnalai.vu.lt/open-series/article/view/32213 |
| _version_ | 1797829324575866880 |
|---|---|
| author | Deividas Bražėnas Karolis Petrauskas |
| author_facet | Deividas Bražėnas Karolis Petrauskas |
| author_sort | Deividas Bražėnas |
| collection | DOAJ |
| description |
Š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.
|
| first_indexed | 2024-04-09T13:18:39Z |
| format | Article |
| id | doaj.art-35b455b3186d4c18872c49a3e5b9f13b |
| institution | Directory Open Access Journal |
| issn | 2669-0535 |
| language | English |
| last_indexed | 2024-04-09T13:18:39Z |
| publishDate | 2023-05-01 |
| publisher | Vilnius University Press |
| record_format | Article |
| series | Vilnius University Open Series |
| spelling | doaj.art-35b455b3186d4c18872c49a3e5b9f13b2023-05-11T09:46:57ZengVilnius University PressVilnius University Open Series2669-05352023-05-0110.15388/LMITT.2023.1TLA+ specifikacijų išskyrimas iš Elixir programosDeividas Bražėnas0Karolis Petrauskas1Vilnius University, LithuaniaVilnius University, Lithuania Š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. https://www.zurnalai.vu.lt/open-series/article/view/32213 |
| spellingShingle | Deividas Bražėnas Karolis Petrauskas TLA+ specifikacijų išskyrimas iš Elixir programos Vilnius University Open Series |
| title | TLA+ specifikacijų išskyrimas iš Elixir programos |
| title_full | TLA+ specifikacijų išskyrimas iš Elixir programos |
| title_fullStr | TLA+ specifikacijų išskyrimas iš Elixir programos |
| title_full_unstemmed | TLA+ specifikacijų išskyrimas iš Elixir programos |
| title_short | TLA+ specifikacijų išskyrimas iš Elixir programos |
| title_sort | tla specifikaciju isskyrimas is elixir programos |
| url | https://www.zurnalai.vu.lt/open-series/article/view/32213 |
| work_keys_str_mv | AT deividasbrazenas tlaspecifikacijuisskyrimasiselixirprogramos AT karolispetrauskas tlaspecifikacijuisskyrimasiselixirprogramos |