WEKO3
アイテム
VDM++仕様を用いたデシジョンテーブル自動生成ツールVDTableにおける複合条件式への対応
https://ipsj.ixsq.nii.ac.jp/records/183227
https://ipsj.ixsq.nii.ac.jp/records/183227ac715c89-c8c1-490b-9bee-aad1e317c65f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SES2017025.pdf (640.7 kB)
|
Copyright (c) 2017 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-08-23 | |||||||||
| タイトル | ||||||||||
| タイトル | VDM++仕様を用いたデシジョンテーブル自動生成ツールVDTableにおける複合条件式への対応 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Correspondence to Compound Conditional Expressions in Decision Table Automatic Generation Tool VDTable by Using VDM++ Specification | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 宮崎大学 | ||||||||||
| 著者所属 | ||||||||||
| 宮崎大学 | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| University of Miyazaki | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| University of Miyazaki | ||||||||||
| 著者名 |
黄, 一諾
× 黄, 一諾
× 片山, 徹郎
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 形式手法は，ソフトウェア開発において，仕様を厳密に記述する手段の 1 つである．一方，デシジョンテーブルはソフトウェアの論理の組み合わせを網羅的に表現するテスト技法の 1 つである．本研究室では，形式仕様記述言語 VDM++ で記述した仕様書 (VDM++ 仕様) から，デシジョンテーブルを自動的に生成するツール VDTable を開発した．しかし，既存の VDTable は，論理演算子を結合した複合条件式を処理する時，複合条件式を個々の単純な条件式に分割せずに，記述した条件をそのまま抽出して出力する．そこで本論文では，複合条件式に対応できるように，VDTable を改良する．改良した VDTable は，10 個の論理演算子を結合した複合条件式を記述した VDM++ 仕様に対して，1.3 秒程度の時間でデシジョンテーブルを自動生成できた． | |||||||||
| 論文抄録(英) | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | Formal methods, in software development, is one of the means to describe the specification strictly. On the other hand, the decision table is one of the testing techniques to exhaustively represent the logical combination included in software. Therefore, our laboratory developed VDTable (VDM Decision Table). VDTable can automatically generate the decision table, from the specification written in specification description language VDM++ (VDM++ specification). However, when VDTable processes a compound conditional expression combining logical operators, it extracts the described condition as it is without dividing the compound conditional expressions into individual simple conditional expressions, and outputs them. This paper improves VDTable so that it can correspond to compound conditional expressions. The improved VDTable can automatically generate a decision table in about 1.3 seconds from the VDM++ specification which has a compound conditional expressions combining 10 logical operators. | |||||||||
| 書誌情報 |
ソフトウェアエンジニアリングシンポジウム2017論文集 巻 2017, p. 175-181, 発行日 2017-08-23 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
