Scenario-based verification in presence of variability using a synchronous approach

被引：1

作者：

Millo, Jean-Vivien ^{[1
]}

Mallet, Frederic ^{[2
]}

Coadou, Anthony ^{[3
]}

Ramesh, S. ^{[3
]}

机构：

[1] INRIA Sophia Antipolis, Aoste Team, INRIA, UNS,CNRS,I3S, F-06560 Sophia Antipolis, France

[2] Univ Nice Sophia Antipolis, F-06900 Sophia Antipolis, France

[3] GM Tech Ctr India, Global Gen Motors R&D, India Sci Lab, Bangalore 560066, Karnataka, India

来源：

FRONTIERS OF COMPUTER SCIENCE | 2013年 / 7卷 / 05期

关键词：

Esterel; UML MARTE; scenario; verification; feature interaction; variability; MODEL CHECKING;

D O I：

10.1007/s11704-013-3094-6

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper presents a new model of scenarios, dedicated to the specification and verification of system behaviours in the context of software product lines (SPL). We draw our inspiration from some techniques that are mostly used in the hardware community, and we show how they could be applied to the verification of software components. We point out the benefits of synchronous languages and models to bridge the gap between both worlds.

引用

页码：650 / 672

页数：23

共 50 条

[21] Stochastic Constraint Programming: A Scenario-Based Approach
S. Armagan Tarim
Suresh Manandhar
Toby Walsh
[J]. Constraints, 2006, 11 : 53 - 80
[22] Using a scenario-based hybrid approach to understand participant health behavior
Xiong, Ka Z.
Shah, Shweta
Stone, Jamie A.
Jacobson, Nora
Chui, Michelle A.
[J]. RESEARCH IN SOCIAL & ADMINISTRATIVE PHARMACY, 2021, 17 (12): : 2070 - 2074
[23] Stochastic constraint programming: A scenario-based approach
Tarim, S. Armagan
Manandhar, Suresh
Walsh, Toby
[J]. CONSTRAINTS, 2006, 11 (01) : 53 - 80
[24] Quantification of Operational Risk: A Scenario-Based Approach
Amin, Zeinab
[J]. NORTH AMERICAN ACTUARIAL JOURNAL, 2016, 20 (03) : 286 - 297
[25] Scenario-based connector optimization -: An XML approach
Löwe, W
Noga, M
[J]. COMPONENT DEPLOYMENT, 2002, 2370 : 170 - 184
[26] A Scenario-Based Approach for Robust Linear Optimization
Goerigk, Marc
Schoebel, Anita
[J]. THEORY AND PRACTICE OF ALGORITHMS IN COMPUTER SYSTEMS, 2011, 6595 : 139 - 150
[27] Scenario-Based Evolutionary Approach for Robust RCPSP
Mogaadi, Hayet
Chaar, Besma Fayech
[J]. PROCEEDINGS OF THE SECOND INTERNATIONAL AFRO-EUROPEAN CONFERENCE FOR INDUSTRIAL ADVANCEMENT (AECIA 2015), 2016, 427 : 45 - 55
[28] Scenario-based approach to office occupancy analysis
Khamkanya, Thadsin
Heaney, George
McGreal, Stanley
[J]. PROPERTY MANAGEMENT, 2012, 30 (04) : 333 - +
[29] Scenario-based simulation approach for layout planning
Dombrowski, U.
Ernst, S.
[J]. EIGHTH CIRP CONFERENCE ON INTELLIGENT COMPUTATION IN MANUFACTURING ENGINEERING, 2013, 12 : 354 - 359
[30] A scenario-based approach to the evolution of telecommunications software
Mansurov, NN
Probert, RL
[J]. IEEE COMMUNICATIONS MAGAZINE, 2001, 39 (10) : 94 - 100

← 1 2 3 4 5 →