| 講演名 | 2002/5/10 プログラム構造の仕様逆追従性 佐藤 匡正, |
|---|---|
| PDFダウンロードページ | PDFダウンロードページへ |
| 抄録(和) | ソフトウェア開発における品質特性の一つに追従性がある.これは,ソフトウェアが仕様に添って設計されていることを示す性質である.一般に,ソフトウェアの設計は仕様に基づいて実施されるから追従性をもつ筈である.しかし,両者は表現方法が全く異なるために,人間の眼によって見比べる以外に明快な方法は確立していない.本論文では,追従性の分析方式として,プログラム構造に着目し,これを形式化することによって,自然語記述の仕様との対応を詳細に調べる方法を提案し,この有効性および適用性を論ずる. |
| 抄録(英) | One of the important quality characteristics in software development is the traceability. It is the property to indicate that the software has been designed in accordance with the specifications for it. Generally it could keep the traceability between both. There is, however, no effective methods established due to the differences in the expression methods for both. This paper proposes an analysis method through formalizing program structures to check the correspondences to the specifications precisely discussing on the effectiveness applied. |
| キーワード(和) | 構造と機構 / 形式化 / HCP図法 / 追従性分析 / 強制制御 |
| キーワード(英) | structure and mechanism / formalization / HCP chart / traceability analysis / compulsive controls |
| 資料番号 | SS2002-3 |
| 発行日 |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2002/5/10(から1日開催) |
| 開催地（和） | |
| 開催地（英） | |
| テーマ（和） | |
| テーマ（英） | |
| 委員長氏名（和） | |
| 委員長氏名（英） | |
| 副委員長氏名（和） | |
| 副委員長氏名（英） | |
| 幹事氏名（和） | |
| 幹事氏名（英） | |
| 幹事補佐氏名（和） | |
| 幹事補佐氏名（英） | |
| 講演論文情報詳細 | |
| 申込み研究会 | Software Science (SS) |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | プログラム構造の仕様逆追従性 |
| サブタイトル（和） | |
| タイトル（英） | Reverse Traceability of Program Structure to Specification |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 構造と機構 / structure and mechanism |
| キーワード(2)（和/英） | 形式化 / formalization |
| キーワード(3)（和/英） | HCP図法 / HCP chart |
| キーワード(4)（和/英） | 追従性分析 / traceability analysis |
| キーワード(5)（和/英） | 強制制御 / compulsive controls |
| 第 1 著者 氏名（和/英） | 佐藤 匡正 / TADAMASA SATOU |
| 第 1 著者 所属（和/英） | 島根大学総合理工学部 Faculty of Science and Engineering Shimane University |
| 発表年月日 | 2002/5/10 |
| 資料番号 | SS2002-3 |
| 巻番号（vol） | vol.102 |
| 号番号（no） | 63 |
| ページ範囲 | pp.- |
| ページ数 | 5 |
| 発行日 | |