课题基金 / 基金详情

HDCCSR: Software Self-Awareness Using Dynamic Analysis and Markov Models

HDCCSR: Software Self-Awareness Using Dynamic Analysis and Markov Models
HDCCSR:使用动态分析和马尔可夫模型的软件自我意识
批准号:
0429117
负责人:
Mary Harrold
金额:
$32.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2004
资助国家:
美国
项目状态:
已结题
起止时间:
2004-09-15 至 2008-08-31

项目摘要

项目成果

Mary Harrold的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Long-lived, autonomous software systems require ongoing self-assessment, which implies a comparison between expected and actualstimuli, as a prerequisite to self-diagnosis and repair. This project addresses the use of dynamic analysis and machinelearning techniques for behavior classification. The proposed work will- address fundamental research and education issues in dependable software-based computing systems by exploring how machine learning techniques can most effectively be applied to improve the self-assessment process;- develop research products in the form of prototype tools or methodologies, applying Markov models and cluster analysis to the assessment of program behavior data;- provide dependability attributes that are suitable for measuring the impact of the research products, such as the extent to which a set of Markov models successfully describes the behavior of a software system;- provide empirical evaluation/validation of the research products together with associated test data to validate the effectiveness of the approachThe proposed research will provide empirical data on the use of Markov models to encode behavioral models, and methodologiesand infrastructure for use in performing further experimentation.The resulting techniques for provisioning software with behavior models to aid in self-awareness will promote research on development of real-time systems.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
I-Corps: Tarantula Testing and Debugging System
  • 批准号:
    1245911
  • 项目类别:
    Standard Grant
  • 资助金额:
    $5.0万
  • 财政年份:
    2012
  • 负责人:
    Mary Harrold
  • 依托单位:
Automatic Fault Localization Using Statistics and Visualization: An Empirical Research Program
  • 批准号:
    0541049
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $40.34万
  • 财政年份:
    2006
  • 负责人:
    Mary Harrold
  • 依托单位:
Group Travel Grant for Faculty at Minority Institutions to Attend FSE-12
  • 批准号:
    0441530
  • 项目类别:
    Standard Grant
  • 资助金额:
    $2.5万
  • 财政年份:
    2004
  • 负责人:
    Mary Harrold
  • 依托单位:
Collaborative Research: Scalable Integration Testing of Object-Oriented Software: An Empirical Research Program
  • 批准号:
    0306372
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $20.11万
  • 财政年份:
    2003
  • 负责人:
    Mary Harrold
  • 依托单位:
海外基金