课题基金 / 基金详情

CRI: Collaborative Research: A Community Resource to Support Controlled Experimentation with Program Analysis and Software Testing Techniques

CRI: Collaborative Research: A Community Resource to Support Controlled Experimentation with Program Analysis and Software Testing Techniques
CRI:协作研究:支持程序分析和软件测试技术的受控实验的社区资源
批准号:
0454348
负责人:
John Hatcliff
金额:
$23.7万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2005
资助国家:
美国
项目状态:
已结题
起止时间:
2005-07-15 至 2010-06-30

项目摘要

项目成果

John Hatcliff的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
AbstractProgram: NSF 04-588 CISE Computing Research InfrastructureTitle: CRI: Collaborative: Next Generation CiteSeer Lead Proposal: CNS 0454203PI: Gregg RothermelInstitution: University of Nebraska-LincolnProposal CNS 0454348PI: John M. HatcliffInstitution: Kansas State University The investigators will create and disseminate a repository of software-related artifacts sufficient to support rigorous controlled experimentation with program analysis and software testing techniques for a broad community of researchers and educators. Software written in the C and Java programming languages along with supporting elements such as multiple versions, faults, test requirements, specifications, test cases, functional behavior specifications, and state-machine models of program behavior will be included. Methods to retrieve program information will be developed. This resource will be an enabling technology for controlled experimentation for program analysis, software testing, and education in software engineering and software testing. Broader impacts of this project include the impact of the resource on enabling a broad range of research and improving capacity for software education in a wide range of institutions.universities.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
FDA SIR: Architecturally-Integrated Hazard Analyses for Medical Application Platforms
  • 批准号:
    1565544
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $16.0万
  • 财政年份:
    2016
  • 负责人:
    John Hatcliff
  • 依托单位:
FDA SIR: Compositional Approaches to Safety and Risk Management for Medical Application Platforms
  • 批准号:
    1446544
  • 项目类别:
    Standard Grant
  • 资助金额:
    $8.0万
  • 财政年份:
    2015
  • 负责人:
    John Hatcliff
  • 依托单位:
FDA SIR: Risk Assessment Techniques for Apps & Devices within Interoperable Medical Frameworks
  • 批准号:
    1355778
  • 项目类别:
    Standard Grant
  • 资助金额:
    $8.0万
  • 财政年份:
    2013
  • 负责人:
    John Hatcliff
  • 依托单位:
CPS: Synergy: Collaborative Research: Trustworthy Composition of Dynamic App-Centric Architectures for Medical Application Platforms
  • 批准号:
    1239543
  • 项目类别:
    Standard Grant
  • 资助金额:
    $88.0万
  • 财政年份:
    2012
  • 负责人:
    John Hatcliff
  • 依托单位:
海外基金