VHDL语言行为描述划分的研究与实现

硬件描述语言行为级划分的处理对象是行为级的硬件描述，其结果可以用来指导综合中数据通路的设计实现及后续综合。本文研究ＶＨＤＬ语言行为描述划分的内容和系统设计方法，提出了一种类层次可变权的ＶＨＤＬ语言行为划分算法，该算法将单级层次划分算法与多级层次划分算的思想统一到一种算法中；针对行为划分的目标特点本文在划分因素评估中提出了规模因素的思想。     

Deriving Test Suites with the Guaranteed Fault Coverage for Extended Finite State Machines

Extended finite state machines (EFSMs) are widely used when deriving tests for checking the functional requirements for software implementations. However, the fault coverage of EFSMbased tests covering appropriate paths, variables, etc., remains rather obscure. Furthermore, these tests are known be incapable of detecting many functional faults frequently occurring in EFSM-based implementations. In this paper, an approach is proposed for deriving complete tests with the help of a proper Java EFSM implementation. Since the software is based on a template, the faults turn directly into EFSM faults. The method proposed here makes it possible to derive test suites that can detect functional faults. In the first step, the EFSM-based test suite derived by a well-known method is checked for completeness with respect to the faults generated by the μJava tool. Then, each undetected fault is easily mapped into an EFSM mutant. In the next step, some FSM abstraction is used to derive a distinguishing sequence for two finite-state machines (if such a sequence exists), which is added to the current test suite. The test derived in this way is complete with respect to the faults generated by μJava. If the corresponding FSM derived by EFSM modeling is too complex or no such FSM can be derived, the resulting test suite can be incomplete. However, the experiments performed by us clearly show that the original test suite extended by distinguishing sequences can detect many functional faults in software implementations when the given EFSM is used as a specification for the system.     

基于Verilog HDL的有限状态机设计与描述

有限状态机(FSM)是逻辑设计的重要内容,稍大一点的逻辑设计都存在FSM.介绍了采用Verilog HDL实现有限状态机的几种不同编码方式和描述风格,并从稳定性、可读性、速度和面积等方面比较了不同实现方式的利弊.最后,以简单序列检测器为例实现了可综合的FSM描述,并分析了其采用不同描述风格所得的综合结果.     

基于方程建立和小波配置的模拟电路自动建模

提出一种模拟电路行为级自动建模的方法．通过构建节点代数方程确定系统结构描述，利用小波配置方法建立所有基本单元的行为级描述，最终建立系统行为级模型，并据此开发了自动建模软件．所建模型面向模拟电路硬件描述语言的工业标准形式，在保证较高精度的同时，在仿真速度上与晶体管级描述相比具有明显的优势．     

基于有限状态机的电梯控制系统故障诊断方法

针对电梯控制系统软故障样本获取困难及产生时间短暂的问题,提出一种基于状态机的故障诊断方法。利用电梯控制开关量和电梯运行模拟量作为状态机的状态特征,在电梯正常运行过程中收集各状态并记录状态转换,以此建立电梯控制系统的规范模型;改进基于有限状态机的被动测试错误检测算法,对待诊断的电梯控制系统进行故障检测/诊断;并不断地确认新的故障情况,完善规范模型。实验结果表明,该方法可以及时检测出未知情况,也可以有效地诊断已知故障,对电梯控制系统瞬间出现的软故障有很好的监督作用。     

基于改进FSM的RBAC测试集约简方法

使用完备的有限状态机生成一致性测试集虽然有效,但数量庞大。针对该问题,考虑一般系统访问控制的基本需求,提出6种探索式方法对有限状态机(FSM)进行约简,有效避免状态爆炸的现象发生,简化了生成的一致性测试集大小。对基于FSM生成树进行实验,结果表明,改进FSM对缩小基于角色的访问控制系统一致性测试集是有效的。     

基于UIO的协议一致性测试序列生成方法研究

测试序列的生成是协议一致性测试中重要的研究领域,怎样使生成的测试序列既具有较强的检错能力又具有较广的差错覆盖范围成为许多科研人员研究的重点。文章在介绍了有限状态机族型和唯一输入／输出序列后,对基于UIO的测试序列生成方法进行了分析,然后对该方法进行了优化研究。使用优化后的算法可以缩短测试序列的长度,提高了测试效率和差错...     

基于确定有限状态机的测试输入序列选取

有限状态机可以精确地刻画软件系统或其子系统的行为，其在软件建模中被广泛应用，基于有限状态机的测试问题得到了广泛的研究，其中WP方法由于限制条件较少，并且其可以达到较高的错误覆盖度，因此被广泛使用，但当有限状态机的实现中的状态数目的估计值m较大时，产生的测试输入序列相对较少的测试输入序列数目，可以提高测试效率，同时本文对Wp方法和R-Wp方法产生的测试输入序列数目进行了讨论，并证明了该方法与Wp方法相同的错误覆盖能力。     

基于相关性模型的电路板TPS开发与验证

用TPS对电路板进行故障检测和维修,是提高新装备维修保障能力的重要环节.对TPS的开发者和最终使用者而言,如何提高TPS开发效率,并对其进行验证已经成为亟需解决的问题.分析了几种TPS验证方法的特点,提出了基于相关性模型的电路板TPS开发和验证方法.从测试性模型建立、关联矩阵生成和诊断策略设计等方面阐述了该过程.对于面...     

基于最小割集的安全性测试用例的动态生成

利用故障树的原理和方法,对基于故障树最小割集的安全性测试用例动态生成进行了研究.首先阐述了故障树和故障树最小割集的概念及数学描述,然后给出了故障树最小割集的生成算法,最后在此基础上提出了基于故障树最小割集的动态生成安全性测试用例的算法.     

基于VHDL描述的时序电路测试方法探析

借助软件测试思想。将基应用到行为级描述时序电路测试生成当中。对所生成测试矢量用门级时序电路故障模拟器来反映测试矢量对相应的门级电路故障检测能力。这对复杂的电路故障检测和测试生成提供了一种新的解决问题途径。