データフロー解析によるテスト, 保守支援ツール
スポンサーリンク
概要
- 論文の詳細を見る
データフロー解析はプログラム中の変数の定義と使用の関係を調べることによって,プログラムの処理内容を解析しようとするもので,リバースエンジニアリングの重要な手法の一つである.我々はデータフロー解析の応用として,プログラムプランを用いて失われた情報を回復し,プログラムの理解を支援するシステム,およびより高度な抽象化の合成を目指して,ソースプログラムから概念モデルを生成するための手法について研究を進めている.また,データフロー解析を利用したテストは重要なプログラムテスト手法の1つであり,我々はそれを組み込んだテスト支援環境の開発を進めている.
- 社団法人電子情報通信学会の論文
- 1994-01-14
著者
-
橋本 正明
九州工業大学
-
岩城 明宏
九州工業大学情報工学部
-
廣田 豊彦
九州工業大学情報工学部
-
土田 行一
九州工業大学情報工学部 情報工学研究科
-
須河内 寛
九州工業大学情報工学部
-
田中 伸
九州工業大学情報工学部
-
土田 行一
九州工業大学情報工学部
関連論文
- 要求獲得に起因するスケジュール遅れを防ぐためのPMパターンの研究について(要求工学教育,プロジェクト管理)
- 1506 プロジェクト要件の価値評価方法とそのモデリング(一般セッション)
- 組込みシステム非正常系分析手法の定性推論による定式化
- 特発性正常圧水頭症の治療におけるシャント・システムの現状 (特集 特発性正常圧水頭症(iNPH)--最近の話題)
- ミドルウェアアクセスのためのアスペクト指向記述
- アスペクト指向に基づくMDAモデルコンパイラとその実装
- CCPM法を用いた継続的改善プロセスのモデリング
- 2307 高品質組込みソフトウェア設計における非機能要求に着目したプロジェクトマネジメント(一般セッション)
- 情報駆動学の実現抽象化階層とドメイン・モデリングから見たミドルウェアに関する一考察
- 組込みソフトウェア非正常系の概念モデル(ミドルウェア・組込み)
- 組込みシステム非正常系分析のためのIFDと分析マトリクスを統合した定式化
- 組込みシステム非正常系分析におけるQFDとガイドワードに関する考察
- 情報フロー・ダイアグラムと分析マトリクスを統合した組込みソフトウェア非正常系要求分析手法の適用事例と考察
- 情報フロー・ダイアグラムによる組み込みソフトウェア非正常系の要求分析の一手法(開発環境,組込みシステム工学)
- 情報フロー・ダイアグラムによる組込みソフトウェア非正常系の分析手法
- 組込みソフト非正常系における基礎モデル及び仕様分析手法の提案(Web, 組込み(学生セッション))
- 組込みソフトウェア非正常系の概念モデルによる情報フロー・グラフの解析
- 組込みソフトウェア仕様抽出のための非正常系分析マトリクス(ミドルウェア・組込み)
- 建築施工プロセスモデリングのための事例分析
- 2809 効率的な要求獲得によるリスク回避の実証研究(一般セッション)
- レストラン注文管理システムにおける統合型要求プロセスの調査
- 2415 プロジェクトマネジメント手法定着のための人的資源マネジメントに関する一考察 : 組織-個人統合モデルの提案による定着過程の分析(一般セッション)
- 哲学ゼミの10年から見たソフトウェア・モデリングの一考察
- 統合型要求工学の実証研究に向けて
- 統合型要求工学の実証研究に向けて
- 成人水頭症の圧可変式シャントシステムを用いたシャント治療における合併症の検討 (特集 正常圧水頭症(その1))
- 特発性正常圧水頭症の治療の実際(LS-4 特発性正常圧水頭症の診断と治療, 第25回 日本脳神経外科コングレス総会)
- プロジェクトマネジメント学会九州支部活動報告
- プロジェクトマネジメント学会九州支部活動報告(Mail to PM)
- プロジェクトマネジメント学会九州支部活動報告
- 組込み製品開発プロジェクトにおけるスキルに着目したチームビルディング
- ソフトウェア技術者の知識の特徴に関する一考察(知能ソフトウェア工学〔第3回〕)
- CCPM手法が提供するバッファーマネジメントの役割(PM革新)
- 5 システムの非正常系の要求分析(要求工学)
- 製造業の組織変革を伴うIT導入初期の進め方(成功するプロジェクトのための仕組みと組織活動)
- 物流センター業務のモデリングと設計方法 : 設計パターンに着目した設計方法
- 物流センター業務のモデリングと設計方法 : 入出荷の構造変換に着目したモデリング
- 1204 製造業における組織変革を伴うIT導入初期の進め方について(一般セッション)
- 知識情報処理システムのためのミドルウェア層の検討
- 1307 CCPM導入事例におけるヒューマンファクタの分析 : ローラーの期待理論モデルの適用(一般セッション)
- 1103 組込みソフトウェア開発上流工程における要求トレーサビリティ・モデルを用いた非正常系分析支援(一般セッション)
- QFDによる組込みソフトウェア分析・設計の品質管理モデリングに関する一考察(組込みソフトウェア開発のPM)
- 2510 プロジェクト・マネジメントのモデリングに関する考察(一般セッション)
- 1202 QFDによる組込みソフトウェア分析・設計の品質管理モデリングに関する一考察(一般セッション)
- 業務システムのための知識処理サーバの設計と実装(知識処理)
- 九州大学 トライボロジー・設計工学研究室
- リーン・メソッドに着目した業務分析プロセス・モデリングの検討
- リーン・メソッドに着目した業務分析プロセス・モデリングの検討
- リーン・メソッドに着目した業務分析プロセス・モデリングの検討
- 重症頭部外傷に対して低体温療法を施行した学童児2症例の検討
- 仕様記述言語PSDLからオブジェクト指向言語への変換
- Houston, We Have a Problem (Apollo 13 Captain) : 品質マネジメント研究会の今後の話題
- 九州工業大学におけるパーソナルソフトウェアプロセス教育 : −ソフトウェア品質向上のためのスキル修得−
- 1103 木造住宅施工工程計画に特化したOMT概念モデル構築の研究(情報システム技術)
- 11035 空間構成属性文法モデルと構文解析による住宅平面プラン導出の研究
- 11033 木造軸組工法住宅の施行工程計画に特化したOMT概念モデリング : プロセスの集約単位と制約を反映した動的モデルの導入
- 13 巨大骨腫を伴った頭蓋骨多発骨腫の1例(北日本脳神経外科連合会 第29回学術集会)
- 01P3-077 脳血管障害とNSTの関わり : 合併症と栄養管理実施加算への取り組み(輸液、経腸栄養管理,医療薬学の扉は開かれた)
- 3.心と意識 : 何がハード・プロブレムなのか(特別企画2 意識と心の神経哲学ワークショップ,第26回 日本脳神経外科コングレス総会)
- 自火報設計自動化のためのモデリングとその実装
- 知識ベースシステム開発支援環境INSIDEと実用システムへの適用
- 1104 構造設計オブジェクトモデルにおける仕様記述言語と編集操作言語の研究(情報システム技術)
- ニーズ指向情報システム構築の研究教育を目指す「情報駆動学」専攻の構想について
- 522 構造設計オブジェクト指向モデルと仕様記述言語に関する研究(建築計画)
- 530 建築施工プロセスモデリングのための事例分析に関する研究(建築計画)
- 11013 建築施工工程計画を対象とした概念モデリングに関する研究 : 施工知識と工程要素の属性化
- 606 建築設計のためのオブジェクト指向モデル : その1 設計操作モデル(建築計画)
- 建築設計のためのオブジェクト指向モデル : 設計操作モデル
- 応用ドメインに特化した概念モデル記述言語に関する一考察
- SPINによる仕様記述言語の検証
- グラフ型図面理解システム構築のためのドメイン分析・モデリング(要求工学・ドメイン分析)
- 建築物設計を事例としたドメイン特化概念モデルとその実装
- 要求分析のための概念モデル記述言語に関する一考察
- 建築物設計支援のための概念モデル記述言語
- 建築物設計支援のための概念モデル
- 11013 オブジェクトモデルに基づいた建築物設計支援システム
- 情報駆動学の実現抽象化階層とドメイン・モデリングから見たミドルウェアに関する一考察
- レビュー支援のためのCASEツール統合方式
- 図面理解ドメインの分析・モデリング
- 知的プログラム開発支援環境IPSEにおけるプログラム合成系
- データフロー解析によるテスト, 保守支援ツール
- 建築意匠設計の部屋配置設計に関するドメイン特化仕様記述言語の作成とその実装
- 建築意匠設計の部屋配置設計に関するドメイン特化仕様記述言語の作成とその実装
- 建築意匠設計における部屋配置設計のモデリング
- 11039 木造軸組工法住宅の工程計画に特化した概念モデルの研究 : 概念モデルのための事例分析
- ソフトウェア工学を学ぶ卒研生と大学院生を対象とした哲学ゼミの開講とその効果について
- WWW上で利用できるマルチメディア対応ドイツ語教材の構築と利用
- CAIの学習者・教材評価支援システムの要求分析
- ドイツ語CAI教材の一つの試み
- ドイツ語ドリル型CAIシステムのモデリングと実装
- WWWを利用した双方向ドイツ語学習支援システムの構築について
- 11010 建築設計支援のためのオブジェクト指向モデル : その1 設計モデル仕様記述言語
- 建築CAD図面データからのプロダクトモデル生成とその活用
- 建築CAD図面データからのプロダクトモデル生成
- 建築CAD図面からのオブジェクトの認識とモデル生成
- 建築CALS実装実験に参加して
- 機械設計のためのオブジェクトモデル
- ドメインモデルに基づくソフトウェア再利用に関する一実験
- 入出力データの構造不一致検出における処理ネック解決と精度向上
- 非正常系現象に着目した組込みシステムの障害シナリオ分析手法