• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International workshop on software engineering for resilient systems >Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper)
【24h】

Towards Integrated Correctness Analysis and Performance Evaluation of Software Systems (Doctoral Forum Paper)

机译：拓展软件系统的综合正确性分析和绩效评估（博士论坛纸）

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

In recent times, the involvement of computer systems in our lives has been drastically increasing, as has the need of improving the resilience of these systems, e.g. so they can withstand errors and changes in their environment. Techniques such as testing and simulation are often used to ensure this, but in the case of complex, real-time systems, these techniques can only provide coverage for a limited set of possible system behaviours. Software model checking and stochastic verification are alternative techniques that formally and exhaustively verify whether software meets its functional requirements and establish the performance and dependability properties of software, respectively. The two formal techniques are often used in isolation, yet software must simultaneously ensure a combination of functional and non-functional requirements. The doctoral project described in this paper aims to bring these two areas of software verification together by enabling the joint analysis of functional and non-functional properties of software systems.
机译：最近，计算机系统在我们的生活中的参与急剧增加，这需要改善这些系统的弹性，例如，所以他们可以承受错误和变化的环境。诸如测试和仿真之类的技术通常用于确保这一点，但在复杂的实时系统的情况下，这些技术只能为有限的可能的系统行为提供覆盖范围。软件模型检查和随机验证是正式和彻底验证软件是否符合其功能要求并分别建立软件的性能和可靠性性能的替代技术。这两种正式技术通常用于隔离，但软件必须同时确保功能性和非功能性要求的组合。本文中描述的博士项目旨在通过使软件系统功能和非功能性能进行联合分析来实现这两个软件验证领域。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号