Presentation | 1999/11/18 A Study on Terminal Allocations for Detecting Feature Interactions Tae YONEDA, Junpei KOBAYASHI, Tadashi OHTA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Terminal allocation is one of difficult issues for detecting feature interactions. For same system state except terminal allocation, it depends on terminal allocation whether feature interactions occur. There fore, it is important matter how to make effective terminal allocation. This paper discusses about two problems, the number of terminal allocation and to which service the terminal belongs. For the former problem, this paper proposes how to reduce the number of equivalent terminal allocation and how to eliminate terminal allocation which gives illegal system states. This paper also shows the application result of the methods, they reduce the number of terminal allocation into 0.05%. For the latter problem, this paper proposes how to decide to which service the terminal belongs. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | feature interaction / specification verification / terminal allocation |
Paper # | IN99-73 |
Date of Issue |
Conference Information | |
Committee | IN |
---|---|
Conference Date | 1999/11/18(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Information Networks (IN) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | A Study on Terminal Allocations for Detecting Feature Interactions |
Sub Title (in English) | |
Keyword(1) | feature interaction |
Keyword(2) | specification verification |
Keyword(3) | terminal allocation |
1st Author's Name | Tae YONEDA |
1st Author's Affiliation | Soka University() |
2nd Author's Name | Junpei KOBAYASHI |
2nd Author's Affiliation | Soka University |
3rd Author's Name | Tadashi OHTA |
3rd Author's Affiliation | Soka University |
Date | 1999/11/18 |
Paper # | IN99-73 |
Volume (vol) | vol.99 |
Number (no) | 436 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |