End-User Tracing for Software Replay
End-User Tracing for Software Replay
批准号:
0098229
负责人:
Peter Chen
金额:
$24.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2001
资助国家:
美国
项目状态:
已结题
起止时间:
2001-04-01 至 2005-03-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Software bugs currently cause the large majority of computer failures.Unfortunately, the current culture of software development tolerates therelease of software with numerous bugs. The best solution to this phenomenonis more thorough testing. This project seeks to increase the amount of testingand effective debugging undergone by modern software. This research enablesend users to serve as effective testers by tracing a program's executionautomatically and submitting the trace as a bug report. Such traces containall information needed for the software developer to reproduce the failure,even if that failure is non-deterministic. The goals of this trace-and-replaysystem reflect the end-user environment it is targeted for. The tracing systemshould have low-enough overhead to be left on during normal use. The tracingsystem should translate or encode the trace to maintain the user's privacy.The trace-and-replay system should be easy to use by the end user; for example,it should not need to modify the kernel or system libraries. If successful,the resulting system will dramatically increase the base of effective testersand hopefully result in more reliable software.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Excellence in Research: Development of High Resolution Coherent 2D Rovibrational Spectroscopy
-
批准号:1832098
-
项目类别:Standard Grant
-
资助金额:$49.99万
-
财政年份:2018
-
负责人:Peter Chen
-
依托单位:
RUI: High Resolution Coherent 3D Spectroscopy
-
批准号:1608010
-
项目类别:Standard Grant
-
资助金额:$31.95万
-
财政年份:2016
-
负责人:Peter Chen
-
依托单位:
MRI: Development of a High Resolution UV-VIS Coherent Multidimensional Spectrometer
-
批准号:1337522
-
项目类别:Standard Grant
-
资助金额:$55.0万
-
财政年份:2013
-
负责人:Peter Chen
-
依托单位:
CSR:Medium:Improving Software Reliability and Security Through Multicore Technology
-
批准号:0905149
-
项目类别:Continuing Grant
-
资助金额:$120.0万
-
财政年份:2009
-
负责人:Peter Chen
-
依托单位:
RUI: High Resolution Coherent Double Resonance Electronic Spectroscopy
-
批准号:0910232
-
项目类别:Continuing Grant
-
资助金额:$32.0万
-
财政年份:2009
-
负责人:Peter Chen
-
依托单位:
RUI: Coherent Two Dimensional Resonance Raman Spectroscopy
-
批准号:0616661
-
项目类别:Continuing Grant
-
资助金额:$28.9万
-
财政年份:2006
-
负责人:Peter Chen
-
依托单位:
CSR---PDOS: Browsing the Past Through Virtual-Machine Introspection and Replay
-
批准号:0614985
-
项目类别:Standard Grant
-
资助金额:$50.18万
-
财政年份:2006
-
负责人:Peter Chen
-
依托单位:
ITR: Research on the Profiling Problem in Cybersecurity and Anti-Terrorism
-
批准号:0326387
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Peter Chen
-
依托单位:
ITR: Covirt: Security Defenses for Insecure Operating Systems
-
批准号:0219085
-
项目类别:Standard Grant
-
资助金额:$42.0万
-
财政年份:2002
-
负责人:Peter Chen
-
依托单位:
Development of a High Resolution Universal Resonance Raman Probe for Challenging Systems in Chemistry and Materials Science
-
批准号:0215878
-
项目类别:Standard Grant
-
资助金额:$37.71万
-
财政年份:2002
-
负责人:Peter Chen
-
依托单位:
MRI/RUI(Chemistry): Development of High Speed Gas Chromatography - Multiplex Coherent Raman Spectroscopy
-
批准号:0116384
-
项目类别:Standard Grant
-
资助金额:$31.68万
-
财政年份:2001
-
负责人:Peter Chen
-
依托单位:
Travel Support: Workshop on Internet/Conceptual Modeling/Operating System
-
批准号:0071406
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2000
-
负责人:Peter Chen
-
依托单位:
Planning Visit to Organize a Joint Workshop on Internet/Databases Between the US and Brazil
-
批准号:9907264
-
项目类别:Standard Grant
-
资助金额:$0.48万
-
财政年份:1999
-
负责人:Peter Chen
-
依托单位:
Joint Workshop on "Databases and the Internet" with Singapore (National University of Singapore)
-
批准号:9817920
-
项目类别:Standard Grant
-
资助金额:$3.3万
-
财政年份:1998
-
负责人:Peter Chen
-
依托单位:
CAREER: Laser Spectroscopy for Real World Applications
-
批准号:9702087
-
项目类别:Continuing Grant
-
资助金额:$20.5万
-
财政年份:1997
-
负责人:Peter Chen
-
依托单位:
Measuring and Improving Memory's Resistance to Software Corruption; Relational Instruction
-
批准号:9624869
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:1996
-
负责人:Peter Chen
-
依托单位:
Research Initiation Award: Designing Hierarchical Storage Systems for Large Capacity and Low Latency
-
批准号:9409229
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:1994
-
负责人:Peter Chen
-
依托单位:
Spectroscopy and Thermochemistry of Biradicals
-
批准号:9123487
-
项目类别:Continuing Grant
-
资助金额:$17.8万
-
财政年份:1992
-
负责人:Peter Chen
-
依托单位:
Enhancement of an Undergraduate Computer Integrated Manufacturing Laboratory
-
批准号:9051303
-
项目类别:Standard Grant
-
资助金额:$5.34万
-
财政年份:1990
-
负责人:Peter Chen
-
依托单位:
Experimental Determination and Mechanistic Implications of the Thermochemistry of Singlet Carbenes
-
批准号:8719587
-
项目类别:Standard Grant
-
资助金额:$12.25万
-
财政年份:1988
-
负责人:Peter Chen
-
依托单位:
海外基金