Component-based error detection of P4 programs
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...
Elmentve itt :
| Szerzők: | |
|---|---|
| Testületi szerző: | |
| Dokumentumtípus: | Cikk |
| Megjelent: |
University of Szeged, Institute of Informatics
Szeged
2021
|
| Sorozat: | Acta cybernetica
25 No. 2 |
| Kulcsszavak: | Programozási nyelv - P4 |
| Tárgyszavak: | |
| doi: | 10.14232/actacyb.289731 |
| Online Access: | http://acta.bibl.u-szeged.hu/75622 |
| Tartalmi 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. |
|---|---|
| Terjedelem/Fizikai jellemzők: | 537-554 |
| ISSN: | 0324-721X |