Abstract
Exceptions are those abnormal data flow which needs additional calculation to deal with. Exception analysis concerned abnormal flow contains a lot of research content, such as exception analysis method, program verification. This article introduces another research direction of exception analysis which based on formal method. The article analyses and summarizes those research literatures referring exception analysis and exception handling logic verification based on formal reasoning and model checking. In the article, we provide an overview of the relationship and difference between traditional ideas and formal method concerning program exception analysis. In the end of the article, we make some ideas about exception analysis based on formal semantic study of procedure calls. Exception handling is seen as a special semantic effect of procedures calls.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Fu, C.: Improving Software Reliability Using Exception Analysis of Object Oriented Programs. ProQuest (2008)
Ko, C., Ruschitzka, M., Levitt, K.: Execution monitoring of security-critical programs in distributed systems: a specification-based approach. In: Proceedings of the 1997 IEEE Symposium on Security and Privacy, pp. 175–187 (1997)
Jin, D.: Research on the Effect of Runtime Exception in Software Static Testing. Journal of Computers 34, 1090–1110 (2011)
Jiang, C.: Verification of Terminability for Exception Processing in Service-oriented Software. Journal of Frontiers of Computer Science & Technology 06 (2012)
Tian, F., Li, R., He, B., Zhang, J.: Modeling and Analysis of Exception Handling Based on Multi-Agent in Computer Supported Collaborative Design. Journal of Xian Jiaotong University 38, 5 (2004)
Pereira, D.P., de Melo, A.C.V.: Formalization of an architectural model for exception handling coordination based on CA action concepts. Science of Computer Programming 75, 333–349 (2010)
Cai, C., et al.: Global-to-Local Approach to Rigorously Developing Distributed System with Exception Handling. Journal of Computer Science & Technology, 238–249 (2009)
Wu, Q.: Exception Handling Model Based on Colored Petri Net in Service-oriented Software. Computer Science 38 (2011)
Hamadi, R., Benatallah, B., Medjahed, B.: Self-adapting recovery nets for policy-driven exception handling in business processes. Distributed and Parallel Databases 23, 1–44 (2008)
Castor Filho, F., Romanovsky, A., Rubira, C.M.F.: Improving reliability of cooperative concurrent systems with exception flow analysis. Journal of Systems and Software 82, 874–890 (2009)
Brito, P.H.S., De Lemos, R., Rubira, C.M.F., Martins, E.: Architecting fault tolerance with exception handling: verification and validation. Journal of Computer Science and Technology 24, 212–237 (2009)
Brennan, P.T.: Observations on program-wide Ada exception propagation. In: Proceedings of the Conference on TRI-Ada 1993, New York, pp. 189–195 (1993)
Li, S., Tan, G.: JET: exception checking in the Java native interface. SIGPLAN Not 46, 345–358 (2011)
Schaefer, C.F., Bundy, G.N.: Static analysis of exception handling in Ada. Software: Practice and Experience 23, 1157–1174 (1993)
Qiu, X., Zhang, L., Lian, X.: Static analysis for java exception propagation structure. In: 2010 IEEE International Conference on Progress in Informatics and Computing (PIC), pp. 1040–1046 (2013)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, Y., Huang, S., Lin, J., Li, Y. (2015). Data Flow Analysis and Formal Method. In: Wang, H., et al. Intelligent Computation in Big Data Era. ICYCSEE 2015. Communications in Computer and Information Science, vol 503. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-46248-5_48
Download citation
DOI: https://doi.org/10.1007/978-3-662-46248-5_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-46247-8
Online ISBN: 978-3-662-46248-5
eBook Packages: Computer ScienceComputer Science (R0)