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

CRI：协作研究：支持程序分析和软件测试技术的受控实验的社区资源

• 批准号: 0454348
• 负责人: John Hatcliff
• 金额: $ 23.7万
• 依托单位: Kansas State University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-07-15 至 2010-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0454348&HistoricalAwards=false
• 关键词: CRI; Collaborative; Research; Community; Resource

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.

摘要程序：NSF 04-588 CISE计算研究架构标题：CRI：协作：下一代CiteSeer牵头提案：CNS 0454203 PI：Gregg Rothermel机构：内布拉斯加大学林肯分校提案CNS 0454348 PI：John M. Hatcliff机构：堪萨斯州立大学研究人员将创建和传播一个与软件相关的工件库，足以支持广泛的研究人员和教育工作者社区的程序分析和软件测试技术的严格控制实验。将包括用C和Java编程语言编写的软件，沿着支持元素，如多个版本、故障、测试要求、规范、测试用例、功能行为规范和程序行为的状态机模型。将开发检索程序信息的方法。该资源将成为用于程序分析、软件测试以及软件工程和软件测试教育的受控实验的使能技术。这个项目的更广泛的影响包括资源的影响，使广泛的研究和提高能力，在广泛的机构软件教育。