Modeling variability in the video domain: language and experience report

被引:21
作者
Alferez, Mauricio [1 ]
Acher, Mathieu [2 ]
Galindo, Jose A. [3 ]
Baudry, Benoit [4 ]
Benavides, David [3 ]
机构
[1] Univ Luxembourg, Interdisciplinary Ctr Secur Reliabil & Trust SnT, 2 Ave JF Kennedy, L-1855 Luxembourg, Luxembourg
[2] Univ Rennes, DiverSE Team Inria Rennes, IRISA, CNRS, Rennes, France
[3] Univ Seville, Dept Comp Languages & Syst, Seville, Spain
[4] Royal Inst Technol, EECS SCS, KTH, Stockholm, Sweden
关键词
Variability modeling; Feature modeling; Software product line engineering; Configuration; Automated reasoning; Domain-specific languages; Video testing;
D O I
10.1007/s11219-017-9400-8
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In an industrial project, we addressed the challenge of developing a software-based video generator such that consumers and providers of video processing algorithms can benchmark them on a wide range of video variants. This article aims to report on our positive experience in modeling, controlling, and implementing software variability in the video domain. We describe how we have designed and developed a variability modeling language, called VM, resulting from the close collaboration with industrial partners during 2 years. We expose the specific requirements and advanced variability constructs; we developed and used to characterize and derive variations of video sequences. The results of our experiments and industrial experience show that our solution is effective to model complex variability information and supports the synthesis of hundreds of realistic video variants. From the software language perspective, we learned that basic variability mechanisms are useful but not enough; attributes and multi-features are of prior importance; meta-information and specific constructs are relevant for scalable and purposeful reasoning over variability models. From the video domain and software perspective, we report on the practical benefits of a variability approach. With more automation and control, practitioners can now envision benchmarking video algorithms over large, diverse, controlled, yet realistic datasets (videos that mimic real recorded videos)-something impossible at the beginning of the project.
引用
收藏
页码:307 / 347
页数:41
相关论文
共 73 条
  • [1] Abele Andreas., 2010, Proceedings of the 4th International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'10), V37, P101
  • [2] Customization and 3D Printing: A Challenging Playground for Software Product Lines
    Acher, Mathieu
    Baudry, Benoit
    Barais, Olivier
    Jezequel, Jean-Marc
    [J]. 18TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2014), VOL 1, 2014, : 142 - 146
  • [3] FAMILIAR: A domain-specific language for large scale management of feature models
    Acher, Mathieu
    Collet, Philippe
    Lahire, Philippe
    France, Robert B.
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (06) : 657 - 681
  • [4] Modeling Variability from Requirements to Runtime
    Acher, Mathieu
    Collet, Philippe
    Lahire, Philippe
    Moisan, Sabine
    Rigault, Jean-Paul
    [J]. 2011 16TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2011, : 77 - 86
  • [5] An orchestrated survey of methodologies for automated software test case generation
    Anand, Saswat
    Burke, Edmund K.
    Chen, Tsong Yueh
    Clark, John
    Cohen, Myra B.
    Grieskamp, Wolfgang
    Harman, Mark
    Harrold, Mary Jean
    McMinn, Phil
    Bertolino, Antonia
    Li, J. Jenny
    Zhu, Hong
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2013, 86 (08) : 1978 - 2001
  • [6] [Anonymous], 2013, P 17 INT SOFTW PROD
  • [7] [Anonymous], 2011, P 5 INT WORKSH VAR M, DOI DOI 10.1145/1944892.1944894
  • [8] [Anonymous], 2012, P 16 INT SOFTW PROD, DOI DOI 10.1145/2362536.2362568
  • [9] [Anonymous], VAMOS 13
  • [10] [Anonymous], TECH REP