キーワード : 適合性試験


試験ポリシを用いたリアルタイム分散オブジェクトシステム試験方式
寺島 美昭 宮内 直人 福岡 久雄 佐藤 文明 水野 忠則 
誌名:   電子情報通信学会論文誌 B
発行日: 2004/11/01
Vol. J87-B  No. 11 ; pp. 1876-1887
論文種別:  論文
専門分野: 交換
キーワード: 
適合性試験分散オブジェクトブラックボックス試験IDLリアルタイム
 あらまし | 本文:PDF(547.1KB)

分散オブジェクトシステムにおけるオブジェクト動作の観測と試験方法の提案
寺島 美昭 今井 功 下間 芳樹 佐藤 文明 水野 忠則 
誌名:   電子情報通信学会論文誌 B
発行日: 2002/02/01
Vol. J85-B  No. 2 ; pp. 169-179
論文種別:  論文
専門分野: ソフトウェアプラットホーム
キーワード: 
CORBAIDLソフトウェア試験適合性試験
 あらまし | 本文:PDF(730.4KB)

凹多面体併合を用いた有理数プレスブルガー文真偽判定アルゴリズムの実装と形式的設計検証への適用
柴田 直樹 岡野 浩三 谷口 健一 
誌名:   電子情報通信学会論文誌 D
発行日: 2001/07/01
Vol. J84-D1  No. 7 ; pp. 999-1008
論文種別:  論文
専門分野: アルゴリズム
キーワード: 
有理数プレスブルガー文真偽判定凹多面体適合性試験
 あらまし | 本文:PDF(1.3MB)

拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法
李 湘東 東野 輝夫 樋口 昌宏 谷口 健一 
誌名:   電子情報通信学会論文誌 B
発行日: 1996/04/25
Vol. J79-B1  No. 4 ; pp. 137-147
論文種別:  論文
専門分野: 信号方式,通信プロトコル
キーワード: 
適合性試験試験系列通信プロトコル拡張有限状態機械
 あらまし | 本文:PDF(844KB)

OSI適合性試験スイートの評価法 - マルチトランジション試験
若杉 忠男 
誌名:   電子情報通信学会論文誌 B
発行日: 1996/04/25
Vol. J79-B1  No. 4 ; pp. 156-163
論文種別:  論文
専門分野: 通信ソフトウェア
キーワード: 
OSI適合性試験試験項目トランジションカバレジトランスポート
 あらまし | 本文:PDF(501.9KB)

OSI適合性試験スイートの必要度による評価とその応用
若杉 忠男 
誌名:   電子情報通信学会論文誌 B
発行日: 1996/04/25
Vol. J79-B1  No. 4 ; pp. 148-155
論文種別:  論文
専門分野: 通信ソフトウェア
キーワード: 
OSI適合性試験必要度試験目的トランスポートテストカバレジ
 あらまし | 本文:PDF(566.1KB)

最短試験系列を多項式時間で計算可能なプロトコルのクラスについて
行友 英記 角田 良明 菊野 亨 
誌名:   電子情報通信学会論文誌 B
発行日: 1993/04/25
Vol. J76-B1  No. 4 ; pp. 382-384
論文種別:  レター
専門分野: 
キーワード: 
プロトコル適合性試験試験系列チェックポイントリスタート
 あらまし | 本文:PDF(199KB)