程序插装技术在软件内建自测试中的应用

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

软件内建自测试中模板内容的研究和实现

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

软件内建自测试中测试点的设置及个数的研究

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

软件内建自测试及其面向对象模板的设计

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

基于软件内建自测试模板内容的研究

受到硬件测试中BIST(内建自测试)技术和可测试性设计的启发,在国家自然科学基金项目“软件内建自测试”中提出了软件内建自测试的思想。给出了模板的程序流程中有效语句的定义、流程的存储格式以及独立路径的计算,此外还对程序变量跟踪链表进行了研究。     

MT-6000中的内建自测试设计

MT-6000是一款时分多路复用串行数据总线控制芯片。其特点是高集成度,高容错性以及在恶劣环境下的高可靠性等。芯片设有内建自测试功能来保障其可用性,同时自测试方法简洁,其功能覆盖达80%以上。研究了MT-6000的系统结构,设计了核心部分的内建自测试,包括自测试码产生方法及自测试电路。最后给出了实验分析结果。     

一种新型内建自测试重播种技术

测试数据压缩是SoC(System on a Chip)测试领域研究的一个热点问题.本文提出一种新型的内建自测试重播种技术,这项技术利用一个LFSR(Linear Feedback Shift Register)的种子对多个确定性测试向量进行编码压缩,能够显著提高测试数据的压缩率.在ISCAS89基准电路上进行的实验数据显示,这项技术可以减少约30%的LFSR种子数量,进而降低了测试成本.     

软件内建自测试中的规则集设计与实现

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

嵌入式存储器内建自测试方法

集成电路工艺的改进使存储器的测试面临着更大的挑战.本文在时存储器的故障模型分析的基础上,对具有代表性的测试算法进行了深入的研究,并且详细分析了嵌入式存储器内建自测试的实现原理.通过仿真表明该方法对多数常见故障具有较高的覆盖率.     

逻辑内建自测试技术进展综述

逻辑内建自测试(logic buit-in self-test,LBIST)是一种可测试性设计技术,利用芯片、板级或系统上的部分电路测试数字逻辑电路本身。LBIST对于许多应用来说至关重要,尤其是国防、航空航天、自动驾驶等生命和任务关键型的应用。这些应用需要执行片上、板上或系统内自检,以提高整个系统的可靠性及执行远程诊断的能力。该文首先给出了常用的LBIST分类,并描述了经典的,也是工业界应用最成功的LBIST架构——使用多输入特征寄存器和并行移位序列产生器的自测试架构;其次,对国内外研究团队、研究进展进行了总结;再次,详细剖析了LBIST的基本原理、时序控制、确定性自测试设计、低功耗设计、“X”容忍等关键技术点,列举出了主流的LBIST商业工具,并逐一分析了其软件架构和技术特点;最后,讨论当前LBIST技术仍需进一步解决的问题,并进行展望。     

一个基于构件的软件过程控制模型

基于构件的软件过程中存在大量的并行活动,提出的基于Petri网的基于构件的软件控制模型,易于描述这些并行活动,并且能有效地控制基于构件的软件过程的实施,使过程中的活动有条不紊地向前推进。     

Guest editorial to the Special Issue on Component-Based Software Engineering and Software Architecture

This paper introduces the Special Issue on Component-Based Software Engineering and Software Architecture, which contains extended versions of a selection of the best papers presented at the CompArch 2012 conference, held in June 2012, in Bertinoro, Italy.     

存储器内建自测试技术在芯片设计中的应用

针对SoC芯片中存储器模块的测试问题,在结合设计工具的基础上,提出了存储器的测试结构和方法,并且讨论了存储器模型的应用与调试.     

Component Point: A system-level size measure for Component-Based Software Systems

System-level size measures are particularly important in software project management as tasks such as planning and estimating the cost and schedule of software development can be performed more accurately when a size estimate of the entire system is available. However, due to the black-box nature of components, the traditional software measures are not adequate for Component-Based Software Systems (CBSS). In this paper, we describe a Function Point-like measure, named Component Point (CP), for measuring the system-level size of a CBSS specified in the Unified Modelling Language. Our approach integrates three software measures and extends an existing size measure from the more matured Object-Oriented paradigm to the related and relatively young CBSS discipline. We then apply the proposed measure to a Global Positioning System and demonstrate its viability in sizing a CBSS. An empirical analysis is also provided in order to prove the validity and usefulness of the CP measure.     

基于BIST软件测试思想的单元测试框架

BIST是一种成熟的硬件可测性设计的方法,BIST软件测试思想则借用了该技术,它主要包括模板和自治测试部分两大基本结构。在该思想的指导下,整合测试用例、测试点、插装函数、测试报告等测试要素,提出了各个要素的存储或使用方式,以路径覆盖为测试目标,提出了一种BIST软件自测试的测试框架。实践证明,该测试框架有利于BIST软件测试思想的进一步研究和实现。     

软件复用和基于可重用组件技术的软件开发(CBSD)

本文介绍了软件复用的概念、级别和困难所在。针对软件复用的特性,阐述了如何进行基于组件的系统开发。     

构件演化的配置管理研究

分析了基于构件的软件开发过程中构件演化对配置管理的新挑战,探讨了配置管理的对象,提出一种管理构件之间的关系方法以跟踪构件演化活动,从而配置管理能很好地支持构件的演化。     

嵌入式软件平台的构件化模型研究

为了提高嵌入式软件的生产率,本文提出了一种基于构件的嵌入式软件平台模型CBMESP.CBMESP将软件开发平台与运行平台以统一的构件模型进行构件化,使其可以应用于各种嵌入式领域而不必更改该模型,只需调整构件库中的具体构件即可,具有普遍适用性.因此,CBMESP不但加强同一领域内,也加强了领域之间的重用性.CBMESP强调并提供了开发平台与运行平台（应用软件）统一的基于构件的定制方式,更好满足了嵌入式软件开发的多样性要求;最后,CBMESP根据嵌入式软件特点提出构件模型由三个可以独立实现和运行的部分组成,并解决了各部分之间信息的传递问题,较好适应了嵌入式软件的交叉开发过程和嵌入式系统资源有限的特点.     

基于构件的软件体系结构实现技术

软件体系结构设计给出了实现大规模软件复用,尤其是领域复用的重要设计模式。体系结构描述了软件系统的整体组织结构与风格,为基于构件的软件开发过程提供了构件组装的依据和上下文。文章提出了一种使用构件技术来构造软件构架的方法,使得软件构架不再是抽象意义上的概念模型,而是可以象构件一样使用的可以进行大规模软件复用的可执行代码。