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 条
  • [1] Interconnecting the ObjectGEODE and CAESAR-ALDEBARAN toolsets
    Kerbrat, A
    RodriguezSalazar, C
    Lejeune, Y
    SDL '97 - TIME FOR TESTING: SDL, MSC AND TRENDS, 1997, : 475 - 490
  • [2] Detecting feature interactions in CPL
    Xu, Yiqun
    Logrippo, Luigi
    Sincennes, Jacques
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2007, 30 (02) : 775 - 799
  • [3] Defining and detecting feature interactions
    Frappier, M
    Mili, A
    Desharnais, J
    ALGORITHMIC LANGUAGES AND CALCULI, 1997, : 212 - 239
  • [4] Detecting feature interactions on relational specifications
    Frappier, M
    Mili, A
    Desharnais, J
    FEATURE INTERACTIONS IN TELECOMMUNICATION NETWORKS IV, 1997, : 123 - 137
  • [5] Detecting the Web services feature interactions
    Zhang, Jianyin
    Yang, Fangchun
    Su, Sen
    WEB INFORMATION SYSTEMS - WISE 2006, PROCEEDINGS, 2006, 4255 : 169 - 174
  • [6] 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
  • [7] 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
  • [8] Specification execution model for detecting feature interactions
    Shimokura, Masayuki
    Kawada, Sachiko
    Kawauchi, Shizuko
    Ohta, Tadashi
    ELECTRONICS AND COMMUNICATIONS IN JAPAN PART I-COMMUNICATIONS, 2007, 90 (04): : 23 - 34
  • [9] 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 - +
  • [10] 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
12345