An Application of Paraconsistent Annotated Logic for Design Software Testing Strategies

Nascimento, Marcos Ribeiro do; Dias, Luiz Alberto Vieira; Filho, João Inácio da Silva

doi:10.4236/jsea.2014.75034

Cited by 1 publication

(1 citation statement)

References 8 publications

(9 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The structure of the ParaExtr ctr algorithm aims to implement computational language source code programs for an optimal number of cyclomatic complexities around values lower than 10. In [ 37 ], the complexity of the ParaExtr ctr algorithm was calculated using McCabe’s cyclomatic analysis technique, where the network topology resulted in V ( G ) = 5. This value demonstrates that the paraconsistent algorithmic structure with the topology used in this research is of low complexity.…”

Section: Paraconsistent Logicmentioning

confidence: 99%

Paraconsistent Annotated Logic Algorithms Applied in Management and Control of Communication Network Routes

Filho

Abe

Marreiro

et al. 2021

Sensors

View full text Add to dashboard Cite

This paper presents a computational method based on non-classical logic dedicated to routing management and information stream control in communication networks. Paraconsistent logic (PL) was used to create an algorithmic structure whose main property is to accept contradiction. Moreover, a computational structure, the denominated paraconsistent data analyzer (PDAPAL2v), was constructed to perform routing management in communication networks. Direct comparisons of PDAPAL2v with a classical logic system that simulates routing conditions were made in the laboratory. In the conventional system, the paraconsistent algorithms were considered as binary logic gates, and in the tests, the same adjustment limits of PDAPAL2v were applied. Using a database with controlled insertion of noise, we obtained an efficacy of 97% in the detection of deteriorated packets with PDAPAL2v and 72% with the conventional simulation system. Functional tests were carried out, showing that PDAPAL2v is able to assess the conditions and degradation of links and perform the analysis and correlation of various inputs and variables, even if the signals have contradictory values. From practical tests in the laboratory, the proposed method represents a new way of managing and controlling communication network routes with good performance.

show abstract

Section: Paraconsistent Logicmentioning

confidence: 99%