同济大学学报(自然科学版)

1915 年创刊

月刊

ISSN 1000-0054

CN 11-2223/N.

访问量:215605

  • 同济大学安全软件测试评估研究所简介

    2002年10期 1156页 [查看摘要][在线阅读][下载 62k]
    [下载次数:48 ] |[网刊下载次数:0 ] |[引用频次:0 ] |[阅读次数:13 ]
  • 基于软件内建自测试的模板和基准程序设计

    凌良合,徐拾义

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

    2002年10期 1159-1163页 [查看摘要][在线阅读][下载 45k]
    [下载次数:80 ] |[网刊下载次数:0 ] |[引用频次:11 ] |[阅读次数:19 ]
  • 一种用于双模冗余系统的健壮故障安全接口

    江建慧,闵应骅,彭澄廉

    迄今为止所提出的大多数故障安全系统是由一个三模或双模冗余结构级联一个故障安全接口所构成的 .为使得整个故障安全系统具有并发差错检测和定位能力 ,有一些系统使用了自校验的冗余模块 .用于三模冗余结构的故障安全表决器能够屏蔽单个模块的差错 ,但用于双模冗余结构的故障安全接口一般不具有纠错能力 .为解决这一问题 ,提出了一个称为交替互补转换器的故障安全接口的门级电路方案 ,它只要求两个冗余模块的输出构成交替互补矢量 ,且冗余模块无须是自对偶实现的 .这种故障安全系统能够纠正单个冗余模块所产生的单固定型差错 .交替互补转换器通过了Active-VHDL的门级模拟验证 .另外 ,还估计了它的硬件复杂性和传输延迟 .

    2002年10期 1164-1168页 [查看摘要][在线阅读][下载 62k]
    [下载次数:152 ] |[网刊下载次数:0 ] |[引用频次:5 ] |[阅读次数:20 ]
  • 基于路由网络代数的BGP4路由策略冲突分析

    赵会群,孙晶,高远

    介绍一种适合于Internet路由行为描述和分析的代数系统———路由网络代数 (routingnetworkalgebra ,RNA) ,路由网络代数中的变量、常量以及相关的运算定律 ,重点介绍用于路由行为分析的扩展规则 .在此基础上提出一种BGP4路由策略冲突检测方法 .理论与试验分析表明该方法可以有效地发现因错误的AS关系配置所产生的路由策略冲突 .

    2002年10期 1169-1172页 [查看摘要][在线阅读][下载 51k]
    [下载次数:46 ] |[网刊下载次数:0 ] |[引用频次:0 ] |[阅读次数:20 ]
  • 一种以太网拓扑发现算法

    李晓鸿,张大方

    网络第 2层设备拓扑结构的自动发现对于现代IP网络管理变得日益重要 .在分析比较现有基于交换机地址转发表的拓扑发现算法的基础上 ,提出了一种基于网桥生成树的算法 ,利用SNMP获取交换机MIB中的生成树信息就能更加准确地推导出交换以太网拓扑结构 .

    2002年10期 1173-1177页 [查看摘要][在线阅读][下载 47k]
    [下载次数:197 ] |[网刊下载次数:0 ] |[引用频次:50 ] |[阅读次数:11 ]
  • 面向不同应用的可行性数据流测试准则

    刘宏伟,杨孝宗,李香,曲峰

    测试准则是完成软件测试必须满足的条件 ,一个可行的测试准则是当且仅当对任意一个程序 ,都存在一个测试用例集能够满足该准则 .但在通常情况下 ,由于程序中不可执行的语句或路径的存在 ,使得基于数据流的测试准则不可行 .在一类具有可行性的测试准则FDF的基础上 ,给出了三类新的基于数据流的测试准则 ,并且证明其中两类准则比FDF测试准则具有更强的故障检测能力 .

    2002年10期 1178-1182页 [查看摘要][在线阅读][下载 55k]
    [下载次数:67 ] |[网刊下载次数:0 ] |[引用频次:2 ] |[阅读次数:14 ]
  • 软件可靠性多模型综合评估

    邹丰忠,徐仁佐

    软件可靠性工程领域一直存在模型很难应用于实际的问题 .不同的软件可靠性模型对同一个软件工程项目的估计差别极大 .为此 ,探讨了软件可靠性估计的稳健方法 ,研究了多模型的贝叶斯自动混合与选择的理论 ,其重点是要探讨贝叶斯先验表达及多模型的混合机制 ,以解决上述难题 .

    2002年10期 1183-1185页 [查看摘要][在线阅读][下载 27k]
    [下载次数:281 ] |[网刊下载次数:0 ] |[引用频次:27 ] |[阅读次数:20 ]
  • 软硬件测试的一致性

    刘穆进,徐拾义

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

    2002年10期 1186-1189页 [查看摘要][在线阅读][下载 41k]
    [下载次数:184 ] |[网刊下载次数:0 ] |[引用频次:18 ] |[阅读次数:13 ]
  • 分布式系统中服务可生存性的定量分析

    郭渊博,马建峰

    随着关键性基础设施对分布式计算系统依赖程度的增高 ,人们对分布式系统的可生存性要求也日益增高 .基于配置的概念 ,将分布式系统视作层次化的结构 .在该层次化的结构中 ,定义了系统与配置、服务的关系 ,给出了比较服务可生存性大小的充分条件 ,描述了系统状态并定义了系统服务间的依赖关系 .然后 ,借助于传统容错方法中与或树概念 ,将服务用与或结构表示 ,从而给出了一种服务可生存性的定量表达方法 .

    2002年10期 1190-1193页 [查看摘要][在线阅读][下载 39k]
    [下载次数:334 ] |[网刊下载次数:0 ] |[引用频次:93 ] |[阅读次数:16 ]
  • Verilog RTL模型

    沈理

    VLSI集成电路芯片测试技术正在向高层次测试推进 .针对Verilog硬件描述语言 ,提出了一种在寄存器传输级 (registertransferlevel,RTL)上的电路模型VRM .该模型着重于实际应用 ,可输出文本格式文件 ,便于开发实用的RTL级故障模拟和RTL级测试生成等软件 .基于该模型 ,还实现了一个简单的RTL逻辑模拟程序以验证VRM模型的可行性 .

    2002年10期 1194-1198页 [查看摘要][在线阅读][下载 72k]
    [下载次数:163 ] |[网刊下载次数:0 ] |[引用频次:5 ] |[阅读次数:10 ]
  • 一种面向测试的RTL行为抽象与蕴含方法

    尹志刚,李华伟,李晓维

    针对寄存器传输级 (registertransferlevel,RTL)行为的抽象 ,提出了一种层次化的带条件的表示 .这种抽象的行为是面向测试的 ,它不仅表达简单 ,而且能很方便地进行蕴含操作 .通过抽象 ,电路可以规范为行为集 ,并代替电路本身进行功能测试向量的生成 .在测试生成过程中 ,大量地应用蕴含操作可以使其中的行为得到简化 ,并极大地提高了系统的效率 .

    2002年10期 1199-1203页 [查看摘要][在线阅读][下载 55k]
    [下载次数:36 ] |[网刊下载次数:0 ] |[引用频次:3 ] |[阅读次数:9 ]
  • 一款通用CPU的存储器内建自测试设计

    何蓉晖,李华伟,李晓维,宫云战

    存储器内建自测试 (memorybuilt-inself-test,MBIST)是一种有效的测试嵌入式存储器的方法 .在一款通用CPU芯片的可测性设计 (design -for-testability ,DFT)中 ,MBIST作为cache和TLB的存储器测试解决方案被采用 ,以简化对布局分散、大小不同的双端口SRAM的测试 .5个独立的BIST控制器在同一外部信号BistMode的控制下并行工作 ,测试结果由扫描链输出 ,使得测试时间和芯片引脚开销都降到最小 .所采用的march 13n算法确保了对固定型故障、跳变故障、地址译码故障和读写电路的开路故障均达到 10 0 %的故障覆盖率 .

    2002年10期 1204-1208页 [查看摘要][在线阅读][下载 57k]
    [下载次数:246 ] |[网刊下载次数:0 ] |[引用频次:24 ] |[阅读次数:19 ]
  • RTL集成电路的时序深度

    高燕,沈理

    在高层次测试生成中 ,为了更好地利用高层次电路的结构信息 ,以Verilog硬件描述语言描述的电路为研究对象 ,提出寄存器传输级 (RTL)集成电路的静态时序深度和动态时序深度概念 .从静态、动态两方面出发度量语句的执行效果和程序运行的时序关系 ,并结合实例分析了二者在高层次测试生成中的应用 .高层次行为信息的提取也将为高层次设计和验证提供方便 .

    2002年10期 1209-1214页 [查看摘要][在线阅读][下载 58k]
    [下载次数:55 ] |[网刊下载次数:0 ] |[引用频次:1 ] |[阅读次数:11 ]
  • 面向同步时序电路的电路并行测试生成算法

    刘蓬侠,曾芷德,李思昆

    面对VLSI设计规模日益增大的挑战 ,除了电路并行以外 ,其它已有的基本并行策略都无法从根本上解决测试生成的复杂性问题 .然而 ,已有的电路并行测试生成算法并未取得理想的结果 ,尤其对时序电路 .因此 ,如何划分电路 ,成为电路并行算法的设计基础和成功的关键 .面向逻辑级描述的同步时序电路 ,以触发器为核的电路划分算法BWFSF将电路划分为大功能块 .对Benchmark - 89电路的实验结果表明 ,基于G -F二值算法和BWFSF算法的电路并行测试生成算法在有效减少存储空间消耗的同时 ,还能够获得稳定的加速比 .

    2002年10期 1215-1221页 [查看摘要][在线阅读][下载 85k]
    [下载次数:67 ] |[网刊下载次数:0 ] |[引用频次:0 ] |[阅读次数:22 ]
  • 软件安全性3M评价中评价因子修正的研究

    郦萌

    安全性苛求系统需要防范意外事件造成对人体、环境或大宗财产的损害 .为此 ,对软件需要进行严格的安全性测试 ,并对软件防范意外事件的能力进行评价 .然而 ,完全依靠试验统计或事故累积数据进行安全性评价 ,会由于测试开销过大或等待累积时间过长影响评价的准确性和及时性 .需要利用软件开发过程中涉及的诸多要素和在各个阶段来自多个方面所提供的信息参与安全性评价 ,但是 ,在这些信息中包含了某些主观的成分有待验证 .在多元、多模型、多阶段 (3M)安全性软件评价方法的框架中 ,有可能利用后续测试得到的信息不断对评价因子进行修正 ,提高评价的准确性 .讨论了后续测试对 3M模型中的复杂性、技术支持和开发水平因子的修正方法 ,着重论述对开发水平因子的修正 .提出了后续测试信息和先期测试信息进行比较和处理的过程和一些规则 .

    2002年10期 1222-1225页 [查看摘要][在线阅读][下载 46k]
    [下载次数:85 ] |[网刊下载次数:0 ] |[引用频次:3 ] |[阅读次数:7 ]
  • 从测试规格说明到测试用例的自动生成方法

    胡芸,缪淮扣,刘玲

    讨论了使用域测试策略生成测试用例的过程 :将测试规格说明 ,即经过预处理的形式规格说明所得到的以析取范式形式表示的线性谓词 ,变换成不等式组 ,然后对每一个不等式组利用 1× 1域测试策略生成域测试矩阵 ,最终得到测试用例包 .提出了一种应用 1× 1域测试策略和线性不等式值转换器来构成一个从测试规格说明生成测试用例的方法 .最后通过一个实例说明如何使用 1× 1域测试策略来实现从测试规格说明到测试用例的自动生成 .

    2002年10期 1226-1231页 [查看摘要][在线阅读][下载 60k]
    [下载次数:236 ] |[网刊下载次数:0 ] |[引用频次:18 ] |[阅读次数:9 ]
  • 对虚拟专用网的分布式分层诊断算法

    刘兵,张大方

    提出了基于虚拟专用网的一种新的分布式分层系统级故障诊断算法 .这种算法通过对各个子网的分布式诊断 ,并通过IPSec协议使各子网间诊断信息得以可靠无误交换 ,完成整个系统的故障诊断 ,提高了系统的可靠性 .对传统诊断方法与现代网络技术结合 ,提供了新的思路 .

    2002年10期 1232-1234页 [查看摘要][在线阅读][下载 27k]
    [下载次数:18 ] |[网刊下载次数:0 ] |[引用频次:0 ] |[阅读次数:14 ]
  • 一种基于数据包分析的网络入侵检测探针

    李文嘉,张大方,谢高岗

    首先介绍入侵检测系统的原理 ,并在此基础上利用Kdevelop 2 .0以及Qt在Linux操作系统下实现了基于数据包分析的网络入侵检测探针程序 .该程序完成了共享网段中的数据包的捕获和分析 ,入侵特征的匹配以及对入侵活动的响应等功能 .

    2002年10期 1235-1238页 [查看摘要][在线阅读][下载 47k]
    [下载次数:320 ] |[网刊下载次数:0 ] |[引用频次:24 ] |[阅读次数:13 ]
  • FAN算法在瞬态电流测试产生中的应用

    魏小芬,邝继顺

    在不考虑冒险的情况下 ,对于CMOS电路中的开路故障 ,探讨了利用FAN算法进行瞬态电流测试产生的可能性 .定义了三种不同的D前沿 ,并将测试产生分为激活故障、使无故障电路和故障电路的瞬态电流差别最大化、减少旁路的影响三个部分 .实验结果说明 ,在不考虑冒险的情况下 ,将FAN算法应用于瞬态电流测试产生是可行的 .

    2002年10期 1239-1243页 [查看摘要][在线阅读][下载 58k]
    [下载次数:72 ] |[网刊下载次数:0 ] |[引用频次:22 ] |[阅读次数:12 ]
  • 用作模拟可测试性设计的奇佳辨识

    赵国南,张福洪,程林滨

    奇佳辨识一词始见于北京装甲兵学院 2 0 0 0’测试论文集内 ,后复旦大学中葡固态电路论文集中考虑到模拟可测试性设计必需有关器件精确描述 ,例如双极型器件之三极 :基、集、射应分别有其体积电阻Rb、Rc 和Re,而不应只具基极体积电阻Rb 的通常近似描述 .于是这后两者的器件网络参数Y11-Y33简繁不同 .前者简 ,故有很大部分测试点排列收敛很快 ,呈速敛辨识 .可在短时间内将所有测试点排列全部校验而找到最佳辨识及一些较佳辨识的测试点排列 .将其中少数测试点排列应用到精确描述的器件网络参数上 ,所有排列需优化迭代数千万次才进入饱和状态 .但当审察该些饱和状态时 ,其辨识效果竟依然相对最佳或较佳 ,故名为奇佳辨识 .

    2002年10期 1244-1248页 [查看摘要][在线阅读][下载 110k]
    [下载次数:30 ] |[网刊下载次数:0 ] |[引用频次:1 ] |[阅读次数:14 ]
  • 基于黑箱的自动软件测试工具的质量保障方法

    王铁江,郦萌

    软件测试需要合适的自动测试工具的有效支持 ,此时保障测试工具质量的问题显得尤其重要 .介绍了两种针对基于黑箱的自动软件测试工具的质量保障方法 ,并详细讨论了软件故障注入方法 .长期测试实践证明了这些方法对保障铁路计算机联锁软件测试评估平台的检测能力和可靠性是非常有效的 .

    2002年10期 1249-1252页 [查看摘要][在线阅读][下载 36k]
    [下载次数:185 ] |[网刊下载次数:0 ] |[引用频次:17 ] |[阅读次数:13 ]
  • 利用软件故障注入提高软件测试覆盖率

    温东新,刘宏伟,杨孝宗,董剑

    软件测试过程是软件生命周期中提高软件质量的重要阶段 ,但无论结构测试还是接收测试 (AT) ,都很难测试程序的所有分枝 .对于容错软件的异常处理和故障恢复代码的测试尤其困难 ,使得这些代码中可能包含软件故障 ,反而成为软件质量的隐患 .为此采用程序变异的方法对被测软件进行故障注入 ,用强制的方法执行被测分支 ,从而提高软件的测试覆盖率 .

    2002年10期 1253-1256页 [查看摘要][在线阅读][下载 35k]
    [下载次数:486 ] |[网刊下载次数:0 ] |[引用频次:20 ] |[阅读次数:18 ]
  • 基于模拟的验证技术在CPU设计中的应用

    吕涛,李华伟,李晓维,樊建平

    在一款通用CPU设计中 ,应用了多种验证技术 ,包括基于测试矢量的验证、基于覆盖率的验证等等 .通过理论分析和实验研究 ,不同的技术显现出各自适用的时机和方式 .实验和分析结果进一步表明了各种验证技术的特点及其在工程应用中的有效性 .

    2002年10期 1257-1261页 [查看摘要][在线阅读][下载 57k]
    [下载次数:69 ] |[网刊下载次数:0 ] |[引用频次:5 ] |[阅读次数:20 ]
  • 一种有效带宽模型化估计方法

    范超,张大方,蔡丽

    网络路径的有效带宽是计算机网络性能评价与流量工程中QoS验证中重要的度量参数 ,可广泛应用于根据网络条件进行视频分层传输、区分服务中的带宽分配、服务器选址和拥塞控制中 .但由于有效带宽不仅与路径的链路带宽有关 ,而且随背景流量改变而动态变化 ,这使得端到端有效带宽的测量相当困难 .从Cruz流量模型出发 ,提出有效带宽的估计可以通过对流量进行延时分析实现 ,给出了有效带宽估计的边界 ,并分析了实际测量中可能遇到的问题和解决办法 .

    2002年10期 1262-1266页 [查看摘要][在线阅读][下载 57k]
    [下载次数:209 ] |[网刊下载次数:0 ] |[引用频次:7 ] |[阅读次数:17 ]
  • 基于VXI总线的电液伺服阀动态特性测试系统

    李文宏,裘丽华,王占林

    以性能先进的VXI总线仪器为主要测试设备组成电液伺服阀动态特性测试系统 ,建立测试系统的动力学模型 ,分析影响电液伺服阀动态特性测试精度的几个因素 ,提出了提高测试精度的方法 .并采用自适应寻优正弦信号测试方法测试电液伺服阀的动态特性 ,提高了测试精度 ,简化了测试手段 .

    2002年10期 1267-1270页 [查看摘要][在线阅读][下载 44k]
    [下载次数:115 ] |[网刊下载次数:0 ] |[引用频次:15 ] |[阅读次数:11 ]
  • SoC的可测试性设计技术

    王永生,肖立伊,毛志刚,叶以正

    基于可复用的嵌入式IP(intellectualproperty)模块的系统级芯片 (SoC)设计方法使测试面临新的挑战 ,需要研究开发新的测试方法和策略 .结合系统级芯片的可测试性设计技术所面临的技术难点 ,详细介绍了当前系统级芯片的可测试性设计技术 ,分析了各种系统级芯片的可测试性设计技术的特点及其优缺点 ,着重讨论了国际工业界内针对系统级芯片测试的方案 :IEEEP15 0 0和虚拟插座接口联盟 (VSIA)测试访问结构 .

    2002年10期 1271-1276页 [查看摘要][在线阅读][下载 59k]
    [下载次数:315 ] |[网刊下载次数:0 ] |[引用频次:17 ] |[阅读次数:17 ]
  • 实时广义相关时延估计器

    江南,黄建国,王静,李姗

    在水下航行体的测试中 ,通常采用被动定位方式获得航行体的运动轨迹 .被动定位一般利用空间关系已知的 3个或 3个以上的水听器来接收目标的辐射噪声 ,由时延估计器求得这些噪声信号间的相对时延 ,从而实现目标定位 .广义相关时延估计器是其中具有重要价值的一类时延估计器 .但是 ,由于所处理的信号是随机信号 ,其频谱结构起伏大 ,时变性强 ,且存在环境噪声的干扰 ,其先验权函数难以预知 ,因而极大地影响了估计器的性能 .为了解决这一问题 ,提出了实时权函数估计算法 ,并设计了多DSP并行处理系统加以实现 .通过在不同时间和水域对不同水下航行体的实际测试检验了估计器的有效性 .实际应用表明 ,该广义相关器在目标源信号谱结构变化时时延估计性能基本不受影响 ,具有稳健的时延估计性能和自适应能力 .

    2002年10期 1277-1280页 [查看摘要][在线阅读][下载 51k]
    [下载次数:224 ] |[网刊下载次数:0 ] |[引用频次:17 ] |[阅读次数:6 ]
  • 铁路信号域形式化方法研究

    张磊,吴芳美

    铁路信号系统作为安全关键系统 ,它的失效可能带来灾难性的后果或重大经济损失 ,因此 ,安全关键系统的软件开发对可靠性和安全性的要求非常苛刻 .而需求分析及描述是软件生命周期的一个重要环节 ,它所确立的系统逻辑模型是设计和实现目标系统的基础 .提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法 ,希望代替以往继电器接点电路表示的逻辑关系处理方式 .

    2002年10期 1281-1284页 [查看摘要][在线阅读][下载 45k]
    [下载次数:136 ] |[网刊下载次数:0 ] |[引用频次:4 ] |[阅读次数:24 ]
  • 下载本期数据