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

摘要计划：NSF 04-588简明计算研究基础结构标题：CRI：协作：下一代城市参见主要提案：CNS 0454203PI：格雷格·罗瑟梅尔研究所：内布拉斯加大学林肯分校提案CNS 0454348PI：约翰·M·哈特克里夫研究所：堪萨斯州立大学调查人员将创建和传播软件相关人工制品的存储库，足以支持具有程序分析和软件测试技术的严格受控实验，供广大研究人员和教育工作者使用。将包括用C和Java编程语言编写的软件以及支持元素，如程序行为的多个版本、错误、测试要求、规范、测试用例、功能行为规范和状态机模型。将开发检索节目信息的方法。该资源将成为用于程序分析、软件测试以及软件工程和软件测试教育的受控实验的使能技术。该项目的更广泛的影响包括该资源在促进广泛的研究和提高广泛的机构和大学的软件教育能力方面的影响。

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.