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
- 作者:柳慶吾;石尾隆;井上克郎
- 通讯作者:井上克郎
{{
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)