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

来源：

2023 IEEE 24TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION FOR DATA SCIENCE, IRI | 2023年

基金：

美国国家科学基金会;

关键词：

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 条

[41] A semi-automated iterative process for detecting feature interactions
Rocha, Larissa
Machado, Ivan
Almeida, Eduardo
Kastner, Christian
Nadi, Sarah
34TH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING, SBES 2020, 2020, : 778 - 787
[42] Automatic elicitation of knowledge for detecting feature interactions in telecommunication services
Yoneda, T
Ohta, T
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (04) : 640 - 647
[43] Detecting safety-related components in statecharts through traceability and model slicing
Kan, Shuanglong
Huang, Zhiqiu
SOFTWARE-PRACTICE & EXPERIENCE, 2018, 48 (03): : 428 - 448
[44] A Goal-Based Configurable Transaction Model of Artifact-Centric Workflows
Qin, Haihuan
Chen, Leilei
2016 3RD INTERNATIONAL CONFERENCE ON SYSTEMS AND INFORMATICS (ICSAI), 2016, : 1127 - 1133
[45] A Method for Model Checking Feature Interactions
Pedersen, Thomas
Le Guilly, Thibaut
Ravn, Anders P.
Skou, Arne
2015 10TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), VOL 1, 2015, : 219 - 228
[46] Feature Interactions Enable Decoding of Sensorimotor Transformations for Goal-Directed Movement
Barany, Deborah A.
Della-Maggiore, Valeria
Viswanathan, Shivakumar
Cieslak, Matthew
Grafton, Scott T.
JOURNAL OF NEUROSCIENCE, 2014, 34 (20): : 6860 - 6873
[47] Reduction of the number of terminal assignments for detecting feature interactions in telecommunication services
Yoneda, T
Ohta, T
SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 202 - 209
[48] Reduction of the number of terminal assignments for detecting feature interactions in telecommunication services
Yoneda, Tae
Ohta, Tadashi
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, 2000, : 202 - 209
[49] Formal approaches for detecting feature interactions, their experimental results, and application to VoIP
Yoneda, T
Kawauchi, S
Yoshida, J
Ohta, T
FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS VII, 2003, : 205 - 212
[50] Detecting feature interactions: How many components do we need?
Calder, M
Miller, A
OBJECTS, AGENTS, AND FEATURES, 2004, 2975 : 45 - 66

← 1 2 3 4 5 →