文献

J-GLOBAL ID：201802250093654340   整理番号：18A1841896

省略と修飾パターンを用いた用語不一致検証による要求仕様の一貫性検証支援ツールの実現と適用評価

Implementation and its Evaluation of a Requirements Consistency Verification Support Tool Using Nomenclature Inconsistency Check Based on Omission and Embellishment Patterns

著者 (2件)： 位野木万里 (工学院大学情報学部) ,  近藤公久 (工学院大学情報学部)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 35  号： 3  ページ： 3_109-3_127(J-STAGE)  発行年： 2018年 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 要求仕様の品質特性である「一貫性」に着目し,ベテラン技術者が経験的に得た検証知識を形式知化し,それら知識に基づき,要求仕様の一貫性検証支援ツールを実現した.設計要素である,アクター,データ,画面,振る舞いに対して,仕様書内で設計要素の用語名が一貫しない状態を,省略パターン,修飾パターン,表記ゆれに分類し,それらを検証するための知識を用語不一致検証ルールとしてツールに組み込んだ.実システムの要求仕様書を用いて本ツールの適用評価を行い,本ツールは技術者の効率的な仕様検証を支援する点において一定の効果があることを明らかにした.(著者抄録)

シソーラス用語： *要求仕様 ,  *プログラム検証 ,  支援プログラム ,  システム評価 ,  一貫性 ,  *用語 ,  *ネットワークアーキテクチャ ,  *トラヒック処理 ,  *経路選定 ,  因子分析 ,  *フォールトトレランス ,  障害回復 ,  スイッチング ,  高速化 ,  日本 ,  評価試験
準シソーラス用語： ソフトウェアツール ,  要求仕様書

分類 (5件)： 計算機システム開発  (JD02010R) ,  情報加工一般  (AC05010A) ,  電話・データ通信・交換一般  (ND11010T) ,  ネットワーク法  (KA03040X) ,  その他のディジタル計算機方式  (JC02050G)

タイトルに関連する用語 (6件)： 修飾 ,  用語 ,  検証 ,  要求仕様 ,  支援ツール ,  評価