课题基金 / 基金详情

Collaborative Research: ITR: Acquiring Accurate Dynamic Field Data Using Lightweight Instrumentation

Collaborative Research: ITR: Acquiring Accurate Dynamic Field Data Using Lightweight Instrumentation
合作研究:ITR:使用轻型仪器获取准确的动态场数据
批准号:
0205265
负责人:
Adam Porter
金额:
$0.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2002
资助国家:
美国
项目状态:
已结题
起止时间:
2002-09-01 至 2009-08-31

项目摘要

项目成果

Adam Porter的其他基金

相似基金

相关文献

中文摘要
翻译
0205625,0205118,0205429,0205627标题:合作研究:ITR:使用轻量级仪器获取精确的动态现场数据动态分析,如测试和分析,在软件质量保证(QA)的最新方法中起着关键作用。 除极少数情况外,这些分析都是在开发人员平台上使用开发人员提供的输入工作负载在内部执行的。这种方法的缺点包括不能信任结果来告诉我们软件在现场的实际表现。项目的目标是让开发人员前所未有地了解他们软件的实际运行时行为,允许开发人员(最终是软件本身)基于高度准确的现场数据来更改,优化和调整软件。在全球范围内全天候进行的轻量级协作动态分析形成了新的平台:(1)轻型仪器现场软件(即,每个程序副本执行一小部分分析)(2)从软件的许多实例中收集部分数据,将其融合以进行完整的分析,(3)根据发现改变正在运行的程序实例,(4)重复该过程。轻量级工具--开发对个人用户几乎透明的工具。2.组合分析技术--开发分布式分析技术,将传统分析分解为更小的步骤,将步骤分配给多个用户,然后将每个用户的结果融合到原始问题的精确解决方案中。 3.可扩展性--开发存储和分析技术,以处理我们预计会遇到的大量数据。4.异常检测--定义数据驱动技术来自动识别部署软件的异常行为。5.隐私和安全-将隐私和安全保障纳入我们的数据收集和分析方法。 6.动态更新机制--开发技术来对插装的位置和功能以及软件本身的部分进行运行时更改。7.在工业软件上的可扩展性方法。
英文摘要
0205625,0205118, 0205429, 0205627 TITLE: Collaborative Research: ITR: Acquiring Accurate Dynamic FieldData Using Lightweight InstrumentationDynamic analyses, such as testing and profiling, play a key role in state-of-art approaches to software quality assurance (QA). With rare exception, these analyses are performed in-house, on developerplatforms, using developer-provided input workloads. Shortcomings of this approach include that the results simply cannot be trusted to tell us how the software actually performs in the field.The project goal is to give developers unprecedented insight into the actual runtime behavior of their software, allowing developers (and ultimately the software itself) to change, optimize, and adapt the software based on highly accurate field data. Lightweight, collaborative dynamic analyses conducted around-the-world and around-the-clock form the new platform: (1) lightly instrument fielded software (i.e., each program copy performs a small part of the analysis) (2) collect the partial data from many instances of the software, fusing it to conduct the complete analysis, (3) change the running program instances based on the findings and (4) repeat the process.Seven critical research challenges form the core of the project: 1. Lightweight instrumentation--Develop instrumentation that is virtually transparent to individual users. 2. Compositional analysis techniques--Develop distributed analysis techniques that decomposetraditional analyses into smaller steps, distribute the steps among multiple users, and then fuse each user's results into an accurate solution to the original problem. 3. Scalability--Develop storageand analysis techniques to deal with the high data volumes we expect to encounter. 4. Anomaly Detection--Define data-driven techniques to automatically identify anomalous behaviors of deployedsoftware. 5. Privacy and Security--Incorporate privacy and security safeguards into our data collection and analysis approaches. 6. Dynamic updating mechanisms--Develop techniques to make runtime changes to the location and function of instrumentation, and to parts of the software itself. 7. Validate approach on industrialsoftware.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: SHF: Small: An Automated Full-Lifecycle Approach for Improving the Development and Use of Static Analysis
CPS: Frontier: Collaborative Research: Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems
  • 批准号:
    1446365
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $37.61万
  • 财政年份:
    2015
  • 负责人:
    Adam Porter
  • 依托单位:
CPA-SEL: Testing Systems with Large and Complex Test Spaces: Techniques, Tools and Empirical Studies
Creating Clines to Study Dispersal and Adaptation
  • 批准号:
    0235787
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2003
  • 负责人:
    Adam Porter
  • 依托单位:
国内基金
海外基金
Research on Quantum Field Theory without a Lagrangian Description
  • 批准号:
    24ZR1403900
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
    SATOSHI NAWATA
  • 依托单位:
Cell Research
Cell Research
Cell Research (细胞研究)