Automatic Fault Detection based on Data-Flow Analysis for Software Components

基于软件组件数据流分析的自动故障检测

基本信息

  • 批准号:
    21700030
  • 负责人:
  • 金额:
    $ 2.5万
  • 依托单位:
  • 依托单位国家:
    日本
  • 项目类别:
    Grant-in-Aid for Young Scientists (B)
  • 财政年份:
    2009
  • 资助国家:
    日本
  • 起止时间:
    2009 至 2010
  • 项目状态:
    已结题

项目摘要

In this research, we have developed an algorithm of data-flow analysis for software components. While an existing data-flow analysis takes much time to analyze software, our research achieved an efficient analysis based on an approximation of the behavior of software. We have conducted case studies that show our algorithm extracts typical data-flow among components and our algorithm supports program understanding.
在这项研究中,我们开发了针对软件组件的数据流分析算法。尽管现有的数据流分析需要大量时间来分析软件,但我们的研究基于软件行为的近似来实现有效的分析。我们进行了案例研究,以显示我们的算法提取物之间的典型数据流,我们的算法支持程序的理解。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
オブジェクト生成の観測に基づくプログラム実行の要約の抽出
基于观察对象创建提取程序执行摘要
  • DOI:
  • 发表时间:
    2010
  • 期刊:
  • 影响因子:
    0
  • 作者:
    平石拓;八杉昌宏;馬谷誠二;中野佑紀
  • 通讯作者:
    中野佑紀
コード片に共通した特性を自動抽出するソースコード閲覧ツールの試作
自动从代码片段中提取共同特征的源代码查看工具原型
  • DOI:
  • 发表时间:
    2010
  • 期刊:
  • 影响因子:
    0
  • 作者:
    石尾隆;井上克郎
  • 通讯作者:
    井上克郎
協調動作するオブジェクト群の変化に基づく実行履歴の自動分割
根据协作对象的变化自动划分执行历史
変数間データフローグラフを用いたソースコード間の移動支援
支持使用变量之间的数据流图在源代码之间移动
  • DOI:
  • 发表时间:
    2011
  • 期刊:
  • 影响因子:
    0
  • 作者:
    悦田翔梧;石尾隆;井上克郎
  • 通讯作者:
    井上克郎
ソフトウェア部品利用例抽出のためのデータフロー解析手法の提案と評価
提取软件组件使用示例的数据流分析方法的提出和评估
  • DOI:
  • 发表时间:
    2010
  • 期刊:
  • 影响因子:
    0
  • 作者:
    柳慶吾;石尾隆;井上克郎
  • 通讯作者:
    井上克郎
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

ISHIO Takashi其他文献

湿式ボールミル法を用いた廃電子基板の脱臭素処理
湿式球磨法脱溴处理废旧电子基板
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    ISLAM Syful;WANG Dong;GAIKOVINA KULA Raula;ISHIO Takashi;MATSUMOTO Kenichi;真鍋良幸;梁川治暉,齋藤優子,熊谷将吾,亀田知人, 中川原聡,堀内章芳,渡邊宏満,吉岡敏明
  • 通讯作者:
    梁川治暉,齋藤優子,熊谷将吾,亀田知人, 中川原聡,堀内章芳,渡邊宏満,吉岡敏明
プラスチック問題解決に期待される化学・バイオ工学の役割
化学和生物工程有望解决塑料问题
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    ISLAM Syful;GAIKOVINA KULA Raula;TREUDE Christoph;CHINTHANET Bodin;ISHIO Takashi;MATSUMOTO Kenichi;吉岡敏明
  • 通讯作者:
    吉岡敏明
超好熱菌 Thermococcus kodakarensis 由来 N-グリ カンの構造決定および合成
超嗜热菌柯达卡伦西斯 N-聚糖的结构测定和合成
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
    ISLAM Syful;WANG Dong;GAIKOVINA KULA Raula;ISHIO Takashi;MATSUMOTO Kenichi;真鍋良幸;梁川治暉,齋藤優子,熊谷将吾,亀田知人, 中川原聡,堀内章芳,渡邊宏満,吉岡敏明;伊藤潤一郎;小澤裕之;栁澤琢史;平尾 宏太郎・真鍋 良幸・跡見 晴幸・MOLINARO Antonio・De CASTRO Cristina・深瀬 浩一
  • 通讯作者:
    平尾 宏太郎・真鍋 良幸・跡見 晴幸・MOLINARO Antonio・De CASTRO Cristina・深瀬 浩一
ファジングを用いた近似コンピューティング回路の品質検証手法の一検討
基于模糊测试的近似计算电路质量验证方法研究
  • DOI:
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    0
  • 作者:
    ISLAM Syful;WANG Dong;GAIKOVINA KULA Raula;ISHIO Takashi;MATSUMOTO Kenichi;吉末和樹,増田豊,石原亨
  • 通讯作者:
    吉末和樹,増田豊,石原亨
Phase-amplitude couplingはCNNによるてんかん弁別精度を改善する
相位幅度耦合提高了 CNN 癫痫判别准确性
  • DOI:
  • 发表时间:
    2022
  • 期刊:
  • 影响因子:
    0
  • 作者:
    ISLAM Syful;WANG Dong;GAIKOVINA KULA Raula;ISHIO Takashi;MATSUMOTO Kenichi;真鍋良幸;梁川治暉,齋藤優子,熊谷将吾,亀田知人, 中川原聡,堀内章芳,渡邊宏満,吉岡敏明;伊藤潤一郎;小澤裕之;栁澤琢史
  • 通讯作者:
    栁澤琢史

ISHIO Takashi的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('ISHIO Takashi', 18)}}的其他基金

Efficient Inspection Using Behavioral Properties of Software Components
使用软件组件的行为属性进行高效检查
  • 批准号:
    23680001
  • 财政年份:
    2011
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Young Scientists (A)
Automatic Document Extraction for Component Reuse
自动文档提取以实现组件重用
  • 批准号:
    19800021
  • 财政年份:
    2007
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Young Scientists (Start-up)

相似海外基金

Efficient Inspection Using Behavioral Properties of Software Components
使用软件组件的行为属性进行高效检查
  • 批准号:
    23680001
  • 财政年份:
    2011
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Young Scientists (A)
Extracting The Regions with No Memory Accessfor High-level Synthesis
提取没有内存访问的区域以进​​行高级综合
  • 批准号:
    22500034
  • 财政年份:
    2010
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Generation and verification of COINS compiler optimizers using temporal logic and high-level extensions of optimizers
使用时序逻辑和优化器的高级扩展生成和验证 COINS 编译器优化器
  • 批准号:
    22300007
  • 财政年份:
    2010
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Generation and verification of compiler optimizers using temporal logic and high-level SSA form optimization considering aliases
使用时态逻辑和考虑别名的高级 SSA 形式优化来生成和验证编译器优化器
  • 批准号:
    19300006
  • 财政年份:
    2007
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Automatic Document Extraction for Component Reuse
自动文档提取以实现组件重用
  • 批准号:
    19800021
  • 财政年份:
    2007
  • 资助金额:
    $ 2.5万
  • 项目类别:
    Grant-in-Aid for Young Scientists (Start-up)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了