检索结果-维普期刊中文期刊服务平台

基于有界模型检测的门级软件自测试方法: 1; 作者张颖张嘉琦 +1 位作者王真江建慧《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第11期1575-1581,共7页; 提出了基于有界模型检测的门级软件自测试方法.将处理器中的模块简化成约束模块,缓解状态爆炸问题.将难测故障的触发条件逐个转化成性质并且采用有界模型检测技术,搜索触发这些性质的违例.最后,将违例映射成测试指令序列,并为测试指令... 展开更多; 关键词基于软件的自测试(SBST) 模型检测抽象; 在线阅读下载PDF 职称材料

仿真系统的校核与验证的自测试软件被引量：4: 2; 作者贾荣珍刘丽 +1 位作者王行仁詹文军《系统仿真学报》 EI CAS CSCD 2000年第6期617-620,共4页; 建模与仿真(M&S)的校核、验证与确认(VV&A)是目前仿真技术领域中的重要课题。VV&A是保证M&S的置信度和可用性的关键技术。VV&A贯穿于整个M&S的全生命周期，复杂仿真系统的校核与验证（V&V）需要自动化、可... 展开更多; 关键词仿真系统校核验证自测试软件; 在线阅读下载PDF 职称材料

软件内建自测试中模板内容的研究和实现被引量：1: 3; 作者彭成寒徐拾义《计算机应用研究》 CSCD 北大核心 2006年第10期78-81,共4页; 软件内建自测试是软件测试和可测性设计研究领域中的一个新概念,其思想来源于硬件内建自测试B IST(Build-in-Self-Test)。软件内建自测试为程序员提供一套预先设计好的模板,由模板对所编写的程序植入测试信息,实现软件内建自测试以解决... 展开更多; 关键词软件内建自测试可测性模板函数程序插装故障模型; 在线阅读下载PDF 职称材料

软件内建自测试及其面向对象模板的设计被引量：1: 4; 作者谭建勇徐拾义《计算机工程与应用》 CSCD 北大核心 2003年第18期124-126,共3页; 论文提出了一种软件可测性设计技术———软件内建自测试及其实施方案,以期提高软件测试效率,改进软件产品质量。论文还重点讨论了方案中面向对象模板设计中的若干问题,并给出了设计实例。; 关键词软件测试可测性设计软件内建自测试面向对象; 在线阅读下载PDF 职称材料

软件测试中故障模型的建立被引量：12: 5; 作者朱荣徐拾义《计算机工程与应用》 CSCD 北大核心 2003年第17期69-71,91,共4页; 在软件测试中,会碰到各种类型的软件故障,而且这些故障的灵活性很强。这篇文章旨在建立不同类型的故障模型,以便于管理和标准化这些故障。该文建立了6种故障模型,可以覆盖相当数量的软件故障。而且在文章的附录部分给出了试验数据,有效... 展开更多; 关键词软件测试软件内建自测试故障模型; 在线阅读下载PDF 职称材料

SoC总线串扰的精简MT测试集被引量：3: 6; 作者张颖李华伟 +1 位作者李晓维胡瑜《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第4期474-480,共7页; 多跳变(MT)故障模型是一种有效的总线串扰故障模型,可以测试由电容和电感导致的串扰故障,但是MT的原始测试集存在严重的向量冗余.通过分析MT原始测试集向量冗余的3类情况,利用欧拉回路对测试向量进行组合优化,得到MT精简测试集,同时不损... 展开更多; 关键词多跳变故障模型向量冗余欧拉回路软件自测试; 在线阅读下载PDF 职称材料

C++类测试描述语言的设计和实现: 7; 作者宋春明徐拾义《计算机工程》 CAS CSCD 北大核心 2004年第12期78-80,共3页; 根据一种软件可测性设计技术——软件内建自测试的实施方案,该文提出了一种针对C++类测试的测试描述语言TDL,以提高C++类测试数据的存储结构化,方便其共享和复用。重点讨论了TDL语言的核心对象和结构,并给出了一个TDL程序的实例。; 关键词面向对象软件测试可测性设计软件内建自测试测试用例测试语言; 在线阅读下载PDF 职称材料

坚持教改提高教学质量——《计算机应用基础》教改体会: 8; 作者叶玉兰《暨南学报（哲学社会科学版）》 CSSCI 1996年第S1期59-61,共3页; 《计算机应用基础》是我校非计算机专业的一门必修基础课、被评为省高教厅重点建设课程.这几年,通过狠抓教材建设、电化教学、上机实习CAI教学课件等手段,深化教学改革,提高教学质量,学生在省统考中取得了较好成绩.; 关键词文字处理 LOTUS 1-2-3表处理 CAI教学课件自测试软件多媒体技术; 在线阅读下载PDF 职称材料

题名基于有界模型检测的门级软件自测试方法: 1; 作者张颖张嘉琦王真江建慧; 机构同济大学软件学院上海电力学院计算机科学与技术学院; 出处《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第11期1575-1581,共7页; 基金国家自然科学基金(61432017 61404092); 文摘提出了基于有界模型检测的门级软件自测试方法.将处理器中的模块简化成约束模块,缓解状态爆炸问题.将难测故障的触发条件逐个转化成性质并且采用有界模型检测技术,搜索触发这些性质的违例.最后,将违例映射成测试指令序列,并为测试指令序列添加观测指令序列,构成自测试程序.实验结果表明:该方法在不引起状态爆炸问题的情况下,有效地测试控制器中难以测试的故障,提高了在线测试的测试质量.; 关键词基于软件的自测试(SBST) 模型检测抽象; Keywords software-based self-testing(SBST) model checking abstraction; 分类号 TP302.8 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名仿真系统的校核与验证的自测试软件被引量：4: 2; 作者贾荣珍刘丽王行仁詹文军; 机构北京航空航天大学自动控制系; 出处《系统仿真学报》 EI CAS CSCD 2000年第6期617-620,共4页; 文摘建模与仿真(M&S)的校核、验证与确认(VV&A)是目前仿真技术领域中的重要课题。VV&A是保证M&S的置信度和可用性的关键技术。VV&A贯穿于整个M&S的全生命周期，复杂仿真系统的校核与验证（V&V）需要自动化、可视化的测试工具。介绍一种在Windows平台下开发的，遵循VV&A原则、并使用了VV&A技术的自测试软件，该自测试软件同时作为飞行实时仿真系统性能测试与评估的有效工具，具有一定的通用性。; 关键词仿真系统校核验证自测试软件; Keywords modeling and simulation verification, validation and accreditation automatic test softwar\; 分类号 TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名软件内建自测试中模板内容的研究和实现被引量：1: 3; 作者彭成寒徐拾义; 机构上海大学计算机工程与科学学院; 出处《计算机应用研究》 CSCD 北大核心 2006年第10期78-81,共4页; 基金国家自然科学基金资助项目(60173029); 文摘软件内建自测试是软件测试和可测性设计研究领域中的一个新概念,其思想来源于硬件内建自测试B IST(Build-in-Self-Test)。软件内建自测试为程序员提供一套预先设计好的模板,由模板对所编写的程序植入测试信息,实现软件内建自测试以解决软件测试难的问题。模板是软件内建自测试系统的基石,其内容关系到整个系统的性能和效果。具体讨论了模板的实现,根据软件故障模型对代码进行改装,从而减少程序出错的概率,同时为软件内建自测试系统中测试用例的生成提供了更丰富的信息。; 关键词软件内建自测试可测性模板函数程序插装故障模型; Keywords Build-In-Self-Test for Software Testability Template Function Program Instrumentation Fault Model; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名软件内建自测试及其面向对象模板的设计被引量：1: 4; 作者谭建勇徐拾义; 机构上海大学计算机工程与科学学院; 出处《计算机工程与应用》 CSCD 北大核心 2003年第18期124-126,共3页; 基金国家自然科学基金(编号:69873030 1999 +1 种基金 60173029 2002)资助; 文摘论文提出了一种软件可测性设计技术———软件内建自测试及其实施方案,以期提高软件测试效率,改进软件产品质量。论文还重点讨论了方案中面向对象模板设计中的若干问题,并给出了设计实例。; 关键词软件测试可测性设计软件内建自测试面向对象; Keywords Software Testing,Design for Testability,Built-In Self-Test for Software,Object-Oriented; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名软件测试中故障模型的建立被引量：12: 5; 作者朱荣徐拾义; 机构上海大学计算机学院; 出处《计算机工程与应用》 CSCD 北大核心 2003年第17期69-71,91,共4页; 基金国家自然科学基金(编号:69873030 1999 +1 种基金 60173029 2002); 文摘在软件测试中,会碰到各种类型的软件故障,而且这些故障的灵活性很强。这篇文章旨在建立不同类型的故障模型,以便于管理和标准化这些故障。该文建立了6种故障模型,可以覆盖相当数量的软件故障。而且在文章的附录部分给出了试验数据,有效地证明了这些故障模型的建立是非常有意义的。; 关键词软件测试软件内建自测试故障模型; Keywords Software testing,Built-in self testing,Fault model; 分类号 TP31 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名SoC总线串扰的精简MT测试集被引量：3: 6; 作者张颖李华伟李晓维胡瑜; 机构中国科学院计算机系统结构重点实验室中国科学院计算技术研究所中国科学院研究生院; 出处《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第4期474-480,共7页; 基金国家自然科学基金(60606008 60633060 +2 种基金 60776031) 国家"八六三"高技术研究发展计划(2007AA01Z476); 文摘多跳变(MT)故障模型是一种有效的总线串扰故障模型,可以测试由电容和电感导致的串扰故障,但是MT的原始测试集存在严重的向量冗余.通过分析MT原始测试集向量冗余的3类情况,利用欧拉回路对测试向量进行组合优化,得到MT精简测试集,同时不损失MT故障覆盖率;还设计了MT故障模型的软件自测试程序来实施MT精简测试集,用于实速在线检测串扰故障,而不需要使用高速测试仪.实验结果表明,采用MT精简测试集可以有效地减少总线串扰测试的时间和向量存储开销.; 关键词多跳变故障模型向量冗余欧拉回路软件自测试; Keywords multiple transition fault model pattern redundancy Euler loop software-based self-testing; 分类号 TP303 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名C++类测试描述语言的设计和实现: 7; 作者宋春明徐拾义; 机构上海大学计算机工程与科学学院; 出处《计算机工程》 CAS CSCD 北大核心 2004年第12期78-80,共3页; 基金国家自然科学基金资助项目(60173029); 文摘根据一种软件可测性设计技术——软件内建自测试的实施方案,该文提出了一种针对C++类测试的测试描述语言TDL,以提高C++类测试数据的存储结构化,方便其共享和复用。重点讨论了TDL语言的核心对象和结构,并给出了一个TDL程序的实例。; 关键词面向对象软件测试可测性设计软件内建自测试测试用例测试语言; Keywords Object-oriented software testing Design for testability Built-in self-test (BIST) for software Test case Test language; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名坚持教改提高教学质量——《计算机应用基础》教改体会: 8; 作者叶玉兰; 出处《暨南学报（哲学社会科学版）》 CSSCI 1996年第S1期59-61,共3页; 文摘《计算机应用基础》是我校非计算机专业的一门必修基础课、被评为省高教厅重点建设课程.这几年,通过狠抓教材建设、电化教学、上机实习CAI教学课件等手段,深化教学改革,提高教学质量,学生在省统考中取得了较好成绩.; 关键词文字处理 LOTUS 1-2-3表处理 CAI教学课件自测试软件多媒体技术; 分类号 TP3-4 [自动化与计算机技术—计算机科学与技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于有界模型检测的门级软件自测试方法	张颖张嘉琦王真江建慧	《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心	2018	0	在线阅读下载PDF 职称材料
2	仿真系统的校核与验证的自测试软件	贾荣珍刘丽王行仁詹文军	《系统仿真学报》 EI CAS CSCD	2000	4	在线阅读下载PDF 职称材料
3	软件内建自测试中模板内容的研究和实现	彭成寒徐拾义	《计算机应用研究》 CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料
4	软件内建自测试及其面向对象模板的设计	谭建勇徐拾义	《计算机工程与应用》 CSCD 北大核心	2003	1	在线阅读下载PDF 职称材料
5	软件测试中故障模型的建立	朱荣徐拾义	《计算机工程与应用》 CSCD 北大核心	2003	12	在线阅读下载PDF 职称材料
6	SoC总线串扰的精简MT测试集	张颖李华伟李晓维胡瑜	《计算机辅助设计与图形学学报》 EI CSCD 北大核心	2009	3	在线阅读下载PDF 职称材料
7	C++类测试描述语言的设计和实现	宋春明徐拾义	《计算机工程》 CAS CSCD 北大核心	2004	0	在线阅读下载PDF 职称材料
8	坚持教改提高教学质量——《计算机应用基础》教改体会	叶玉兰	《暨南学报（哲学社会科学版）》 CSSCI	1996	0	在线阅读下载PDF 职称材料