An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios

详细信息    查看全文

• 作者：Mathilde Arnaud ^{mathilde.arnaud@cea.fr" class="auth_mail" title="E-mail the corresponding author} ; Boutheina Bannour ^{boutheina.bannour@cea.fr" class="auth_mail" title="E-mail the corresponding author} ; Arnault Lapitre¹ ; ^{arnault.lapitre@cea.fr" class="auth_mail" title="E-mail the corresponding author}
• 关键词：Symbolic execution and tools ; Modeling languages semantics ; UML Scenario-based Interactions ; VSL/MARTE timing constraints ; Test selection strategy and coverage
• 刊名：Electronic Notes in Theoretical Computer Science
• 出版年：2016
• 出版时间：26 February 2016
• 年：2016
• 卷：320
• 期：Complete
• 页码：21-34
• 全文大小：313 K

文摘

DIVERSITY is a multi-purpose customizable platform based on symbolic execution. DIVERSITY has been designed for the purpose of managing the diversity of different semantics, but also the diversity of possible analyses based on symbolic execution. In this paper, we show how the input language of DIVERSITY can be used to encode the semantics of UML scenarios which include timing constraints expressed with the VSL language (standardized in the UML profile for embedded systems MARTE). We apply symbolic execution on practical scenarios of a system-on-chip example³ in order to select test behaviors using an advanced exploration strategy implemented in DIVERSITY.