Resource-Centric Goal Model Slicing for Detecting Feature Interactions

被引:1
|
作者
Peng, Zedong [1 ]
Dahiya, Mahima [1 ]
Khalil, Tessneem [1 ]
Niu, Nan [1 ]
Bhowmik, Tanmay [2 ]
Yang, Yilong [3 ]
机构
[1] Univ Cincinnati, Cincinnati, OH 45221 USA
[2] Mississippi State Univ, Mississippi State, MS USA
[3] Beihang Univ, Beijing, Peoples R China
基金
美国国家科学基金会;
关键词
feature interaction; goal-oriented requirements engineering; requirements-based testing; THEORETICAL REPLICATION;
D O I
10.1109/IRI58017.2023.00018
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Feature interaction (FI) occurs when the requirements are satisfied by the features in isolation but not in composition. We present a novel approach to FI detection via a lightweight modeling of two features' resource dependency. Our preliminary study on two Zoom features shows three types of resource dependency: produce-and-use, state-changing, and mutual-exclusion. We present the testing pattern associated with each type, report the FI testing results, and discuss our long-term directions toward using real-world software's features to ground and evaluate requirements engineering research.
引用
收藏
页码:58 / 63
页数:6
相关论文
共 50 条
  • [21] Defining and detecting feature interactions
    Frappier, M
    Mili, A
    Desharnais, J
    ALGORITHMIC LANGUAGES AND CALCULI, 1997, : 212 - 239
  • [22] Detecting feature interactions on relational specifications
    Frappier, M
    Mili, A
    Desharnais, J
    FEATURE INTERACTIONS IN TELECOMMUNICATION NETWORKS IV, 1997, : 123 - 137
  • [23] Detecting the Web services feature interactions
    Zhang, Jianyin
    Yang, Fangchun
    Su, Sen
    WEB INFORMATION SYSTEMS - WISE 2006, PROCEEDINGS, 2006, 4255 : 169 - 174
  • [24] Detecting feature interactions by pattern analysis
    Zuo, Ji-Hong
    Wang, Qian-Xiang
    Mei, Hong
    Ruan Jian Xue Bao/Journal of Software, 2007, 18 (04): : 796 - 807
  • [25] Detecting feature interactions with CAESAR/ALDEBARAN
    Korver, H
    SCIENCE OF COMPUTER PROGRAMMING, 1997, 29 (1-2) : 259 - 278
  • [26] An Extended Petri-Net Based Approach for Supply Chain Process Enactment in Resource-Centric Web Service Environment
    Wang, Xiaodong
    Zhang, Xiaoyu
    Cai, Hongming
    Xu, Boyi
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009, PT 1, 2009, 5870 : 130 - +
  • [27] Detecting feature interactions from accuracies of random feature subsets
    Ioerger, TR
    SIXTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-99)/ELEVENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE (IAAI-99), 1999, : 350 - 357
  • [28] Detecting feature interactions in home appliance networks
    Leelaprute, Pattara
    Matsuo, Takafumi
    Tsuchiya, Tatsuhiro
    Kikuno, Tohru
    PROCEEDINGS OF NINTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, : 895 - +
  • [29] Detecting Beneficial Feature Interactions for Recommender Systems
    Su, Yixin
    Zhang, Rui
    Erfani, Sarah
    Xu, Zhenghua
    THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2021, 35 : 4357 - 4365
  • [30] Model checking software product lines based on feature slicing
    Huang, Ming-Yu
    Liu, Yu-Mei
    INTERNATIONAL JOURNAL OF COMPUTATIONAL SCIENCE AND ENGINEERING, 2019, 18 (04) : 340 - 348