講演名 | 2000/12/7 非決定性競合における到達可能性の高速判定法 小林 順平, 米田 多江, 太田 理, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 複数のサービスを同時に提供したときに生じるサービス仕様間の不整合のことをサービス競合と呼ぶ.サービス競合の中でも, 同一のイベントに対して遷移先が一意に決まらない競合を非決定性競合という.この非決定性競合の検出には, イベントが発生した時の状態が, 初期状態から到達可能な実際に起こりえる状態であるかどうかの判定(到達可能性判定)が必要となる.これに対し, 従来からさまざまな手法が提案されてきたが, 状態爆発等の問題が発生し膨大な計算量となるため, 競合検出上の大きな問題となっている.本論文では, 膨大な計算量発生の大きな原因であった端末割り当てを削減することに着目し, 到達可能性を簡単にかつ高速に判定する手法を提案する. |
抄録(英) | Services that independently operate normally will behave differently when simultaneously initiated with another service. This behavior is called a feature interaction. The interaction that the next state can't be determined uniquely for the same event is called the non-deterministic feature interaction. For detecting interactions, it is required to judge whether the state, where the event occurs, is reachable from the initial state or not. For the judgment, many methods have been proposed. But, still now, it is required huge computation time to judge the reachability. This paper proposes a new method to test the reachability, from the view point of decreasing the number of terminal assignments which is the main reason of huge computation time. By using the method all interaction anticipated were detected. |
キーワード(和) | 競合 / 仕様検証 / 端末割り当て / 非決定性 |
キーワード(英) | feature interactions / specification verification / terminal assignment / non-deterministic feature interactions |
資料番号 | SSE2000-196,PS2000-43 |
発行日 |
研究会情報 | |
研究会 | SSE |
---|---|
開催期間 | 2000/12/7(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Switching Systems Engineering (SSE) |
---|---|
本文の言語 | JPN |
タイトル(和) | 非決定性競合における到達可能性の高速判定法 |
サブタイトル(和) | |
タイトル(英) | The Effective Testing Method of Reachability for Detecting Non-Deterministic Feature Interactions |
サブタイトル(和) | |
キーワード(1)(和/英) | 競合 / feature interactions |
キーワード(2)(和/英) | 仕様検証 / specification verification |
キーワード(3)(和/英) | 端末割り当て / terminal assignment |
キーワード(4)(和/英) | 非決定性 / non-deterministic feature interactions |
第 1 著者 氏名(和/英) | 小林 順平 / Junpei KOBAYASHI |
第 1 著者 所属(和/英) | 創価大学工学部 SOKA University |
第 2 著者 氏名(和/英) | 米田 多江 / Tae YONEDA |
第 2 著者 所属(和/英) | 創価大学工学部 SOKA University |
第 3 著者 氏名(和/英) | 太田 理 / Tadashi OHTA |
第 3 著者 所属(和/英) | 創価大学工学部 SOKA University |
発表年月日 | 2000/12/7 |
資料番号 | SSE2000-196,PS2000-43 |
巻番号(vol) | vol.100 |
号番号(no) | 495 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |