Combining Monitoring with Run-Time Assertion Checking.
Advanced Lectures of the 14th International School on Formal Methods for Executable Software Models - Volume 8483(2014)
摘要
According to a study in 2002 commisioned by a US Department, software bugs annually costs the US economy an estimated $59 billion. A more recent study in 2013 by Cambridge University estimated that the global cost has risen to $312 billion globally. There exists various ways to prevent, isolate and fix software bugs, ranging from lightweight methods that are semi-automatic, to heavyweight methods that require significant user interaction. Our own method described in this tutorial is based on automated run-time checking of a combination of protocol- and data-oriented properties of object-oriented programs.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络