【摘 要】
：
目前软件的质量问题正越来越引起人们的重视,测试技术则是保障高质量软件的重要手段之一,这方面的研究可以溯源到20世纪70年代.然而随着嵌入式系统应用领域的不断扩大以及面向对象技术的成熟,一些新的特点使得传统的测试方法已经不能适应需要,因而要开始研究更适用的新方法.本文介绍了我们在这方面的研制成果——EASTT系统.这是的一套针对C/C++语言的测试工具集,可用于对嵌入式应用软件的静态结构分析、动态测
论文部分内容阅读
目前软件的质量问题正越来越引起人们的重视,测试技术则是保障高质量软件的重要手段之一,这方面的研究可以溯源到20世纪70年代.然而随着嵌入式系统应用领域的不断扩大以及面向对象技术的成熟,一些新的特点使得传统的测试方法已经不能适应需要,因而要开始研究更适用的新方法.本文介绍了我们在这方面的研制成果——EASTT系统.这是的一套针对C/C++语言的测试工具集,可用于对嵌入式应用软件的静态结构分析、动态测试和运行情况跟踪,并提供了一个层次化模型来对应用软件的质量进行综合评价.
其他文献
毛南语属于汉藏语系侗台语族侗水语支。本文利用实验语音学声学分析的方法研究广西环江县毛南语的单音节词声调和双音节词声调。实验结果表明，毛南语的单音节词声调调值可以用五度值标写为：1 调：51，2 调：241，3 调：551，4 调：35，5 调：44，6 调：323，7 调：551（短）/44（长），8 调：23（短）/35（长）。单音节词声调在双音节词中存在变调现象，初步归纳了30 种双音节调位模
本文研究了频率对直接时效GH4169合金疲劳裂纹扩展性能的影响。结果表明:在试验温度为550℃时,频率的改变对直接时效GH4169高温合金疲劳裂纹扩展性能基本没有影响,其裂纹扩展的控制机理是机械疲劳;在试验温度为650℃时,在0.5Hz以上频率时,频率的改变对直接时效GH4169高温合金疲劳裂纹扩展性能基本没有影响,其裂纹扩展的控制机理是机械疲劳;但当频率降低至0.1Hz时,其疲劳裂纹扩展速率明显
本文对空调器印刷电路板(PCB)通孔插装形式无铅焊点的热疲劳寿命进行了研究。基于蠕变应变的Syed寿命模型,采用有限元的方法,计算了在热疲劳状态下空调印刷电路板(PCB)的寿命。并通过加速寿命的实验方法,在相同温度循环条件下测试了无铅焊点的寿命。所得的实验结果与理论计算基本吻合,验证了采用有限元模拟技术与Syed寿命模型计算空调器印刷电路板(PCB)通孔插装形式无铅焊点的可行性。
本文首先回答了什么是形式方法的问题,对在安全-关键系统使用的形式方法作了概括介绍,并通过介绍应用形式方法的安全-关键系统的实例,论述使用形式方法的必要性.
TS-1.1立体测绘微小卫星的星务计算机系统采用了分布式的体系结构,因而对其系统通信总线的要求较高,而目前在这一领域应用的几种串行通信总线都不尽如人意.在充分研究了CAN(Controller Area Network)总线之后,我们为哈工大的TS-1.1设计并开发了基于CAN的双冗余系统通信总线.
N-模冗余结构是一种广泛应用的容错结构.当发生故障的模块的数量在容许的范围内时,它能有效地屏蔽掉故障冗余模块的输出,从而使系统能够提供连续的服务.N-模冗余结构的有效性是建立在它包含的故障模块数不超过[N/2]的假设之上的,而致使该假设不成立的可能途径有故障累积和同时故障.防止故障模块累积的方法之一是使冗余系统具有故障定位能力,并保证在发生故障后,及时地将故障模块予以隔离和替换.传统的静态硬件冗余
在注重VLSI芯片低功耗设计的今天,如何有效地降低CMOS电路测试功耗是一个有意义的耗三种依据来优化测试向量集内的排列顺序,达到降低测试功耗的目的.实验结果显示三种方法各有优缺点,但以前只有海明距离来降低测试功耗的作法,在降低功耗有效性方面存在着比较大的局限性.
JTAG边界扫描是项成熟的可测试技术,广泛应用于PCB设计中.本文讨论将边界扫描技术应用于系统级单芯片(SoC)的可测试设计中,采用JTAG边界扫描结构对我们的SoC设计平台中的存储器控制器(MC)内核进行测试包装(Wrapped-core),实现对其的测试访问.
采用随机Petri网的方法,建立制造系统的模型.在保持系统可靠性等特性的前提下,对单一加工制造单元、串行加工系统和并行加工系统这三种基本系统模型进行有效变换,从而最大程度地简化模型,降低模型的复杂度.