SEBASE: Software Engineering By Automated SEarch

SEBASE:自动搜索的软件工程

基本信息

  • 批准号:
    EP/D050618/1
  • 负责人:
  • 金额:
    $ 99.95万
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Research Grant
  • 财政年份:
    2006
  • 资助国家:
    英国
  • 起止时间:
    2006 至 无数据
  • 项目状态:
    已结题

项目摘要

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

项目成果

期刊论文数量(10)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Extending A Task Allocation Algorithm For Graceful Degradation Of Real-Time Distributed Embedded Systems
扩展任务分配算法以实现实时分布式嵌入式系统的优雅降级
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
    John Andrew Clark (Author)
  • 通讯作者:
    John Andrew Clark (Author)
Strengthening Inferred Specifications using Search Based Testing
使用基于搜索的测试强化推断规范
  • DOI:
    10.1109/icstw.2008.39
  • 发表时间:
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ghani K
  • 通讯作者:
    Ghani K
Searching for invariants using genetic programming and mutation testing
  • DOI:
    10.1145/2001576.2001832
  • 发表时间:
    2011-07
  • 期刊:
  • 影响因子:
    0
  • 作者:
    S. Ratcliff;D. White;John A. Clark
  • 通讯作者:
    S. Ratcliff;D. White;John A. Clark
Genetic algorithms and solid state NMR pulse sequences
遗传算法和固态核磁共振脉冲序列
  • DOI:
    10.48550/arxiv.1306.0194
  • 发表时间:
    2013
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Bechmann M
  • 通讯作者:
    Bechmann M
Efficient Evolutionary Fuzzing for Android Application Installation Process
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

John Clark其他文献

Marx, Bakunin and the Problem of Social Transformation
马克思、巴枯宁与社会转型问题
  • DOI:
    10.3817/1279042080
  • 发表时间:
    1979
  • 期刊:
  • 影响因子:
    0.1
  • 作者:
    John Clark
  • 通讯作者:
    John Clark
An Introduction to Phonetics and Phonology
语音学和音系学导论
The anarchist moment : reflections on culture, nature, and power
无政府主义时刻:对文化、自然和权力的反思
  • DOI:
  • 发表时间:
    1983
  • 期刊:
  • 影响因子:
    0
  • 作者:
    John Clark
  • 通讯作者:
    John Clark
A revision of Australian species of Rhytidoponera Mayr (Formicidae)
澳大利亚 Rhytidoponera Mayr 种(蚁科)的修订版
NewYork‐Presbyterian Hospital uses Six Sigma to build a culture of quality and innovation
纽约长老会医院利用六西格码打造质量和创新文化
  • DOI:
    10.1002/joe.20108
  • 发表时间:
    2006
  • 期刊:
  • 影响因子:
    0
  • 作者:
    E. Craven;John Clark;M. Cramer;S. Corwin;Mary Cooper
  • 通讯作者:
    Mary Cooper

John Clark的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('John Clark', 18)}}的其他基金

Security of Digital Twins in Manufacturing
制造中数字孪生的安全性
  • 批准号:
    EP/V039156/1
  • 财政年份:
    2021
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Research Grant
Collaborative Research: REVSYS: A revision of the sectional classification of Columnea (Gesneriaceae) and the species of section Ortholoma
合作研究:REVSYS:柱叶属(苦苣苔科)科分类和 Ortholoma 科种的修订
  • 批准号:
    0949169
  • 财政年份:
    2010
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
Phylogenetics and taxonomic revision of the neotropical genus Drymonia (Gesneriaceae, tribe Episcieae)
新热带苦苣苔属(Gesneriaceae,Episcieae 族)的系统发育和分类学修订
  • 批准号:
    0841958
  • 财政年份:
    2009
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
The Birth, Life and Death of Semantic Mutants
语义突变体的诞生、生存和死亡
  • 批准号:
    EP/G043604/1
  • 财政年份:
    2009
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Research Grant
System-Smart Intrusion Detection
系统-智能入侵检测
  • 批准号:
    EP/E028128/1
  • 财政年份:
    2007
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Research Grant
Defending the Weakest Link: Intrusion via Social Engineering
防御最薄弱的环节:通过社会工程入侵
  • 批准号:
    EP/D051819/1
  • 财政年份:
    2006
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Research Grant
Microscopic Theory of Quantum Fluids and Nuclear Systems
量子流体和核系统的微观理论
  • 批准号:
    0140316
  • 财政年份:
    2002
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Continuing Grant
Collaborative Research: Southern Grassroots Party Activists, 2001
合作研究:南方草根党活动人士,2001
  • 批准号:
    9986523
  • 财政年份:
    2000
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
Microscopic Theory of Quantum Fluids and Nuclear Systems
量子流体和核系统的微观理论
  • 批准号:
    9900713
  • 财政年份:
    1999
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Continuing Grant
Microscopic Theory of Quantum Fluids and Nuclear Systems
量子流体和核系统的微观理论
  • 批准号:
    9602127
  • 财政年份:
    1996
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Continuing Grant

相似海外基金

Travel: NSF Student Travel Grant for 2024 ACM/IEEE International Conference on Software Engineering
旅行:2024 年 ACM/IEEE 软件工程国际会议 NSF 学生旅行补助金
  • 批准号:
    2413092
  • 财政年份:
    2024
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
HSI Pilot Project: Improving Experiential Skills for a Diverse Software Engineering Workforce via Project-based Internships
HSI 试点项目:通过基于项目的实习提高多元化软件工程人员的经验技能
  • 批准号:
    2345141
  • 财政年份:
    2024
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
Travel: NSF Student and Researcher Travel and Registration Grant for 2023 NITRD/SEI Workshop on US Leadership in Software Engineering and AI Engineering
旅费:NSF 学生和研究人员旅费和注册资助 2023 年 NITRD/SEI 美国软件工程和人工智能工程领导力研讨会
  • 批准号:
    2330370
  • 财政年份:
    2023
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for 2023 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)
旅费:2023 年 ACM 欧洲软件工程联合会议和软件工程基础研讨会 (ESEC/FSE) 的 NSF 学生旅费补助
  • 批准号:
    2336361
  • 财政年份:
    2023
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for the 2023 Empirical Software Engineering International Week (ESEIW)
旅行:2023 年经验软件工程国际周 (ESEIW) 的 NSF 学生旅行补助金
  • 批准号:
    2317863
  • 财政年份:
    2023
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
Offline to online and then back again: Assessing the ongoing impact of changes in classroom modality on student participation and experience in software engineering classes
线下到线上,然后再回来:评估课堂模式的变化对学生参与和软件工程课程体验的持续影响
  • 批准号:
    23K02808
  • 财政年份:
    2023
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Collaborative Research: Learning Software Engineering by Contributing to Real Projects With Chatbot Assistance
协作研究:通过聊天机器人协助为实际项目做出贡献来学习软件工程
  • 批准号:
    2303043
  • 财政年份:
    2023
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
Collaborative Research: Supporting Project-Based Learning in Undergraduate Software Engineering Courses
协作研究:支持本科软件工程课程中的项目式学习
  • 批准号:
    2349923
  • 财政年份:
    2023
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
Travel: NSF Student Travel Grant for the 2023 IEEE/ACM International Conference on Software Engineering (ICSE)
旅费:2023 年 IEEE/ACM 国际软件工程会议 (ICSE) 的 NSF 学生旅费补助金
  • 批准号:
    2313305
  • 财政年份:
    2023
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
Collaborative Research: Learning Software Engineering by Contributing to Real Projects With Chatbot Assistance
协作研究:通过聊天机器人协助为实际项目做出贡献来学习软件工程
  • 批准号:
    2303042
  • 财政年份:
    2023
  • 资助金额:
    $ 99.95万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了