• Media type: E-Article
  • Title: Verisim : Formal analysis of network simulations : Formal analysis of network simulations
  • Contributor: Bhargavan, Karthikeyan; Gunter, Carl A.; Kim, Moonjoo; Lee, Insup; Obradovic, Davor; Sokolsky, Oleg; Viswanathan, Mahesh
  • Published: Association for Computing Machinery (ACM), 2000
  • Published in: ACM SIGSOFT Software Engineering Notes, 25 (2000) 5, Seite 2-13
  • Language: English
  • DOI: 10.1145/347636.347833
  • ISSN: 0163-5948
  • Keywords: General Medicine
  • Origination:
  • Footnote:
  • Description: Why are there so few successful "real-world" programming and testing tools based on academic research? This talk focuses on program analysis tools, and proposes a surprisingly simple explanation with interesting ramifications. For a tool aimed at developers or testers to be successful, people must use it - and must use it to help accomplish their existing tasks, rather than as an end in itself. If the tool does not help them get their job done, or the effort to learn and/or use the tool is too great, users will not perceive enough value; the tool will not get significant usage, even if it is free. This talk focuses on the often-overlooked consequences of this seemingly basic statement in two major areas: program analysis, and the work beyond core analysis that must be done to make a successful tool. Examples will be drawn from tools that have been successfully used in industry (sold commercially, and developed for internal use).