WEKO3
-
RootNode
アイテム
拡張有限状態機械を用いた運用プロファイルベースドテスト法のフレームワーク
https://ipsj.ixsq.nii.ac.jp/records/83629
https://ipsj.ixsq.nii.ac.jp/records/83629402c6e44-2ccd-4924-8cc9-cb6f5120de56
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SES2012025.pdf (362.7 kB)
|
Copyright (c) 2012 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-08-21 | |||||||
| タイトル | ||||||||
| タイトル | 拡張有限状態機械を用いた運用プロファイルベースドテスト法のフレームワーク | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | The Framework of Operational Profile-Based Testing Using Extended Finite State Machines | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | テストデータ・テストケース自動生成 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 香川大学工学部 | ||||||||
| 著者所属 | ||||||||
| 香川大学工学部 | ||||||||
| 著者所属 | ||||||||
| 香川大学工学部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Kagawa University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Kagawa University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering, Kagawa University | ||||||||
| 著者名 |
高木, 智彦
× 高木, 智彦
|
|||||||
| 著者名(英) |
Tomohiko, Takagi
× Tomohiko, Takagi
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 拡張有限状態機械に基づく運用プロファイルから，usage distribution coverage と N スイッチ網羅率ができるだけ大きいテストケースを生成するためのソフトウェアテストのフレームワークを提案する． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | This paper shows a software testing framework in which an operational profile that is based on an EFSM (extended finite state machine) automatically produces test cases to achieve high usage distribution coverage and N-switch coverage. | |||||||
| 書誌情報 |
ソフトウェアエンジニアリングシンポジウム2012論文集 巻 2012, p. 1-6, 発行日 2012-08-21 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
