期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
基于合约的构件易测试性设计支撑工具的设计与实现 被引量:5
1
作者 单锦辉 姜瑛 +2 位作者 刘江红 辛国茂 侯姗姗 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第5期815-819,共5页
构件技术的新特点为构件测试带来挑战。合约式设计是一种重要的软件易测试性设计方法。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑... 构件技术的新特点为构件测试带来挑战。合约式设计是一种重要的软件易测试性设计方法。基于合约的构件易测试性设计为构件测试提供了一种有效的手段。设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础。 展开更多
关键词 软件测试 软件的易测试 构件 合约式设计
下载PDF
针对ASIC中记忆部件的易测试性设计技术 被引量:1
2
作者 张民选 张承义 +1 位作者 王永文 高军 《计算机工程与科学》 CSCD 2002年第4期68-70,共3页
本文提出了一种简洁有效的、针对ASIC中记忆部件的易测试性设计技术 ,可消除部分不可测故障 ,提高故障覆盖率。
关键词 ASIC 记忆部件 易测试性设计 专用大规模集成电路 故障覆盖率
下载PDF
基于合约状态检查的构件易测试研究
3
作者 赵艳妮 郭华磊 《现代电子技术》 2014年第10期83-85,88,共4页
随着软件规模日趋复杂,软件质量问题日趋突出。构件复用提高了开发效率,构件测试保证了构件质量。针对目前缺乏成熟构件测试技术的现状,提出了基于合约状态检查的构件易测试方法。将Bertrand Meyer的合约概念引入到构件设计开发测试过程... 随着软件规模日趋复杂,软件质量问题日趋突出。构件复用提高了开发效率,构件测试保证了构件质量。针对目前缺乏成熟构件测试技术的现状,提出了基于合约状态检查的构件易测试方法。将Bertrand Meyer的合约概念引入到构件设计开发测试过程中,考虑构件易测试性,从构件开发者和复用者的角度分析构件及构件的测试,违反构件合约时抛出异常信息,快速定位异常位置。在一定程度上保证构件质量,缩短开发周期,提高测试效率。 展开更多
关键词 合约状态 客户方 服务方 构件易测试
下载PDF
基于FPGA系统易测试性的研究
4
作者 汪小会 《国外电子测量技术》 2007年第5期57-59,65,共4页
FPGA在工程中应用越来越普遍,随着FPGA的设计速度提高、尺寸减小和复杂度增加,使得整个设计流程中的实时验证和调试成为当前FPGA系统的关键问题。本文重点介绍了在调试FPGA系统时遇到的问题,以及有助于提高调试效率的方法。
关键词 FPGA 实时验证 易测试
下载PDF
加权伪随机矢量易测试的可编程逻辑阵列
5
作者 彭新光 《山西矿业学院学报》 1994年第4期299-302,共4页
提出了一种实用的随机矢量易测试方案,用循环移位寄位器对乘积线进行划分,同时修改原有的输入译码器来减少乘积线和输出线的扇入数。通过对20个不同规模的可编程逻辑阵列实验,结果表明以很低的附加硬件电路获得了很高的故障被测度和较... 提出了一种实用的随机矢量易测试方案,用循环移位寄位器对乘积线进行划分,同时修改原有的输入译码器来减少乘积线和输出线的扇入数。通过对20个不同规模的可编程逻辑阵列实验,结果表明以很低的附加硬件电路获得了很高的故障被测度和较短的测试输入序列。 展开更多
关键词 伪随机矢量 易测试设计方案 可编程逻辑阵列 测试输入序列 故障被测度 测试成本
下载PDF
基于软件易测试性的CBTC区域控制器系统设计 被引量:5
6
作者 郎红霞 宁滨 黄友能 《铁道通信信号》 2007年第12期8-10,共3页
区域控制器系统是CBTC铁路运行系统中重要的一部分,对提高列车运行效率和安全起着重要的作用。首先介绍了区域控制器的工作原理和易测试性的特点,然后将易测试性方法应用于区域控制器系统的设计中。这种设计方法提高了测试效率,降低了... 区域控制器系统是CBTC铁路运行系统中重要的一部分,对提高列车运行效率和安全起着重要的作用。首先介绍了区域控制器的工作原理和易测试性的特点,然后将易测试性方法应用于区域控制器系统的设计中。这种设计方法提高了测试效率,降低了测试成本。 展开更多
关键词 区域控制器 车载控制器 计算机联锁系统 软件易测试
下载PDF
一种新的提高软件易测试性的合约式设计方法 被引量:1
7
作者 单锦辉 辛国茂 孙萍 《计算机工程与科学》 CSCD 2008年第1期97-100,共4页
软件测试是保证软件质量的重要手段。软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势。软件的易测试性逐渐受到人们重视。合约式设计是一种有效的软件易测试性设计方法。本文介绍了软件易测试性设... 软件测试是保证软件质量的重要手段。软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势。软件的易测试性逐渐受到人们重视。合约式设计是一种有效的软件易测试性设计方法。本文介绍了软件易测试性设计的基本思想和主要方法,提出一种新的合约式设计方法,对现有各种基于Java语言的合约式设计工具进行比较,开发了一种新的合约式设计工具,并通过实验验证了方法的有效性。 展开更多
关键词 软件测试 软件的易测试 合约式设计
下载PDF
通过代码分离模型编写易维护易测试的代码
8
作者 刘静静 吕何新 《计算机应用与软件》 北大核心 2021年第10期1-7,14,共8页
当前计算机软件开发正面临变化多和响应快的难题和挑战,而目前存在的用于解依赖来实现易维护易测试的技术存在学习门槛高、难于熟练掌握、在单一方法运用上支持不足的问题。在研究大量现有技术的基础上,设计并实现代码分离模型,提出数... 当前计算机软件开发正面临变化多和响应快的难题和挑战,而目前存在的用于解依赖来实现易维护易测试的技术存在学习门槛高、难于熟练掌握、在单一方法运用上支持不足的问题。在研究大量现有技术的基础上,设计并实现代码分离模型,提出数据隔离、行为隔离、粗细隔离、增强版粗细隔离四种隔离方法以及隔离层的方案设计,并把常见的应用场景提取为五种代码分离模式。代码分离模型大幅度降低了编写易维护易测试代码的难度,是该领域的又一创新,也是对现有技术的有力补充。 展开更多
关键词 代码分离 解依赖 维护 易测试
下载PDF
软件测试研究进展 被引量:138
9
作者 单锦辉 姜瑛 孙萍 《北京大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第1期134-145,共12页
从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展... 从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想 ;讨论软件测试中的若干问题 ,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等 ;并且探讨软件测试的发展趋势 ,包括构件测试、软件的易测试性与基于合约的构件易测试性设计和WebServices测试等。 展开更多
关键词 软件测试 软件质量 软件的易测试 构件测试
下载PDF
基于框架的软件测试性分析 被引量:1
10
作者 付剑平 陆民燕 刘斌 《系统工程与电子技术》 EI CSCD 北大核心 2011年第9期2133-2138,共6页
软件测试性分析能帮助设计人员开发出更易测试的软件,从而减少软件测试的难度和费用。为了分析不同软件的测试性、提供各种测试性信息,提出一种基于框架的软件测试性分析方法。框架由测试性度量、易测试特性度量、测试性因素度量以及它... 软件测试性分析能帮助设计人员开发出更易测试的软件,从而减少软件测试的难度和费用。为了分析不同软件的测试性、提供各种测试性信息,提出一种基于框架的软件测试性分析方法。框架由测试性度量、易测试特性度量、测试性因素度量以及它们之间的关系构成。首先,根据不同软件的特点和测试情况,从框架中获取测试性因素度量;然后,分析影响同一易测试特性的测试性因素,通过模糊计算模型度量易测试特性;最后,综合易测试特性计算软件测试性。实例应用表明该方法确实可行,能够为软件开发提供帮助。 展开更多
关键词 测试性分析 框架 易测试特性 测试性因素
下载PDF
浅谈软件测试方法 被引量:2
11
作者 吴妮妮 商林 《湖北成人教育学院学报》 2011年第4期145-147,共3页
从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋... 从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋势等。 展开更多
关键词 软件测试 软件质量 软件的易测试
下载PDF
软件测试的研究进展 被引量:1
12
作者 孙阳 孙蒙 戴淑晴 《电脑知识与技术》 2015年第3期279-280,共2页
软件是计算机的灵魂,软件测试则是保证软件质量的有效手段,该文主要从软件测试的思想、测试的技术、测试存在的问题和测试的发展趋势等方面对软件测试进展进行研究。总结了软件测试的两条基本准则,软件测试技术的发展以及发展中存在... 软件是计算机的灵魂,软件测试则是保证软件质量的有效手段,该文主要从软件测试的思想、测试的技术、测试存在的问题和测试的发展趋势等方面对软件测试进展进行研究。总结了软件测试的两条基本准则,软件测试技术的发展以及发展中存在的问题,并指出了软件测试的发展趋势。 展开更多
关键词 软件测试 软件易测试 构件测试
下载PDF
二次封堵阀在完井测试中的应用 被引量:6
13
作者 季晓红 朱进府 +2 位作者 单锋 张日兴 周旋 《油气井测试》 2013年第3期45-46,49,共3页
介绍了二次封堵阀的工作原理,简述其在完井测试的施工要求,以中古某井为例讲述了其具体应用效果,总结了其在使用过程中存在的问题并给出了相应的建议,认为二次封堵阀的使用为完井测试作业提供了一种新的思路和选择,大大缩短了试油周期。
关键词 关键词 二次封堵阀 管内封堵裸眼测试
下载PDF
影响电波暗室场地电压驻波比测试的因素分析
14
作者 李潇 孟东林 《安全与电磁兼容》 2009年第4期31-33,88,共4页
介绍场地电压驻波比互易法测试系统的搭建及场地布置,并结合详细的实测数据着重讨论影响场地电压驻波比测试结果的因素和测试中可能会出现的问题,如墙面的反射、电缆的放置和构成天线架的材料等。据此提出了相应的解决措施。
关键词 电波暗室 场地电压驻波比 易测试 场地布置 影响因素 反射
下载PDF
基于c#的合约式包装器的设计方案研究
15
作者 李英娜 《光盘技术》 2009年第5期36-37,共2页
实现了一个C#语言的合约检查工具,用于辅助程序员在用C#语言编写软件的时候运用合约式设计方法。工具将书写在程序注释中的合约提取出来,并转化为类不变式、类方法的前置条件或后置条件的检查代码插入到源文件中。当执行含有合约检查代... 实现了一个C#语言的合约检查工具,用于辅助程序员在用C#语言编写软件的时候运用合约式设计方法。工具将书写在程序注释中的合约提取出来,并转化为类不变式、类方法的前置条件或后置条件的检查代码插入到源文件中。当执行含有合约检查代码的源文件的时候,检查代码将被执行,以确保合约是否被遵守。 展开更多
关键词 易测试 合约式设计 类不变式 前置条件 后置条件
下载PDF
Circuit breakers: Development of testable hypothesis
16
作者 Anup Chowdhur Mohammed Masuduzzaman 《Chinese Business Review》 2010年第8期13-31,共19页
In October 1996, The Dhaka Stock Exchange (DSE) adopted trading halts for individual stocks, collectively known as "circuit breakers", to reduce the stock market volatility. This paper reviews the existing circuit... In October 1996, The Dhaka Stock Exchange (DSE) adopted trading halts for individual stocks, collectively known as "circuit breakers", to reduce the stock market volatility. This paper reviews the existing circuit breakers literature and developed five hypothesis--"Magnet Effect", "Cool off-Heating (C-H) Effect", "Information Hypothesis", "Volatility Spillover Hypothesis" and "Trading Interferences Hypothesis"--which could be tested empirically not only in the Dhaka Stock Exchange but any stock exchanges around the world. This paper also suggests most appropriate econometric models for empirical testing. GARCH for inter day data and Event Study methodology for intra day data. Moreover, to test the robustness non-parametric tests need to use along with parametric one. Considering the stock market bubbles in 1996, it has been found that it was optimal for the regulators to adopt this trading halt, but not for the market. It failed to protect the market. However, this might be the consequences of misconceptions about the purpose and effectiveness of circuit breakers. Despite many arguments contrary to this mechanism and absence of any conclusive empirical evidence for a fragile stock exchange like DSE, it may be useful sometimes to replace the "invisible hand of the marketplace" with the "visible hand of the market regulators". 展开更多
关键词 trading halt circuit breakers inter day data and intra day data
下载PDF
An Extreme Value Approach to Test the Effect of Price Limits on Volatility
17
作者 Haitham Nobanee Khalil Hilu 《Journal of Modern Accounting and Auditing》 2013年第10期1382-1391,共10页
Many stock exchanges around the world enforcing daily price limits on the amount asset prices can change to prevent the market from overreacting and to reduce volatility. Price limits are artificial boundaries set by ... Many stock exchanges around the world enforcing daily price limits on the amount asset prices can change to prevent the market from overreacting and to reduce volatility. Price limits are artificial boundaries set by market regulators who restrict price changes of a stock to a pre-specified range during a trading day or a single trading session. The primary aim of price limit rules is to stabilize the markets during panic trading, to moderate vitality by repressing excessive speculation, and to allow stocks to be traded at prices close to their fair value. However, their impact on the market is a somewhat unresolved issue (Harris, 1998). Using a methodology of comparing volatility based on the extreme value technique, the authors empirically investigate the impact of price limits on the volatility of the Stock Exchange of Thailand. The empirical results support price limits advocates, suggesting that price limits rules moderate stock price volatility. 展开更多
关键词 price limits extreme value theory VOLATILITY Stock Exchange of Thailand
下载PDF
反馈式内置自测试设计方案对比研究
18
作者 李晓维 《装甲兵工程学院学报》 1996年第3期43-49,共7页
对两种基于反馈的自测试(BIST)方案进行了比较研究,给出了串行反馈和并行反馈BIST方案的设计结构和操作模式。分析了它们的状态转移图的拓扑结构,并对若干电路做了模拟实验。研究表明:添加线沟通测试图生成和响应压缩部分所产生的串... 对两种基于反馈的自测试(BIST)方案进行了比较研究,给出了串行反馈和并行反馈BIST方案的设计结构和操作模式。分析了它们的状态转移图的拓扑结构,并对若干电路做了模拟实验。研究表明:添加线沟通测试图生成和响应压缩部分所产生的串行反馈BIST方案性能更好。 展开更多
关键词 测试 易测试设计 内置自测试 状态转移图
原文传递
Nanomagnetic CoPt truncated octahedrons:facile synthesis,superior electrocatalytic activity and stability for methanol oxidation 被引量:5
19
作者 Tianyu Xia Jialong Liu +3 位作者 Shouguo Wang Chao Wang Young Sun Rongming Wang 《Science China Materials》 SCIE EI CSCD 2017年第1期57-67,共11页
Nanomagnetic CoPt truncated octahedral nanoparticles (TONPs) were successfully synthesised through a facile one-pot strategy. These single crystal CoPt TONPs with an average size of about 8 nm exhibit excellent elec... Nanomagnetic CoPt truncated octahedral nanoparticles (TONPs) were successfully synthesised through a facile one-pot strategy. These single crystal CoPt TONPs with an average size of about 8 nm exhibit excellent electrocatalytic performance of both activity and stability for methanol oxidation reaction (MOR). The mass and specific activities of CoPt TONPs is 8 and 6 times higher than that of standard commercial Pt/C, respectively. After accelerated durability test (ADT), the loss of electrochemical surface area (ECSA) for CoPt TONPs is only 18.5%, which is significantly less than that of commercial Pt/C (68.2%), indicating that CoPt TONPs possess much better stability than commercial Pt/C in the prolonged operation. The Curie temperature of CoPt TONPs down to 8 nm is as high as 350 K with weak ferromagntism at room temperature (RT), which is greatly valuable for recycling in the eletrocatalytic applications. 展开更多
关键词 truncated octahedral nanoparticles methanol oxida-tion reaction (MOR) accelerated durability test (ADT) ferro-magntism
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部