...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Science of Computer Programming >Dependency safety for Java - Implementing and testing failboxes
【24h】

Dependency safety for Java - Implementing and testing failboxes

机译：Java的依赖安全性-实施和测试故障框

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Exception mechanisms help to ensure that a program satisfies the important robustness criterion of dependency safety: if an operation fails in an execution sequence, any code depending on the successful completion of this operation should also fail in a controlled way. However, the exception handling mechanisms available in languages like Java do not provide a structured way to achieve dependency safety. The language extension failbox provides dependency safety in a compositional manner. Asynchronous exceptions occurring inside the failbox code are a serious challenge in achieving dependency safety. In this article we present a Java implementation which deals with this challenge by developing failboxes incrementally, through four increasingly robust iterations. For each incremental implementation step we analyze the vulnerabilities and argue the remedies in the next implementation. We also present a testing approach to investigate whether the vulnerabilities are realistic and the remedies proposed are effective. This testing approach enables us to generate asynchronous exceptions in a controlled manner for concurrent programs and the tests are repeatable in that they give the same results for runs that may differ in scheduling, even on different platforms. (C) 2019 Published by Elsevier B.V.
机译：异常机制有助于确保程序满足依赖关系安全性的重要鲁棒性标准：如果操作在执行序列中失败，则取决于此操作成功完成的任何代码也应以受控方式失败。但是，像Java这样的语言中可用的异常处理机制没有提供实现依赖项安全性的结构化方法。语言扩展故障框以组合方式提供了依赖项安全性。故障箱代码内发生的异步异常是实现依赖项安全性的严峻挑战。在本文中，我们提供了一个Java实现，它通过四个日益强大的迭代来逐步开发故障框来应对这一挑战。对于每个增量实施步骤，我们都会分析漏洞，并在下一个实施中讨论补救措施。我们还提出了一种测试方法，以调查漏洞是否现实以及所建议的补救措施是否有效。这种测试方法使我们能够以受控方式为并发程序生成异步异常，并且这些测试具有可重复性，因为即使在不同的平台上，它们对于调度可能不同的运行也能提供相同的结果。 （C）2019由Elsevier B.V.发布

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号