WEKO3
アイテム
OOJ上に構築するソフトウェアV&Vのためのテスト環境の提案と実装
https://ipsj.ixsq.nii.ac.jp/records/95242
https://ipsj.ixsq.nii.ac.jp/records/952422d1b47a9-aa4a-4440-ad4b-7cad4131d0ee
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MPS13095009.pdf (529.0 kB)
|
Copyright (c) 2013 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2013-09-19 | |||||||
| タイトル | ||||||||
| タイトル | OOJ上に構築するソフトウェアV&Vのためのテスト環境の提案と実装 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | A proposal and its implementation of test environment for software V&V based on OOJ | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 現在，群馬工業高等専門学校教育研究支援センター | ||||||||
| 著者所属 | ||||||||
| 現在，茨城大学工学部 | ||||||||
| 著者所属 | ||||||||
| 現在，茨城大学工学部情報工学科 | ||||||||
| 著者所属 | ||||||||
| 現在，茨城大学工学部 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Presently with Technical Support Center for Education and Research, Gunma National College of Technology | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Presently with Faculty of Engineering, Ibaraki University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Presently with Department of Computer and Information Sciences, Ibaraki University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Presently with Faculty of Engineering, Ibaraki University | ||||||||
| 著者名 |
大木, 幹生
池田, 陽祐
上田, 賀一
畠山, 正行
× 大木, 幹生 池田, 陽祐 上田, 賀一 畠山, 正行
|
|||||||
| 著者名(英) |
Mikio, Ohki
Yousuke, Ikeda
Yoshikazu, Ueda
Masayuki, Hatakeyama
× Mikio, Ohki Yousuke, Ikeda Yoshikazu, Ueda Masayuki, Hatakeyama
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 個人規模のプログラム開発を目的として記述言語系 OOJ が構築されてきた．この OOJ は 4 つの内部サブ言語に分けて任意に詳細な追跡性を備えている． OOJ は一つにはプログラムがユーザの狙いや目的を正確に反映していること、および計算結果の妥当性を検証できる仕組みの実現を狙っているからである．本研究では OOJ 上にソフトウェア V&V のためのテスト環境を構築した事を報告する。具体的には客観的な検証のために IEEE Std 1012，829 等に準拠するテストケースを生成する仕組みを提案すると共にそのテスト環境の一部の実装を試みた．その結果，構造テストのテストケースとして利用可能なドキュメントを生成することが出来た． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | A descriptive language system OOJ and its descriptive environment for personal use has been developed. OOJ contains 4 inner sub-languages and the function for any detailed traceability. OOJ has been developed to attain the aims that the user-made program always reflect the user objectives and to confirm the validity of the calculated results. In the present paper, we will report on the test environments for the software V&V tests that we have developed. To attain this aim, we have proposed the mechanism to generate the test cases based on the IEEE Std 1012, 829, and a part of these test environment have been tried to implement. As the results, we have succeeded in generating some usable documents as the test cases of the structure test. | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10505667 | |||||||
| 書誌情報 |
研究報告数理モデル化と問題解決（MPS） 巻 2013-MPS-95, 号 9, p. 1-6, 発行日 2013-09-19 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
