Výsledky vyhledávání - "プログラム依存グラフ"

A Defect Detection Technique Based on Consistency Checking of Program Dependence Graphs

Autor: Yamada, Goro, Yoshida, Norihiro, Inoue, Katsuro

Publikováno v: 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 110(169):23-28

本稿では, プロジェクト内の各ソースファイルから構築したプログラム依存グラフに対し一貫性検査を行うことで, ソースコードから欠陥候補を検出する手法を提案する. プログラム依存�

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::68e33046e697daf1df92ff7da5f80621
https://hdl.handle.net/11094/26656

Zobrazit plný text záznamu

A proposal and implementation of the information leak analysis using program dependence graph

Autor: Nishi, Hideo, Yokomori, Reishi, Inoue, Katsuro

Publikováno v: 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 102(246):19-24

情報漏洩解析とは, 重要な情報を扱うプログラムが情報の漏洩を引き起こさないかどうか確認するための手法である. プログラムの入力値に設定された機密度から出力値の機密度を求める

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::f2941b97a79b1a6fc0a64669a033093a
https://hdl.handle.net/11094/26713

Zobrazit plný text záznamu

Program Slicing Technique Using Function Call History

Autor: Jihira, Minoru, Nishimatsu, Akira, Kusumoto, Shinji, Inoue, Katsuro

Publikováno v: 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 98(86):9-15

本研究では, プログラムを実行して得られる動的な情報を静的スライスに組み合せることで, 動的スライスよりも小さな時間的・空間的コストで静的スライスの一部を抽出する技法を提案

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::6617cdc1a0b58791ddae68bcaaabc1a3
https://hdl.handle.net/11094/26688

Zobrazit plný text záznamu

Incremental Update Method of Program Dependence Graph

Autor: Takada, Tomonori, Sato, Shinichi, Inoue, Katsuro

Publikováno v: 電子情報通信学会論文誌D-I. (3):253-260

プログラム依存グラフ(Program Dependence Graph, PDG)は，プログラム中の文間の依存関係を表す有向グラフである．PDGの辺をたどることにより，ある文に関連する文の集合(プログラムスライス�

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::f85c91711a1137a415dcef30b76cddf1
https://hdl.handle.net/11094/26479

Zobrazit plný text záznamu

Incremental Update Method of Program Dependence Graph

Autor: Takada, Tomonori, Sato, Shin'ichi, Inoue, Katsuro

Publikováno v: 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 96(490):49-56

プログラム依存グラフ(Program Dependence Graph, PDG)は, プログラム内の文間の依存関係を表す有向グラフである. このPDGの辺をたどることにより, ある文に関連する文の集合(プログラムスライ�

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::323494af15e9d89b1a0a5b01d98f512d
https://hdl.handle.net/11094/26636

Zobrazit plný text záznamu

Efficient Dependence Analysis Algorithm for Programs with Pointers and Recursive Calls

Autor: Sato, Shinichi, Ueda, Ryouichi, Inoue, Katsuro

Publikováno v: 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 95(475):9-16

プログラムの依存関係解析は, デバッグや保守, コンパイル時の最適化などに利用されており, 非常に有用である. しかし, エイリアスの影響が手続きを越えて伝わるようなプログラムの依

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::c1ae70ac39e99c9f8cfff1dc3ad15652
https://hdl.handle.net/11094/26649

Zobrazit plný text záznamu

Debug support system based on program dependence analysis

Autor: Sato, Shinichi, Kobayashi, Takanori, Iida, Hajimu, Inoue, Katsuro, Torii, Koji

Publikováno v: 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス. 95(53):23-30

ソフトウェアが大規模化,複雑化するにつれ, プログラム中のバグ位置を特定するのが容易ではなくなっている. 本研究では, プログラムの依存関係解析に基づいて, スライス抽出や部分解�

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::fbb89806608dcac7a895aacb563d5c52
https://hdl.handle.net/11094/26637

Zobrazit plný text záznamu

An Algorithm of Computing Slices for Recursive Program

Autor: Ueda, Ryoichi, Lian, Lin, Inoue, Katsuro, Torii, Koji

Publikováno v: 電子情報通信学会論文誌D-I. (1):11-22

プログラムスライスは，デバッグ，テスト，プログラム合成などに利用される有用な技術である．プログラムP のスライスとは，直感的にはP 中のある地点n およびある変数v に対して，n

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=jairo_______::2bf0260842c0d504b9f2af17f1d27872
https://hdl.handle.net/11094/26457

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání