Improvement of functional and non-functional aspects software through search-based techniques

通过基于搜索的技术改进软件的功能和非功能方面

基本信息

  • 批准号:
    2274610
  • 负责人:
  • 金额:
    --
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Studentship
  • 财政年份:
    2019
  • 资助国家:
    英国
  • 起止时间:
    2019 至 无数据
  • 项目状态:
    已结题

项目摘要

Investigate the use of search-based techniques to improve the functional and non-functional aspects of software. Search-based techniques are optimisation techniques guided by a fitness function, for example genetic algorithms, and stochastic hill climbing. "Functional aspects" meant the correct functioning of software, according to a test suite or a specification. The techniques researched would attempt to automatically fix bugs, using the test suite or a specification as a guide. Non-functional aspects include power consumption, execution time, memory use etc. The search-based techniques would act on the source code of the software system, aiming to make changes to improve it in the light of its functional/non-functional behaviour.
研究使用基于搜索的技术来改进软件的功能和非功能方面。基于搜索的技术是由适应度函数引导的优化技术,例如遗传算法和随机爬山。“功能方面”是指根据测试套件或规范,软件的正确功能。所研究的技术将尝试自动修复错误,使用测试套件或规范作为指导。非功能方面包括功耗、执行时间、内存使用等。基于搜索的技术将作用于软件系统的源代码,旨在根据其功能/非功能行为进行更改以改进其。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

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

{{ 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 }}

其他文献

吉治仁志 他: "トランスジェニックマウスによるTIMP-1の線維化促進機序"最新医学. 55. 1781-1787 (2000)
Hitoshi Yoshiji 等:“转基因小鼠中 TIMP-1 的促纤维化机制”现代医学 55. 1781-1787 (2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
LiDAR Implementations for Autonomous Vehicle Applications
  • DOI:
  • 发表时间:
    2021
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
生命分子工学・海洋生命工学研究室
生物分子工程/海洋生物技术实验室
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
吉治仁志 他: "イラスト医学&サイエンスシリーズ血管の分子医学"羊土社(渋谷正史編). 125 (2000)
Hitoshi Yoshiji 等人:“血管医学与科学系列分子医学图解”Yodosha(涉谷正志编辑)125(2000)。
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
Effect of manidipine hydrochloride,a calcium antagonist,on isoproterenol-induced left ventricular hypertrophy: "Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,K.,Teragaki,M.,Iwao,H.and Yoshikawa,J." Jpn Circ J. 62(1). 47-52 (1998)
钙拮抗剂盐酸马尼地平对异丙肾上腺素引起的左心室肥厚的影响:“Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:

的其他文献

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

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

An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
  • 批准号:
    2901954
  • 财政年份:
    2028
  • 资助金额:
    --
  • 项目类别:
    Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
  • 批准号:
    2896097
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
  • 批准号:
    2780268
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
  • 批准号:
    2908918
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂:了解燃料-不锈钢界面
  • 批准号:
    2908693
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
  • 批准号:
    2908917
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
  • 批准号:
    2879438
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型,以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
  • 批准号:
    2890513
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
CDT year 1 so TBC in Oct 2024
CDT 第 1 年,预计 2024 年 10 月
  • 批准号:
    2879865
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
  • 批准号:
    2876993
  • 财政年份:
    2027
  • 资助金额:
    --
  • 项目类别:
    Studentship

相似国自然基金

Got2基因对浆细胞样树突状细胞功能的调控及其在系统性红斑狼疮疾病中的作用研究
  • 批准号:
    82371801
  • 批准年份:
    2023
  • 资助金额:
    47.00 万元
  • 项目类别:
    面上项目
利用CRISPR内源性激活Atoh1转录促进前庭毛细胞再生和功能重建
  • 批准号:
    82371145
  • 批准年份:
    2023
  • 资助金额:
    46.00 万元
  • 项目类别:
    面上项目
基于再生运动神经路径优化Agrin作用促进损伤神经靶向投射的功能研究
  • 批准号:
    82371373
  • 批准年份:
    2023
  • 资助金额:
    49.00 万元
  • 项目类别:
    面上项目
SMC5-NSMCE2功能异常激活APSCs中p53/p16衰老通路导致脂肪萎缩和胰岛素抵抗的机制研究
  • 批准号:
    82371873
  • 批准年份:
    2023
  • 资助金额:
    50.00 万元
  • 项目类别:
    面上项目
HK2乳酰化修饰介导巨噬细胞功能障碍在脓毒症中的作用及机制
  • 批准号:
    82372160
  • 批准年份:
    2023
  • 资助金额:
    49.00 万元
  • 项目类别:
    面上项目
基于密度泛函理论金原子簇放射性药物设计、制备及其在肺癌诊疗中的应用研究
  • 批准号:
    82371997
  • 批准年份:
    2023
  • 资助金额:
    48.00 万元
  • 项目类别:
    面上项目
OBSL1功能缺失导致多指(趾)畸形的分子机制及其临床诊断价值
  • 批准号:
    82372328
  • 批准年份:
    2023
  • 资助金额:
    49.00 万元
  • 项目类别:
    面上项目
LTB4/BLT1轴调控NLRP3炎症小体对糖尿病认知功能障碍的作用研究
  • 批准号:
    82371213
  • 批准年份:
    2023
  • 资助金额:
    47.00 万元
  • 项目类别:
    面上项目
浸润特性调制的统计热力学研究
  • 批准号:
    21173271
  • 批准年份:
    2011
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目

相似海外基金

ERI: Non-Contact Ultrasound Generation and Detection for Tissue Functional Imaging and Biomechanical Characterization
ERI:用于组织功能成像和生物力学表征的非接触式超声波生成和检测
  • 批准号:
    2347575
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Non-Born-Oppenheimer Effects in the Framework of Multicomponent Time-Dependent Density Functional Theory
多分量时变密度泛函理论框架中的非玻恩奥本海默效应
  • 批准号:
    2415034
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Does the functional load principle predict to how non-native English speakers assess the pronunciation intelligibility of Japanese non-native English speakers?
功能负荷原则是否可以预测非英语母语人士如何评估日语非英语母语人士的发音清晰度?
  • 批准号:
    24K04051
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Bilingualism as a cognitive reserve factor: the behavioral and neural underpinnings of cognitive control in bilingual patients with aphasia
双语作为认知储备因素:双语失语症患者认知控制的行为和神经基础
  • 批准号:
    10824767
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
Collaborative Research: SaTC: CORE: Small: Detecting and Localizing Non-Functional Vulnerabilities in Machine Learning Libraries
协作研究:SaTC:核心:小型:检测和本地化机器学习库中的非功能性漏洞
  • 批准号:
    2230060
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Standard Grant
Sex, age, and gender-based analysis of the efficacy of repetitive transcranial magnetic stimulation (rTMS) for functional recovery after stroke
基于性别、年龄和性别的重复经颅磁刺激 (rTMS) 对中风后功能恢复的功效分析
  • 批准号:
    497964
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
Investigating the non-canonical roles of DEPDC5 in brain development and diseases by in vivo functional genomics
通过体内功能基因组学研究 DEPDC5 在大脑发育和疾病中的非典型作用
  • 批准号:
    487244
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Operating Grants
Developing and Evaluating a Positive Valence Treatment for Alcohol Use Disorder with Anxiety or Depression
开发和评估治疗伴有焦虑或抑郁的酒精使用障碍的正价疗法
  • 批准号:
    10596013
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
Iron deficits and their relationship with symptoms and cognition in Psychotic Spectrum Disorders
铁缺乏及其与精神病谱系障碍症状和认知的关系
  • 批准号:
    10595270
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
PITPNA in pancreatic beta-cell dysfunction and diabetes pathogenesis
PITPNA 在胰腺 β 细胞功能障碍和糖尿病发病机制中的作用
  • 批准号:
    10636228
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了