HDCCSR: Software Self-Awareness Using Dynamic Analysis and Markov Models
HDCCSR: Software Self-Awareness Using Dynamic Analysis and Markov Models
批准号:
0429117
负责人:
Mary Harrold
金额:
$32.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2004
资助国家:
美国
项目状态:
已结题
起止时间:
2004-09-15 至 2008-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
Collaborative Research: ITR: Acquiring Accurate Dynamic Field Data Using Lightweight Instrumentation
-
批准号:0205422
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2002
-
负责人:Mary Harrold
-
依托单位:
Collaborative Research: MASSA: Mobile Agent System Security Through Analysis
-
批准号:0209322
-
项目类别:Continuing Grant
-
资助金额:$29.49万
-
财政年份:2002
-
负责人:Mary Harrold
-
依托单位:
Data-Flow Analysis of Large Software Systems
-
批准号:9988294
-
项目类别:Continuing Grant
-
资助金额:$32.0万
-
财政年份:2000
-
负责人:Mary Harrold
-
依托单位:
NSF Young Investigator: Testing Object-Oriented Programs
-
批准号:0096321
-
项目类别:Continuing Grant
-
资助金额:$18.98万
-
财政年份:1999
-
负责人:Mary Harrold
-
依托单位:
Scalable Program-Analysis-Based Testing and Maintenance: Infrastructure and Experimentation
-
批准号:0196145
-
项目类别:Continuing Grant
-
资助金额:$155.31万
-
财政年份:1999
-
负责人:Mary Harrold
-
依托单位:
Scalable Program-Analysis-Based Testing and Maintenance: Infrastructure and Experimentation
-
批准号:9707792
-
项目类别:Continuing Grant
-
资助金额:$155.31万
-
财政年份:1997
-
负责人:Mary Harrold
-
依托单位:
NSF Young Investigator: Testing Object-Oriented Programs
-
批准号:9696157
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1996
-
负责人:Mary Harrold
-
依托单位:
NSF Young Investigator: Testing Object-Oriented Programs
-
批准号:9357811
-
项目类别:Continuing Grant
-
资助金额:$16.12万
-
财政年份:1993
-
负责人:Mary Harrold
-
依托单位:
The Application of Data Flow Testing to Integration
-
批准号:9109531
-
项目类别:Standard Grant
-
资助金额:$7.16万
-
财政年份:1991
-
负责人:Mary Harrold
-
依托单位:
海外基金