SEBASE: Software Engineering By Automated SEarch

当前的软件工程实践是在有限的资源下，以人为主导寻找满足需求和约束的解决方案。在功能性和非功能性标准之间和内部，经常会有冲突。当然，像其他工程师一样，我们会寻找接近最优的解决方案。随着系统变得更大、更分散、更动态、更关键，这种劳动密集型的搜索将达到根本的极限。我们将无法继续以传统的方式开发、操作和维护系统，如果不自动化或部分自动化地寻找接近最佳的解决方案。基于自动搜索的解决方案在其他工程学科中有着成功的记录，其特点是存在大量潜在的解决方案，其中存在许多复杂的、相互竞争和冲突的约束，并且构建一个完美的解决方案要么是不可能的，要么是不切实际的。开创性的网络证明了这些技术为软件工程中的几个问题提供了健壮的、经济的和高质量的解决方案。迄今为止的成功可以被视为强有力的指针，表明搜索具有作为总体解决方案范例的巨大潜力。SEBASE项目旨在为软件工程的理解和实践提供一种新的方法。它将把软件工程问题从基于人类的搜索转移到基于机器的搜索。因此，人类的工作将沿着抽象链向上移动，集中于指导自动搜索，而不是执行它。该项目将解决软件工程中的关键问题，包括可伸缩性、健壮性、可靠性和稳定性。它还将研究搜索算法的理论基础，并应用所获得的见解，为大型和复杂的软件工程问题开发更有效和高效的搜索算法。这样的见解将对搜索算法社区以及软件工程社区产生重大影响。

Current software engineering practice is a human-led search for solutions which meet needs and constraints under limited resources. Often there will be conflict, both between and within functional and non-functional criteria. Naturally, like other engineers, we search for a near optimal solution. As systems get bigger, more distributed, more dynamic and more critical, this labour-intensive search will hit fundamental limits. We will not be able to continue to develop, operate and maintain systems in the traditional way, without automating or partly automating the search for near optimal solutions. Automated search based solutions have a track record of success in other engineering disciplines, characterised by a large number of potential solutions, where there are many complex, competing and conflicting constraints and where construction of a perfect solution is either impossible or impractical. The SEMINAL network demonstrated that these techniques provide robust, cost-effective and high quality solutions for several problems in software engineering. Successes to date can be seen as strong pointers to search having great potential to serve as an overarching solution paradigm. The SEBASE project aims to provide a new approach to the way in which software engineering is understood and practised. It will move software engineering problems from human-based search to machine-based search. As a result, human effort will move up the abstraction chain, to focus on guiding the automated search, rather than performing it. This project will address key issues in software engineering, including scalability, robustness, reliability and stability. It will also study theoretical foundations of search algorithms and apply the insights gained to develop more effective and efficient search algorithms for large and complex software engineering problems. Such insights will have a major impact on the search algorithm community as well as the software engineering community.