Tóth Gabriella; Tejfel Máté: Component-based error detection of P4 programs. In: Acta cybernetica, (25) 2. pp. 537-554. (2021)
Cikk, tanulmány, mű
cybernetica_025_numb_002_537-554.pdf Letöltés (440kB) |
Absztrakt (kivonat)
P4 is a domain-specific language to develop the packet processing of network devices. These programs can easily hide errors, therefore we give a solution to analyze them and detect predefined errors in them. This paper shows the idea, which works with the P4 code as a set of components and processes them one by one, while calculating their pre- and postconditions. This method does not only detect errors between the components and their connections, but it is capable to reveal errors, which are hidden in the middle of a component. The paper introduces the method and shows its calculation in an example.
Mű típusa: | Cikk, tanulmány, mű |
---|---|
Befoglaló folyóirat/kiadvány címe: | Acta cybernetica |
Dátum: | 2021 |
Kötet: | 25 |
Szám: | 2 |
ISSN: | 0324-721X |
Oldalak: | pp. 537-554 |
Nyelv: | angol |
Kiadó: | University of Szeged, Institute of Informatics |
Kiadás helye: | Szeged |
Konferencia neve: | Conference of PhD Students in Computer Science (12.) (2020) (Szeged) |
Befoglaló mű URL: | http://acta.bibl.u-szeged.hu/75565/ |
DOI: | 10.14232/actacyb.289731 |
Kulcsszavak: | Programozási nyelv - P4 |
Megjegyzések: | Bibliogr.: p. 553-554. ; ill. ; összefoglalás angol nyelven |
Szakterület: | 01. Természettudományok 01. Természettudományok > 01.02. Számítás- és információtudomány |
Feltöltés dátuma: | 2022. máj. 12. 13:22 |
Utolsó módosítás: | 2022. máj. 12. 13:22 |
URI: | http://acta.bibl.u-szeged.hu/id/eprint/75622 |
Tétel nézet |