• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on Information Technology - New Generations >On Combining Model-Based Analysis and Testing
【24h】

On Combining Model-Based Analysis and Testing

机译：基于模型的分析和测试

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

摘要

Testing a computer system is a challenging task, both due to the large number of possible test cases and the limited resources allocated for testing activities. This means that only a subset of all possible test cases can be chosen to test a system, and therefore the decision on the selection of test cases becomes important. The result of static analysis of a system can be used to help with this decision; in the context of model-based development of systems, this means that the analysis performed on a system model can be used to prioritize and guide the testing efforts. Furthermore, since models allow expression of non-functional requirements (such as performance, timing and security), model-guided testing can be used to direct testing towards specific parts of the system which have large impact on such requirements. In this paper, we focus on modeling and trade-off analysis of non-functional requirements and how static analysis helps to identify problematic parts of a system and thus guide the selection of test cases to target such parts.
机译：测试计算机系统是一个具有挑战性的任务，既由于大量可能的测试用例和分配用于测试活动的有限资源。这意味着只能选择所有可能的测试用例的子集来测试系统，因此决定测试用例的选择变得重要。系统静态分析的结果可用于帮助解决这一决定;在基于模型的系统的上下文中，这意味着在系统模型上执行的分析可用于优先考虑和指导测试工作。另外，由于模型允许的非功能性要求（如性能，定时和安全性）的表达，模型引导测试可用于引向这对这样的要求大的影响的系统的特定部分的测试。在本文中，我们专注于对非功能性要求的建模和权衡分析以及静态分析有助于识别系统的问题部分，从而指导选择测试用例以瞄准这些部分。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号