首页> 外文会议>International symposium on leveraging applications of formal method, verification and validation >Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm
【24h】

Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm

机译:使质量保证适应自适应系统:场景协同演化范例

获取原文

摘要

From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally re-distributed. We claim that all steps related to testing need to become self-adaptive to match the capabilities of the self-adaptive system-under-test. Otherwise, the adaptive system's behavior might elude traditional variants of quality assurance. We thus propose the paradigm of scenario coevolution, which describes a pool of test cases and other constraints on system behavior that evolves in parallel to the (in part autonomous) development of behavior in the system-under-test. Scenario coevolution offers a simple structure for the organization of adaptive testing that allows for both human-controlled and autonomous intervention, supporting software engineering for adaptive systems on a procedural as well as technical level.
机译:通过形式和实践分析,我们确定了自适应系统对质量保证过程提出的新挑战。解决这些问题时,自然会重新分配在软件工程过程中花费在各种任务上的精力。我们声称与测试相关的所有步骤都需要自适应,以匹配被测自适应系统的功能。否则,自适应系统的行为可能会避开传统的质量保证变体。因此,我们提出了场景协同进化的范例,该范例描述了一组测试用例和其他对系统行为的约束,这些约束与被测系统中行为的(部分自主)发展并行发展。场景协同进化为适应性测试的组织提供了一个简单的结构,该结构允许人工控制和自主干预,在程序和技术层面上支持适应性系统的软件工程。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号