结合测试点质量的混合测试点集合约简方法

您当前的位置：

首页 >

文章列表页 >

结合测试点质量的混合测试点集合约简方法

学术论文 | 更新时间：2025-12-08

上一篇|下一篇

- 结合测试点质量的混合测试点集合约简方法
- Hybrid Test Point Set Reduction Method Based on Test Point Quality
- 欧阳丹彤，许斌，董博文，周慧思，张立明
- 电子学报 2023年51卷第6期页码：1552-1561
- 作者机构：
  1.吉林大学计算机科学与技术学院，吉林长春 130012
  2.符号计算与知识工程教育部重点实验室（吉林大学），吉林长春 130012
  3.吉林大学软件学院，吉林长春 130012
- 作者简介：
  欧阳丹彤女，1968年出生于吉林省长春市.1998年毕业于吉林大学计算机科学系，并获博士学位.博士，教授，博士生导师.主要研究方向为自动推理与基于模型诊断.E-mail: ouyd@jlu.edu.cn
  许斌男，1997年出生于山东省枣庄市.目前就读于吉林大学软件学院.主要研究方向为基于模型诊断和测试诊断.E-mail: binxu19@jlu.edu.cn
  张立明（通讯作者）男，1980年生于吉林省榆树市.吉林大学博士.主要研究方向为基于模型诊断、可满足性问题和测试诊断.
- 基金信息：
  国家自然科学基金(62076108;61872159;61672261);吉林省教育厅科学研究项目(JJKH20211106KJ;JJKH20211103KJ)
- DOI： 10.12263/DZXB.20210710
  中图分类号：
- 修回：2022-05-24 ，
- 稿件说明：
移动端阅览
DOI：
DOI：

HTML全文
图( 7 ) 表( 7 )
参考文献
出版信息
数据统计

摘要

Abstract

关键词

Keywords

references

17

浏览量

63

下载量

1

CSCD

文章被引用时，请邮件提醒。

提交

工具集

BibTeX下载
Endnote下载
RefMan 下载
NoteExpress下载
NoteFirst下载

关联资源

相关文章

基于惠更斯等效原理的高速高密度PCB分级建模方法

动态环境视觉导航的有限状态粗集方法研究

图表示下的知识约简

基于光纤通信可编程复接集成电路研究

TF-PEFT：面向脑电基础模型的时频双流参数高效微调框架

相关作者

张立明

欧阳丹彤

穆冬梅

郭星月

吴帆

郑少勇

苏明

孙胜

相关机构

符号计算与知识工程教育部重点实验室（吉林大学）

中山大学电子与信息工程学院（微电子学院）

电子科技大学电子科学与工程学院

北京邮电大学电子工程学院安全生产智能监控北京市重点实验室

中国民用航空学院天津