仿真系统的校核与验证的自测试软件 被引量：4

1

作者 贾荣珍 刘丽 +1 位作者 王行仁 詹文军 《系统仿真学报》 EI CAS CSCD 2000年第6期617-620,共4页

建模与仿真(M&S)的校核、验证与确认(VV&A)是目前仿真技术领域中的重要课题。VV&A是保证M&S的置信度和可用性的关键技术。VV&A贯穿于整个M&S的全生命周期，复杂仿真系统的校核与验证（V&V）需要自动化、可... 建模与仿真(M&S)的校核、验证与确认(VV&A)是目前仿真技术领域中的重要课题。VV&A是保证M&S的置信度和可用性的关键技术。VV&A贯穿于整个M&S的全生命周期，复杂仿真系统的校核与验证（V&V）需要自动化、可视化的测试工具。介绍一种在Windows平台下开发的，遵循VV&A原则、并使用了VV&A技术的自测试软件，该自测试软件同时作为飞行实时仿真系统性能测试与评估的有效工具，具有一定的通用性。 展开更多

关键词 仿真系统 校核 验证 自测试软件

在线阅读 下载PDF 职称材料

软件内建自测试中测试点的设计与实现 被引量：2

2

作者 徐拾义 李文 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第8期1057-1060,共4页

首先讨论测试点的三种插装策略 ,给出测试点的数据结构 ,并以分支覆盖探针函数为例 ,结合Lex&Yacc ,给出测试点的具体插装过程 .最后 ,提出测试点个数合理性设置的 5点建议 ,作为今后进一步研究之参考 .

关键词 软件测试 内建自测试 测试点 插装策略 测试点个数

在线阅读 下载PDF 职称材料

基于有界模型检测的门级软件自测试方法

3

作者 张颖 张嘉琦 +1 位作者 王真 江建慧 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第11期1575-1581,共7页

提出了基于有界模型检测的门级软件自测试方法.将处理器中的模块简化成约束模块,缓解状态爆炸问题.将难测故障的触发条件逐个转化成性质并且采用有界模型检测技术,搜索触发这些性质的违例.最后,将违例映射成测试指令序列,并为测试指令... 提出了基于有界模型检测的门级软件自测试方法.将处理器中的模块简化成约束模块,缓解状态爆炸问题.将难测故障的触发条件逐个转化成性质并且采用有界模型检测技术,搜索触发这些性质的违例.最后,将违例映射成测试指令序列,并为测试指令序列添加观测指令序列,构成自测试程序.实验结果表明:该方法在不引起状态爆炸问题的情况下,有效地测试控制器中难以测试的故障,提高了在线测试的测试质量. 展开更多

关键词 基于软件的自测试(sbst) 模型检测 抽象

在线阅读 下载PDF 职称材料

基于软件内建自测试的模板和基准程序设计 被引量：6

4

作者 凌良合 徐拾义 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第10期1159-1163,共5页

论述了软件内建自测试项目中“模板”模块的设计方法 .利用硬件测试中所使用的基准电路的思想 ,研究并开发了一种基准程序 .使用这种基准程序 ,可以较为方便地对所生成的测试用例进行测试 .最后给出了一个基准程序实例 .

关键词 内建自测试技术 模板 基准程序 软件测试 基准电路 程序设计

在线阅读 下载PDF 职称材料

程序插装技术在软件内建自测试中的应用 被引量：6

5

作者 钟治平 徐拾义 《计算机工程与应用》 CSCD 北大核心 2004年第17期117-118,229,共3页

软件内建自测试(Build-In-Self-TestforSoftware)思想来自于硬件内建自测试。其中测试点设置是软件内建自测试系统的核心模块之一,主要借助程序插装技术收集动态测试信息和控制程序流程。该文具体讨论了插装库的设计、实现以及测试点植... 软件内建自测试(Build-In-Self-TestforSoftware)思想来自于硬件内建自测试。其中测试点设置是软件内建自测试系统的核心模块之一,主要借助程序插装技术收集动态测试信息和控制程序流程。该文具体讨论了插装库的设计、实现以及测试点植入被测程序的过程。 展开更多

关键词 软件测试 内建自测试 可测性 测试点 程序插装

在线阅读 下载PDF 职称材料

软件内建自测试中测试点的设置及个数的研究 被引量：1

6

作者 李文 徐拾义 毕洪山 《计算机工程》 EI CAS CSCD 北大核心 2005年第13期96-98,共3页

软件内建自测试思想来自于硬件内建自测试。其中测试点设置是软件内建自测试系统的核心模块之一,主要借助程序插装技术收集动态测试信息和控制程序流程。具体讨论了插装库的设计、实现以及测试点个数的统计。

关键词 软件测试 内建自测试 可测性 测试点

在线阅读 下载PDF 职称材料

软件内建自测试中的规则集设计与实现 被引量：1

7

作者 肖全亮 徐拾义 《计算机应用》 CSCD 北大核心 2006年第2期459-461,共3页

“软件内建自测试”(Build-In Self-Test,B IST)是软件测试领域中的一个新概念,而其中的规则集技术则是软件内建自测试系统所提倡的一种避错技术。首先描述了规则集的定义以及原则,并给出了软件内建自测试系统中的规则集模块的实现,最后... “软件内建自测试”(Build-In Self-Test,B IST)是软件测试领域中的一个新概念,而其中的规则集技术则是软件内建自测试系统所提倡的一种避错技术。首先描述了规则集的定义以及原则,并给出了软件内建自测试系统中的规则集模块的实现,最后,以一个被测程序为例阐述了规则集的工作过程。 展开更多

关键词 软件测试 内建自测试 规则集 避错技术

在线阅读 下载PDF 职称材料

软件内建自测试及其面向对象模板的设计 被引量：1

8

作者 谭建勇 徐拾义 《计算机工程与应用》 CSCD 北大核心 2003年第18期124-126,共3页

论文提出了一种软件可测性设计技术———软件内建自测试及其实施方案,以期提高软件测试效率,改进软件产品质量。论文还重点讨论了方案中面向对象模板设计中的若干问题,并给出了设计实例。

关键词 软件测试 可测性设计 软件内建自测试 面向对象

在线阅读 下载PDF 职称材料

软件内建自测试中模板内容的研究和实现 被引量：1

9

作者 彭成寒 徐拾义 《计算机应用研究》 CSCD 北大核心 2006年第10期78-81,共4页

软件内建自测试是软件测试和可测性设计研究领域中的一个新概念,其思想来源于硬件内建自测试B IST(Build-in-Self-Test)。软件内建自测试为程序员提供一套预先设计好的模板,由模板对所编写的程序植入测试信息,实现软件内建自测试以解决... 软件内建自测试是软件测试和可测性设计研究领域中的一个新概念,其思想来源于硬件内建自测试B IST(Build-in-Self-Test)。软件内建自测试为程序员提供一套预先设计好的模板,由模板对所编写的程序植入测试信息,实现软件内建自测试以解决软件测试难的问题。模板是软件内建自测试系统的基石,其内容关系到整个系统的性能和效果。具体讨论了模板的实现,根据软件故障模型对代码进行改装,从而减少程序出错的概率,同时为软件内建自测试系统中测试用例的生成提供了更丰富的信息。 展开更多

关键词 软件内建自测试 可测性 模板函数 程序插装 故障模型

在线阅读 下载PDF 职称材料

军用软件自测试实践与分析 被引量：4

10

作者 刘威 王倩 《火力与指挥控制》 CSCD 北大核心 2011年第6期144-147,共4页

随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举。通过对军用软件自测试现状进行分析,以软件承制方的身份对某军用软件进行... 随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举。通过对军用软件自测试现状进行分析,以软件承制方的身份对某军用软件进行自测试,并将测试结果与专业测评机构三方测试的结果做对比分析,论述了军用软件自测试是保证军用软件质量的重要途径和必备手段。 展开更多

关键词 军用软件 自测试 三方测试

在线阅读 下载PDF 职称材料

规范化嵌入式软件自测试方法 被引量：2

11

作者 王泉 《计算机工程与设计》 CSCD 北大核心 2013年第10期3480-3485,3510,共7页

根据嵌入式软件特点,提出了集文档审查、含编码规则扫描的静态分析、代码审查、动态单元测试、部件测试和配置项测试的规范化自测试模型,并重点阐述了可定制编码规则的静态分析、基于宿主机的动态单元测试、部分增量的部件测试及基于故... 根据嵌入式软件特点,提出了集文档审查、含编码规则扫描的静态分析、代码审查、动态单元测试、部件测试和配置项测试的规范化自测试模型,并重点阐述了可定制编码规则的静态分析、基于宿主机的动态单元测试、部分增量的部件测试及基于故障注入的配置项测试等关键技术。该方法测试级别、测试类型全面,统计数据表明其有效减少了冗余测试工作时间,提高了测试效率,并在不同层次上消除了软件缺陷。 展开更多

关键词 嵌入式软件 自测试 编码规则 静态分析 宿主机 部件测试 增量

在线阅读 下载PDF 职称材料

单片机系统的硬件自测试与软件自保护 被引量：2

12

作者 陈国顺 《电测与仪表》 北大核心 1992年第10期37-38,48,共3页

简述了单片机系统的硬件自测试及软件自保护技术。给出了设计单片机应用系统时,进行硬件自测试的原则和进行自测试与自保护的几种方法。

关键词 单片机 硬件自测试 软件自保护

在线阅读 下载PDF 职称材料

软件测试中故障模型的建立 被引量：12

13

作者 朱荣 徐拾义 《计算机工程与应用》 CSCD 北大核心 2003年第17期69-71,91,共4页

在软件测试中,会碰到各种类型的软件故障,而且这些故障的灵活性很强。这篇文章旨在建立不同类型的故障模型,以便于管理和标准化这些故障。该文建立了6种故障模型,可以覆盖相当数量的软件故障。而且在文章的附录部分给出了试验数据,有效... 在软件测试中,会碰到各种类型的软件故障,而且这些故障的灵活性很强。这篇文章旨在建立不同类型的故障模型,以便于管理和标准化这些故障。该文建立了6种故障模型,可以覆盖相当数量的软件故障。而且在文章的附录部分给出了试验数据,有效地证明了这些故障模型的建立是非常有意义的。 展开更多

关键词 软件测试 软件内建自测试 故障模型

在线阅读 下载PDF 职称材料

基于CBD的软件测试策略研究 被引量：1

14

作者 曹严元 张为群 《计算机科学》 CSCD 北大核心 2008年第2期274-276,共3页

基于构件开发(CBD)的软件系统被广泛应用并成为一种主流软件形态。然而,构件软件系统的异质性和实现透明性等特点给测试带来了极大的挑战。寻求高效的构件软件测试技术和开发实用的测试工具是当今软件业界亟待解决的一个课题。本文分析... 基于构件开发(CBD)的软件系统被广泛应用并成为一种主流软件形态。然而,构件软件系统的异质性和实现透明性等特点给测试带来了极大的挑战。寻求高效的构件软件测试技术和开发实用的测试工具是当今软件业界亟待解决的一个课题。本文分析构件软件测试存在的主要问题,提出一个基于CBD的软件测试策略STSofCBS,建立系统化的测试策略,避免测试的偶然性带来的时间和工作量的浪费。 展开更多

关键词 CBD 软件测试 自测试性 测试策略

在线阅读 下载PDF 职称材料

SoC总线串扰的精简MT测试集 被引量：3

15

作者 张颖 李华伟 +1 位作者 李晓维 胡瑜 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2009年第4期474-480,共7页

多跳变(MT)故障模型是一种有效的总线串扰故障模型,可以测试由电容和电感导致的串扰故障,但是MT的原始测试集存在严重的向量冗余.通过分析MT原始测试集向量冗余的3类情况,利用欧拉回路对测试向量进行组合优化,得到MT精简测试集,同时不损... 多跳变(MT)故障模型是一种有效的总线串扰故障模型,可以测试由电容和电感导致的串扰故障,但是MT的原始测试集存在严重的向量冗余.通过分析MT原始测试集向量冗余的3类情况,利用欧拉回路对测试向量进行组合优化,得到MT精简测试集,同时不损失MT故障覆盖率;还设计了MT故障模型的软件自测试程序来实施MT精简测试集,用于实速在线检测串扰故障,而不需要使用高速测试仪.实验结果表明,采用MT精简测试集可以有效地减少总线串扰测试的时间和向量存储开销. 展开更多

关键词 多跳变故障模型 向量冗余 欧拉回路 软件自测试

在线阅读 下载PDF 职称材料

软硬件测试的一致性 被引量：7

16

作者 刘穆进 徐拾义 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第10期1186-1189,共4页

讨论了软硬件测试的一致性 ,列举了软硬件测试中相似的测试方法 ,最后基于一致性的概念并借助硬件可测性设计BIST(build -in -self-test)技术提出一种新的软件可测性方法 ,称为BISTSDFT(softwaredesign -for-testability) .BISTSDFT为... 讨论了软硬件测试的一致性 ,列举了软硬件测试中相似的测试方法 ,最后基于一致性的概念并借助硬件可测性设计BIST(build -in -self-test)技术提出一种新的软件可测性方法 ,称为BISTSDFT(softwaredesign -for-testability) .BISTSDFT为软件开发人员和测试人员提供了信息交流的桥梁 . 展开更多

关键词 内建自测试技术 软件测试 硬件测试 可测性设计 测试方法 一致性

在线阅读 下载PDF 职称材料

现代机载火控雷达软件的主要功能 被引量：4

17

作者 刘岱 杨润亭 《现代雷达》 CSCD 1996年第1期57-61,共5页

介绍了机载火控雷达的主要功能：控制功能、处理功能、监测功能，这些功能代表了现代化雷达系统中雷达软件的特性，说明了雷达软件在现代化雷达系统中所起的作用和地位。

关键词 机载火控雷达 脉冲多普勒雷达 软件 功能 机内自测试

在线阅读 下载PDF 职称材料

C++类测试描述语言的设计和实现

18

作者 宋春明 徐拾义 《计算机工程》 CAS CSCD 北大核心 2004年第12期78-80,共3页

根据一种软件可测性设计技术——软件内建自测试的实施方案,该文提出了一种针对C++类测试的测试描述语言TDL,以提高C++类测试数据的存储结构化,方便其共享和复用。重点讨论了TDL语言的核心对象和结构,并给出了一个TDL程序的实例。

关键词 面向对象软件测试 可测性设计 软件内建自测试 测试用例 测试语言

在线阅读 下载PDF 职称材料

坚持教改 提高教学质量——《计算机应用基础》教改体会

19

作者 叶玉兰 《暨南学报（哲学社会科学版）》 CSSCI 1996年第S1期59-61,共3页

《计算机应用基础》是我校非计算机专业的一门必修基础课、被评为省高教厅重点建设课程.这几年,通过狠抓教材建设、电化教学、上机实习CAI教学课件等手段,深化教学改革,提高教学质量,学生在省统考中取得了较好成绩.

关键词 文字处理 LOTUS 1-2-3表处理 CAI教学课件 自测试软件 多媒体技术

在线阅读 下载PDF 职称材料