CREST: Centre for Research on Evolution, Search and Testing, Platform Grant.

CREST：进化、搜索和测试研究中心，平台资助。

• 批准号: EP/G060525/1
• 负责人: Mark Harman
• 金额: $ 139.03万
• 依托单位: King's College London
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2009
• 资助国家: 英国
• 起止时间: 2009 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FG060525%2F1
• 关键词: CREST; Centre; Research; Evolution; Search

CREST's approach to Software Engineering places search--based optimisation at its heart. The CREST philosophy is that software engineering can be thought of as a search for good quality solutions within a potentially enormous search space, while balancing many different competing, sometimes conflicting, objectives. We believe that this philosophy is important in all engineering disciplines, but it is in Software Engineering where it finds its greatest potential. The materials and artifacts used in software engineering are very different; they are pure processes and information, essentially without physical manifestation. This makes the search--based optimisation agenda particularly apposite and offers the significant advantage of automation. The work supported by this platform proposal will develop, extend and disseminate this agenda of Automated Optimisation in Software Engineering.

CREST的软件工程方法将基于搜索的优化置于其核心位置。CREST的理念是，软件工程可以被认为是在潜在的巨大搜索空间中寻找高质量的解决方案，同时平衡许多不同的竞争，有时是冲突的目标。我们相信这种哲学在所有的工程学科中都是重要的，但是它在软件工程中发现了它最大的潜力。软件工程中使用的材料和工件是非常不同的；它们是纯粹的过程和信息，本质上没有物理表现。这使得基于搜索的优化议程特别合适，并提供了自动化的显著优势。该平台提案所支持的工作将发展、扩展和传播软件工程中的自动化优化议程。

项目成果

AUSTIN: An open source tool for search based software testing of C programs

• DOI: 10.1016/j.infsof.2012.03.009
• 发表时间: 2013
• 期刊: Inf. Softw. Technol.
• 作者: Kiran Lakhotia;M. Harman;Hamilton Gross