An Application of Paraconsistent Annotated Logic for Design Software Testing Strategies


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 Extrctr is 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.

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.

Conflicts of Interest

The authors declare no conflicts of interest.


[1] da Silva, G.B., Romano, B.L., Campos, H.C., Vieira R.G., da Cunha A.M. and Vieira Dias, L.A. (2009) Integrating Amazonic Heterogeneous Hydrometeorological Databases. Information Technology: New Generations, Third International Conference, 119-124.
[2] ISO/IEC 25010 (2011) Systems and Software Engineering—Systems and Software Quality Requirements and Evaluation (SQuaRE)-System and Software Quality Models.
[3] Bach, J. (2003) Heuristics of Software Testability.
[4] Clements, P.C. and Northrop, L. (2001) Software Product Lines: Practices and Patterns. SEI Series in Software Engineering, Addison-Wesley.
[5] Northrop, L.M., Clements, P.C., Bachmann, F., Bergey, J., Chastek, G., Cohen, S., Donohoe, P., Jones, L., Krut, R., Little, R., McGregor, J. and O’Brien, L. (2009) A Framework for Software Product Line Practice, Version 5.0.
[6] IEEE Std 829 (1998) IEEE Standard for Software and System Test Documentation. 2008. Institute of Electrical and Electronics Engineers. Revision of IEEE Std 829.
[7] Perry, W. (2006) Effective Methods for Software Testing. 3rd Edition, Wiley, New York.
[8] Sharma, A., Kumar, V. and Pachori, S. (2012) Defect Prevention Technique used in Test Case for Quality Improvement. International Journal of Computer Applications, 43, 17-21.
[9] Badri, M. and Toure, F. (2012) Empirical Analysis of Object-Oriented Design Metrics for Predicting Unit Testing Effort of Classes. Journal of Software Engineering and Applications, 5, 513-526.
[10] Rosenberg, D. and Sthephens, M. (2007) Use Case Driven Object Modeling with UML: Theory and Practice. Springer-Verlag, New York, 50-51.
[11] Khan, R.A. and Mustafa, K. (2009) Software Testability. Department of Computer Science, New Delhi.
[12] Arruda, A.I. (1980) A survey of Paraconsistent Logic, In: Arruda, A.I., Chuaqui, R. and Da Costa, N.C.A., Eds., Studies in Logic and the Foundations of Mathematics (Vol. 99), Elsevier, 1-41.
[13] Blair, H.A. and Subrahmanian, V.S. (1988) Paraconsistent Foundations for Logic Programming. Journal of NonClassical Logic, 5, 45-73.
[14] Subrahmanian, V.S. (1987) On the Semantics of Quantitative Logic Programming. Proceedings of 4th IEEE Symposium on Logic Programming, September, San Francisco, 173-182.
[15] Da Costa, N.C.A. (1974) On the Theory of Inconsistent Formal Systems. Notre Dame Journal of Formal Logic, 15, 497-510.
[16] Da Costa N. C. A. and Marconi D. (1989) An Overview of Paraconsistent Logic in the 80’s. The Journal of Non-Classical Logic, 6, 5-31.
[17] Da Costa, N.C.A., Subrahmanian, V.S. and Vago, C. (1991) The Paraconsistent Logic PT. Zeitschrift fur MathematischeLogik und Grundlagen der Mathematik, 37, 139-148.
[18] Subrahmanian, V.S. (1990) Mechanical Proof Procedures for Many Valued Lattice-Based Logic Programming. Journal of Non-Classical Logic, 7, 7-41.
[19] Da Costa, N.C.A., Abe, J.M. and Subrahmanian, V.S. (1991) Remarks on Annotated Logic. Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, 37, 561-570.
[20] Da Costa, N.C.A., Da Silva Filho, J.I., Abe, J.M., Murolo, F.F. and Soares, C.F. (1999) Lógica Paraconsistente Aplicada. Editora, Atlas.
[21] Da Silva Filho, J.I., Abe, J.M. and Lambert-Torres, G. (2009) Inteligência Artificial com as Redes de Análises Paraconsistentes Teoria e Aplicacoes. LTC, Editora, 328 p.
[22] Da Silva Filho, J.I., Abe, J.M. and Lambert-Torres, G. (2010) Uncertainty Treatment Using Paraconsistent Logic—Introducing Paraconsistent Artificial Neural Networks (Vol. 21). IOS Press, Amsterdam, 328 p.
[23] Da Silva Filho, J.I., Lambert-Torres, G., Ferrara, L.F.P., Mário, M.C., Dos Santos, M.R., Onuki, A.S., Camargo, J.M. and Rocco, A. (2011) “Paraconsistent Algorithm Extractor of Contradiction Effects―ParaExtrctr. Journal Software Engineering & Applications, 4, 579-584.
[24] Da Silva Filho, J.I., Onuki, A.S., Ferrara, L.F.P., Mário, M.C., Camargo, J.M., Garcia, D.V., Dos Santos, M.R. and Rocco, A. (2012) Electric Power System Operation Decision Support by Expert System Built with Paraconsistent Annotated Logic, Advances in Expert Systems. InTech.
[25] Elfriede, D. (2002) Effective Software Testing: 50 Ways to Improve Your Software Testing. Addison-Wesley Longman Publishing Co., Inc., Boston.

Copyright © 2023 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.