An Application of Paraconsistent Annotated Logic for Design Software Testing Strategies - Journal of Software Engineering and Applications

JSEA > Vol.7 No.5, May 2014

An Application of Paraconsistent Annotated Logic for Design Software Testing Strategies ()

HTML XML

Download as PDF (Size: 1816KB) PP. 371-386

DOI: 10.4236/jsea.2014.75034 5,237 Downloads 6,886 Views Citations

Author(s)

Marcos Ribeiro do Nascimento, Luiz Alberto Vieira Dias, Joao Inacio Da Silva Filho

Affiliation(s)

Brazillian Aeronautics Institute of Technology—ITA, Sao Jose dos Campos, Brazil.
Santa Cecília University—UNISANTA, Santos, Brazil.

ABSTRACT

Nowadays, application model systems for decision-making based on non-classical logic such as Paraconsistent Logic are used successfully in the treatment of uncertainties. The method presented in this paper is based on the fundamental concepts of Paraconsistent Annotated Logic with annotation of 2 values (PAL2v). In this study, two algorithms based on PAL2v are presented gradually, to extract the effects of the contradiction in signals of information from a database of uncertain knowledge. The Paraconsistent Extractors Algorithms of Contradiction Effect-Para Extr_ctris applied to filters of networks of analyses (PANets) of signal information, where uncertain and contradictory signals may be found. Software test case scenarios are subordinated to an application model of Paraconsistent decision-making, which provides an analysis using Paraconsistent Logic in the treatment of uncertainties for design software testing strategies. This quality-quantity criterion to evaluate the software product quality is based on the characteristics of software testability analysis. The Para consistent reasoning application model system presented in this case study, reveals itself to be more efficient than the traditional methods because it has the potential to offer an appropriate treatment to different originally contradicting source information.

KEYWORDS

Paraconsistent Logic, Design Testing Strategies, Software Testability, Paraconsistent Decision Making Model

Share and Cite:

Nascimento, M. , Dias, L. and Filho, J. (2014) An Application of Paraconsistent Annotated Logic for Design Software Testing Strategies. Journal of Software Engineering and Applications, 7, 371-386. doi: 10.4236/jsea.2014.75034.

Journals Menu

Follow SCIRP

	+1 323-425-8868
	customer@scirp.org
	+86 18163351462(WhatsApp)
	1655362766

	Paper Publishing WeChat

Journals Menu

Home

About SCIRP

Service

Policies