CRII: SHF: Machine-Learning-Based Test Effectiveness Prediction
CRII: SHF: Machine-Learning-Based Test Effectiveness Prediction
批准号:
1566589
负责人:
Lingming Zhang
金额:
$17.42万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2016
资助国家:
美国
项目状态:
已结题
起止时间:
2016-05-15 至 2019-04-30
中文摘要
测试有效性,即测试检测潜在软件缺陷的能力,对软件测试至关重要。更有效的测试可以检测到更多潜在的错误,从而帮助防止由软件错误造成的经济损失甚至物理损害。因此,在过去的几十年里,大量的研究工作致力于测试有效性的评估。近年来,突变检测作为一种通过计算人工注入病菌的检出率来衡量检测效果的强大方法,越来越受到学术界和工业界的关注。各种研究表明,突变测试产生的人工bug接近真实bug,证明了突变测试在测试有效性评价中的有效性。然而,突变检测的一个主要障碍是效率问题。突变测试需要执行每个人工错误版本(即,突变)来检查测试套件是否可以检测到该错误,这是非常耗时的。因此,非常需要一种轻量级但精确的技术来测量测试的有效性。该方法是自动从各种开源项目中提取测试有效性信息(例如,突变测试结果),直接预测当前项目的测试有效性,而不需要任何突变的执行。更具体地说,PI提出基于故障检测的PIE理论收集的一套静态和动态特征来设计一个通用的分类框架。此外,本研究将探索先进的程序分析、机器学习和软件挖掘技术的明智应用,以实现更强大的特征收集、更主动的学习以及更全面的训练数据准备。所提出的方法将导致对使用各种编程语言和测试范例开发的项目进行有效而精确的测试有效性评估,这对于高质量的软件是至关重要的。此外,分类模型的训练将需要从大量的开源项目中收集各种基本的测试、分析和挖掘信息,因此也可能有利于探索开源软件存储库的各种软件测试/分析/挖掘技术。
英文摘要
Test effectiveness, which indicates the capability of tests in detecting potential software bugs, is crucial for software testing. More effective tests can detect more potential bugs and thus help prevent economic loss or even physical damage caused by software bugs. Therefore, a huge body of research efforts have been dedicated to test effectiveness evaluation during the past decades. Recently, mutation testing, a powerful methodology that computes the detection rate of artificially injected bugs to measure test effectiveness, is drawing more and more attention from both the academia and industry. Various studies have shown that artificial bugs generated by mutation testing are close to real bugs, demonstrating mutation testing effectiveness in test effectiveness evaluation. However, a major obstacle for mutation testing is the efficiency problem ? mutation testing requires the execution of each artificial buggy version (i.e., mutant) to check whether the test suite can detect that bug, and which is extremely time consuming. Therefore, a light-weight but precise technique for measuring test effectiveness is highly desirable.The approach is to automatically extract test effectiveness information (e.g., mutation testing results) from various open-source projects to directly predict the test effectiveness of the current project without any mutant execution. More specifically, the PI proposes to design a general classification framework based on a suite of static and dynamic features collected according to the PIE theory of fault detection. Furthermore, this research will explore judicious applications of advanced program analysis, machine learning, and software mining techniques for more powerful feature collection, more active learning, as well as more comprehensive training data preparation. The proposed approach will result in efficient but precise test effectiveness evaluation for projects developed using various programming languages and test paradigms, which is crucial for high-quality software. Furthermore, the training of the classification models will require to collect various basic testing, analysis, and mining information from a huge number of open-source projects, and thus may also benefit a large variety of software testing/analysis/mining techniques that explore open-source software repositories.
期刊论文(1)
专著(0)
科研奖励(0)
会议论文
DOI:
10.1109/ase.2019.00033
发表时间:
2019-11
期刊:
2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)
影响因子:
--
作者:
[Jiajun Jiang;Luyao Ren;Yingfei Xiong;Lingming Zhang]
通讯作者:
Jiajun Jiang;Luyao Ren;Yingfei Xiong;Lingming Zhang
CAREER: Maximal and Scalable Unified Debugging for the JVM Ecosystem
-
批准号:2131943
-
项目类别:Continuing Grant
-
资助金额:$51.98万
-
财政年份:2021
-
负责人:Lingming Zhang
-
依托单位:
SHF: Medium: Collaborative Research: Enhancing Continuous Integration Testing for the Open-Source Ecosystem
-
批准号:2141474
-
项目类别:Continuing Grant
-
资助金额:$36.3万
-
财政年份:2020
-
负责人:Lingming Zhang
-
依托单位:
CAREER: Maximal and Scalable Unified Debugging for the JVM Ecosystem
-
批准号:1942430
-
项目类别:Continuing Grant
-
资助金额:$51.98万
-
财政年份:2020
-
负责人:Lingming Zhang
-
依托单位:
SHF: Medium: Collaborative Research: Enhancing Continuous Integration Testing for the Open-Source Ecosystem
-
批准号:1763906
-
项目类别:Continuing Grant
-
资助金额:$36.3万
-
财政年份:2018
-
负责人:Lingming Zhang
-
依托单位:
国内基金
海外基金
天然超短抗菌肽Temporin-SHf衍生多肽的构效分析与抗菌机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:唐滋 一
-
依托单位:
衔接蛋白SHF负向调控胶质母细胞瘤中EGFR/EGFRvIII再循环和稳定性的功能及机制研究
-
批准号:82302939
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:汪京京
-
依托单位:
EGFR/GRβ/Shf调控环路在胶质瘤中的作用机制研究
-
批准号:81572468
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2015
-
负责人:邹健
-
依托单位: