Detecting feature interactions with CAESAR/ALDEBARAN

被引：1
|
作者：
Korver, H
机构：
来源：
SCIENCE OF COMPUTER PROGRAMMING | 1997年 / 29卷 / 1-2期
关键词：
ALDEBARAN; CAESAR; feature interaction; intelligent networks (IN); LOTOS;
D O I：
10.1016/S0167-6423(96)00037-8
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Bouma and Zuidweg (Dutch PTT) formalised a simple example of feature interaction between two telephone services in LOTOS. The interaction takes place between the Abbreviated Dialling and Originating Call Screening service in the IN CS-1 Global Functional Plane. This paper reports on the results that were gained by analysing the example in CAESAR/ALDEBARAN, which is an advanced LOTOS verification toolbox. The results show that even for very small examples, verification goes beyond simulation and testing. (C) 1997 Elsevier Science B.V.
引用
收藏
页码：259 / 278
页数：20
相关论文
共 50 条
  • [21] 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
  • [22] Model Inference Approach for Detecting in Feature Interactions in Integrated Systems
    Shahbaz, Muzammil
    Parreaux, Benoit
    Klay, Francis
    FEATURE INTERACTIONS IN SOFTWARE AND COMMUNICATION SYSTEMS IX, 2008, : 161 - +
  • [23] 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
  • [24] 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
  • [25] 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
  • [26] Resource-Centric Goal Model Slicing for Detecting Feature Interactions
    Peng, Zedong
    Dahiya, Mahima
    Khalil, Tessneem
    Niu, Nan
    Bhowmik, Tanmay
    Yang, Yilong
    2023 IEEE 24TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION FOR DATA SCIENCE, IRI, 2023, : 58 - 63
  • [27] 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
  • [28] Detecting feature interactions: How many components do we need?
    Calder, M
    Miller, A
    OBJECTS, AGENTS, AND FEATURES, 2004, 2975 : 45 - 66
  • [29] A high abstraction level approach for detecting feature interactions between telecommunication services
    Chentouf, Zohair
    Khoumsi, Ahmed
    JOURNAL OF KING SAUD UNIVERSITY-COMPUTER AND INFORMATION SCIENCES, 2013, 25 (01) : 99 - 115
  • [30] Detecting Feature Interactions in Agricultural Trade Data Using a Deep Neural Network
    O'Donoghue, Jim
    Roantree, Mark
    McCarren, Andrew
    BIG DATA ANALYTICS AND KNOWLEDGE DISCOVERY, DAWAK 2017, 2017, 10440 : 449 - 458
12345