ポータム:モバルコードアプリケーションのためのポリシー,要求,脅威分析ツール
スポンサーリンク
概要
- 論文の詳細を見る
情報システムのユーザーや提供者は,システムが利用される前にシステムへの要求だけでなくシステムによる脅威も明確にしておく必要がある。特に第三者から供給されたソフトウェア部品を多数利用する際には,この点に細心の注意を払うべきである。この論文ではPORTAMという要求と脅威を分析し理解するための支援ツールの提案を行う。Javaモバイルコードアプリケーションでは複数のソフトウェア部品(クラス)を複数の提供元からダウンロードし組み合わせることでアプリケーションを構成することが可能である。PORTAMはこのようなアプリケーションの要求および脅威の分析に特化したツールである。PORTAMによって,与えられた環境下において,ある要求が充足できるか否か,およびある脅威が回避できるか否かを判定することができる。また,要求の充足と脅威の回避の間にトレードオフがあった場合,要求充足の断念もしくは脅威の黙認等のユーザーによる意思決定を管理する機能を有するPORTAMの提供するこのような機能群は要求や脅威を明確にすることに貢献するだけでなく,要求や脅威の分析が重要であることをユーザーが学ぶ助けにもなる。このようなPORTAMへの期待をケーススタディを通して確認した結果も本稿で紹介する。
- 国立情報学研究所の論文
著者
-
海尻 賢二
信州大学工学部情報工学専攻
-
海谷 治彦
信州大学工学部情報工学専攻
-
海尻 賢二
信州大学 工学部
-
佐々木 宏太
Shinshu University
-
海谷 治彦
Shinshu University
-
海尻 賢二
Shinshu University
関連論文
- 既存システムのユースケース図を利用したステークホルダと非機能要求の獲得法
- 要求分析のためのドメインオントロジ構築支援
- 類似既存システムの情報を利用した要求獲得支援システムの開発と評価 (システム開発論文特集)
- 要求変更によるソースコードへのインパクトを分析するシステムの開発と評価 (システム開発論文特集)
- 要求変更によるソースコードへのインパクトを分析するシステムの開発と評価(ソフトウェア開発支援,システム開発論文)
- 類似既存システムの情報を利用した要求獲得支援システムの開発と評価(ソフトウェア開発支援,システム開発論文)
- 要求追加によるインパクトの分析に基づく組込みソフトウェア開発の効率化(開発支援(学生セッション))
- 索引検索を用いた組み込みソフトウェアのインパクト分析支援ツール
- スペクトラム分析の実績に基づくソフトウェア品質要求評価ツールの実現と評価
- シソーラスを利用した要求獲得方法(THEOREE)
- 開発後段で品質要求が反映されていることをスペクトル分析で確認する手法
- 単語-品質特性対応表を用いた品質要求スペクトルの抽出法
- ソフトウェア要求仕様書における品質要求の含有率測定ツールの設計(モデルとメトリクス,プロジェクト管理とモニタリング,一般)
- ソフトウェア品質特性を用いたアプリケーションドメインのスペクトル分析
- ソフトウェア品質特性を用いたアプリケーションドメインのスペクトル分析
- 機械学習を用いた組み込みソフトウェアのインパクト分析(要求工学教育,プロジェクト管理)
- コモンクライテリアをドメイン知識としたゴール指向セキュリティ要求獲得法
- モデルチェッカを用いた要求仕様の法令準拠性の検査
- Error-prone予測モデルの再利用
- 国際会議RE'09への参加報告
- 既存類似システムの機能比較に基づく要求定義支援ツールの実現と評価
- 要求獲得におけるドメイン知識表現の役割(要求工学,ソフトウェア工学の理論と実践)
- 情報システム開発者の理解度に基づく業務知識の提供法
- 情報システム開発者の理解度に基づく業務知識の提供法
- ドメイン知識表現が要求獲得に与える影響の分析(要求獲得・分析(学生セッション))
- 既存システムのシナリオデータベースをもとにした要求獲得法
- プロセス改善の自己観測による設計手法有効性体験コースの実施(協調開発(学生セッション))
- GUIコンポーネントの特性をトリガーとしたユーザーインタフェース要求の獲得法
- 要求フレームを利用した品質要求分析支援
- コーディング規約の違反計測に基づく開発スタイルの特徴分析 (ソフトウェアサイエンス)
- オープンソース開発におけるSCMの自動分類に基づくevolutionの傾向分析と品質評価 (ソフトウェアサイエンス)
- チュータリングシステムにおける意志決定と詳細化に基くプログラム設計知識の形式化
- 初心者プログラマーに対するプログラム設計支援と設計知識
- 意思決定に基づくプログラム設計支援について
- プログラム設計指導システムにおけるデータベース
- 属性つきゴール指向要求分析法の支援のための統合ツール
- 属性つきゴール指向要求分析法の支援のための統合ツール
- WEB検索によるドメインオントロジの拡充支援ツールの開発と評価
- Web検索によるドメインオントロジ拡充支援方法(オントロジー,要求分析活動)
- 既存モデルの再利用によるError-proneモジュール予測
- 既存モデルの再利用によるError-proneモジュール予測
- 測度に基づく品質予測における最適な測度の選択(ソフトウェアの品質特性)
- 理解状況に適応した選択問題生成方法の検討
- マルチエージェントベースアプローチによるリスク・生産情報格差下における政府調達契約に関する一考察
- Eclipse 上でのコーディングスタイル診断機能の実現(学生セッション 2)
- Eclipse 上でのコーディングスタイル診断機能の実現
- マルチエージェントシミュレーションによる開発をともなう政府調達の制度設計に関する一考察
- 履歴情報を用いた英単語学習ツールの開発
- ISDN通信システムの高位レイヤにおける効率的な階層化構成
- 法律や規則に適合した要求の獲得支援
- 属性つきゴール指向要求分析法
- ポータム:モバルコードアプリケーションのためのポリシー,要求,脅威分析ツール
- UMLモデル間リンクによるシステムevolutionのサポート(2)
- Javaアプリケーションの要求仕様とセキュリティポリシィのトレードオフ分析
- 新技術導入をトリガーとした面接型教育方法の変更促進
- プログラミングスタイルの診断システムの構築
- プログラムパターンを利用したプログラミングスタイルの診断システム
- プログラムパターンを利用したプログラミングスタイルの診断システム
- WWWを利用した教育法に関する一考察 -現状と新方式の提案-
- プログラミングスタイルの診断システムの構築
- プラン認識に基づくCプログラムの保守ツール
- ネットワークを利用したレポート受付 ・ 評価支援システムの実現
- プラン認識を利用したプログラミングスタイルの診断
- プログラム認識に基づく初心者プログラムの診断システム
- 仕様プランの分類と知識表現について
- デザインパターンに基づくソフトウェアevolutionにおけるTraceability Linkの利用
- UMLモデル間リンクによるシステムevolutionのサポート
- デザインパターンを利用した、System Evolutionのパターン化
- 拡張弱順位関数
- 実行によるプログラムの診断 : Java ReflectionAPI によるプログラムのテスト(学生セッション 2)
- ダウンロード可能なソフトウェア部品の仕様化法
- 政府契約における開発リスクとコストに関する一考察
- オープンソース開発におけるSCMの自動分類に基づくevolutionの傾向分析と品質評価
- コーディング規約の違反計測に基づく開発スタイルの特徴分析
- デザインパターン保守のためのDPインスタンスの制約条件に関する考察
- ソフトウェアが中心でない製品における既存技術を利用したソフトウェア改訂支援
- 分析履歴を用いたソフトウェア品質要求のスペクトル分析法
- 要求獲得のためのオントロジをWebマイニングにより拡充する手法の提案と評価
- AjaxのためのWeb保守性メトリクスの提案 (知能ソフトウェア工学)
- スペクトル分析を用いたソフトウェア設計工程における品質特性情報の抽出 (知能ソフトウェア工学)
- ソフトウェアプロジェクトにおけるtraceabilityの確立 : 実プロジェクトへの適応 (ソフトウェアサイエンス)
- Ajaxアプリケーションの複雑性メトリクスの提案とツールの試作 (ソフトウェアサイエンス)
- サブモデルの再利用とメトリクスによるi^*SDモデルの改訂支援
- スペクトル分析を用いたソフトウェア設計工程における品質特性情報の抽出
- ソフトウェアプロジェクトにおけるtraceabilityの確立 : 実プロジェクトへの適用
- Ajaxアプリケーションの複雑性メトリクスの提案とツールの試作
- 静的解析によるAndroidパーミッションの利用目的の可視化方法
- Ontologyを使ったTraceability確立手法の評価
- 集約的手法によるError Prone モジュール予測における最適モデル集合の選択
- 最適なError-proneモジュール予測器の識別手法の提案
- Bugzilla等へ報告されるIssueの分類手法の提案
- 多数決手法によるError Prone予測手法の評価(一般)
- 多数決手法によるError Prone予測手法の評価(一般)
- commitログの新しい分類手法の提案と実験(ソフトウェア工学)
- Experimental Software Engineering : 予測、traceability、データマイニング(KBSE研究会20周年記念講演)
- 入力保存機能に注目したユーザビリティ評価のための画面遷移モデル(一般・学生)
- Traceability link recoveryのためのmethod miningの提案(一般・学生)
- ユーザピリティ要求確認を支援する Web プロトタイプ自動生成手法
- アセットフロー図と配置図を用いた情報システムのセキュリティ要求分析支援ツール(一般)
- 情報検索手法に基づくトレーサビリティリンク回復のための手法オプションについてのマイニングの提案と評価(ソフトウェア工学,学生論文)