Skip to main content
SpringerLink
Log in
Book cover

Intelligent Decision Technologies pp 519–529Cite as

Java2CSP—A Model-Based Diagnosis Tool Not Only for Software Debugging

  • Conference paper
  • First Online:

Part of the book series: Smart Innovation, Systems and Technologies ((SIST,volume 238))

Abstract

Model-based reasoning has been an active research area for several decades providing foundations for fault detection, localization, and repair not only in the context of system and hardware diagnosis but also in localizing software bugs. Java2CSP allows for mapping Java-like programs into a corresponding constraint representation. The constraint representation makes use of a health state variable indicating whether a certain statement is correct or faulty. A constraint solver can be used for computing diagnoses for a given failing test case. In this paper, we present the tool and also show how more classical diagnosis problems can be directly mapped to their program representation, which allows to use Java2CSP in different settings, including teaching model-based diagnosis.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    See http://modelinho.ist.tugraz.at:8081/.

  2. 2.

    see http://smtlib.cs.uiowa.edu.

  3. 3.

    see https://github.com/Z3Prover/z3.

References

  1. Brandis, M.M., Mössenböck, H.: Single-pass generation of static assignment form for structured languages. ACM TOPLAS 16(6), 1684–1698 (1994)

    Article  Google Scholar 

  2. Console, L., Friedrich, G., Theseider Dupré, D.: Model-based diagnosis meets error diagnosis in logic programs. In: Proceedings 13th International Joint Conference on Artificial Intelligence. pp. 1494–1499. Chambery (1993)

    Google Scholar 

  3. Davis, R., Shrobe, H., Hamscher, W., Wieckert, K., Shirley, M., Polit, S.: Diagnosis based on structure and function. In: Proceedings AAAI. pp. 137–142. Pittsburgh (1982)

    Google Scholar 

  4. Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. Artif. Intell. 111(2), 3–39 (1999)

    Article  MathSciNet  Google Scholar 

  5. de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32(1), 97–130 (1987)

    Article  Google Scholar 

  6. Malik, A., Struss, P., Sachenbacher, M.: Case studies in model-based diagnosis and fault analysis of car-subsystems. In: Proceedings of the European Conference on Artificial Intelligence (ECAI) (1996)

    Google Scholar 

  7. Milde, H., Guckenbiehl, T., Malik, A., Neumann, B., Struss, P.: Integrating model-based diagnosis techniques into current work processes—three case studies from the INDIA project. AI Commun. 13 (2000) (special Issue on Industrial Applications of Model-Based Reasoning)

    Google Scholar 

  8. Rajan, K., Bernard, D., Dorais, G., Gamble, E., Kanefsky, B., Kurien, J., Millar, W., Muscettola, N., Nayak, P., Rouquette, N., Smith, B., Taylor, W., Tung, Y.: Remote agent: an autonomous control system for the new millennium. In: Proceedings of the 14th European Conference on Artificial Intelligence (ECAI). Berlin, Germany (2000)

    Google Scholar 

  9. Reiter, R.: A theory of diagnosis from first principles. Artif. Intell. 32(1), 57–95 (1987)

    Article  MathSciNet  Google Scholar 

  10. Sachenbacher, M., Struss, P., Carlén, C.M.: A prototype for model-based on-board diagnosis of automotive systems. AI Commun. 13 (2000). (Special Issue on Industrial Applications of Model-Based Reasoning)

    Google Scholar 

  11. Wotawa, F., Nica, M., Moraru, I.: Automated debugging based on a constraint model of the program and a test case. J. Log. Algebraic Methods Program. 81(4), 390–407 (2012). https://doi.org/10.1016/j.jlap.2012.03.002

Download references

Acknowledgements

The financial support by the Austrian Federal Ministry for Digital and Economic Affairs, the National Foundation for Research, Technology and Development and the Christian Doppler Research Association is gratefully acknowledged.

Author information

Authors and Affiliations

  1. Christian Doppler Laboratory for Quality Assurance Methodologies for Autonomous Cyber-Physical Systems, Institute for Software Technology, Graz University of Technology, Graz, Austria

    Franz Wotawa

  2. Graz University of Technology, Graz, Austria

    Vlad Andrei Dumitru

Authors
  1. Franz Wotawa
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Vlad Andrei Dumitru
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Franz Wotawa .

Editor information

Editors and Affiliations

  1. Gdynia Maritime University, Gdynia, Poland

    Ireneusz Czarnowski

  2. Bournemouth University, Poole, UK

    Robert J. Howlett

  3. KES International, Shoreham-by-Sea, UK

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2021 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Wotawa, F., Dumitru, V.A. (2021). Java2CSP—A Model-Based Diagnosis Tool Not Only for Software Debugging. In: Czarnowski, I., Howlett, R.J., Jain, L.C. (eds) Intelligent Decision Technologies. Smart Innovation, Systems and Technologies, vol 238. Springer, Singapore. https://doi.org/10.1007/978-981-16-2765-1_43

Download citation

Publish with us

Policies and ethics

Search

Navigation