Skip to main content

Max-CSP Approach for Software Diagnosis

  • Conference paper
  • First Online:

Part of the Lecture Notes in Computer Science book series (LNAI,volume 2527)

Abstract

In software development is essential to have tools for the software diagnosis to help the programmers and development engineers to locate the bugs. In this paper, we propose a new approach that identifies the possible bugs and detect why the program does not satisfy the specified result. A typical diagnosis problem is built starting from the structure and semantics of the original source code and the precondition and postcondition formal specifications. When we apply a determined test case to a program and this program fails, then we can use our methodology in order to obtain automatically the sentence or the set of sentences that contains the bug. The originality of our methodology is due to the use of a constraint-based model for software and Max-CSP techniques to obtain the minimal diagnosis and to avoid explicitly to build the functional dependency graph.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/3-540-36131-6_18
  • Chapter length: 10 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   139.00
Price excludes VAT (USA)
  • ISBN: 978-3-540-36131-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   179.00
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Robert V. Binder.: Testing Object-Oriented Systems: Models, Patterms, and Tools. Addison Wesley.

    Google Scholar 

  2. R. Ceballos, R. M. Gasca, Carmelo Del Valle y Miguel Toro: Diagnosis basada en modelos para la depuración de software mediante técnicas simbólicas. IV Jornadas de ARCA, Sistemas Cualitativos y Diagnosis, Vilanova i la Geltrú, Spain, June 2002.

    Google Scholar 

  3. Khalil, M.: Automated strategies for software diagnosis. The Ninth International Sympsosium on Software Reliability Engineering, Paderborn, Germany, Nov. 1998.

    Google Scholar 

  4. K. Kask.: New Search Heuristics for Max-CSP In Proceeding of CP’2000, pg. 262–277, 2000.

    Google Scholar 

  5. Khalil, M.: An Experimental Comparison of Software Diagnosis Methods. 25th Euromicro Conference 1999.

    Google Scholar 

  6. ILOG: ILOG Solver 4.4 User’s Manual. ILOG 1999.

    Google Scholar 

  7. J. Larrossa: Algorithms and Heuristics for Total and Partial Constraint Satisfaction. Ph.D dissertation, 1998.

    Google Scholar 

  8. J. Larrossa and P. Meseguer.: Partition-based lower bound for max-csp. Proceedings CP, pages 303–315, 1999.

    Google Scholar 

  9. Lyle J. R. and Weiser, M.: Automatic bug location by program slicing. Second International Conference on Computers and Applications, Beijing, China, pag. 877–883, June 1987.

    Google Scholar 

  10. Cristinel Mateis, Markus Stumptner, Dominik Wieland and Franz Wotawa.: Debugging of Java programs using a model-based approach. DX-99 Work-Shop,LLoch Awe, Scotland (1999).

    Google Scholar 

  11. Cristinel Mateis, Markus Stumptner, Dominik Wieland and Franz Wotawa.: Extended Abstract-Model-Based Debugging of Java Programs. AADEBUG, August 2000, Munich.

    Google Scholar 

  12. Weiser, M.: Programmers Use Slices When Debugging. Communications of the ACM, Vol. 25, No. 7, pp.446–452,1982.

    CrossRef  Google Scholar 

  13. Weiser, M.: Program Slicing. IEEE Transactions on Software Engineering SE-10, 4, pp. 352–357, 1984

    CrossRef  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ceballos, R., Gasca, R.M., Del Valle, C., Toro, M. (2002). Max-CSP Approach for Software Diagnosis. In: Garijo, F.J., Riquelme, J.C., Toro, M. (eds) Advances in Artificial Intelligence — IBERAMIA 2002. IBERAMIA 2002. Lecture Notes in Computer Science(), vol 2527. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36131-6_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-36131-6_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-00131-7

  • Online ISBN: 978-3-540-36131-2

  • eBook Packages: Springer Book Archive

We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.