Java程序的优化

本文通过使用Jayap对Java语言的字节代码进行分析，找到程序中产生瓶颈的原因，给出程序的优化方法。     

Java性能故障模式分析

面向故障的软件测试方法正在快速发展中，应用这种方法的关键之一就是定义各种故障模式。本文针对涉及软件性能方面的几类Java语言故障模式，给出其一般形式和产生原因，并分析其对于保证软件质量的重要性及改进措施，最后简要介绍了对故障模式进行检测的方法。     

基于JavaSDG的Java程序参数依赖性分析

基于一种带有标签的Java程序描述（JavaSDG）,给出JavaSDG中的过程依赖图（PDG）的形式化定义,然后分析Java程序方法调用引起的参数之间的依赖关系。并比较基于SDG和基于JavaSDG两种程序分析方法的异同,基于JavaSDG的Java程序分析方法构造的PDG具有结点少、可以重用、可以并发构造等优点。     

舰载计算机网络系统仿真平台的故障注入系统

故障注入系统作为舰载计算机网络系统仿真平台的一个功能模块，为待测系统的可信性测试分析提供了研究基础．介绍了故障注入的基本概念、故障模型的建立，以及一种应用于舰载计算机网络系统仿真平台中故障注入系统的结构和工作原理．     

将C++程序转化为Java程序

如何把一个现有的C 程序转化为Java程序是一个很复杂的问题，这需要考虑程序需求、程序规模以及语言异同等多个方面。本文通过分析Java和C 之间的异同而给出了一个把C 程序转化为Java程序的通用轮廓思路。     

Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

Java Applet小程序的数字签名和客户端认证

数字签名正成为网络安全传输中的一种重要技术,介绍了如何使用JDK提供的签名工具、密钥管理工具和策略编辑器等工具对Java Applet小程序实现数字签名和认证的方法。该方法可以突破浏览器在安全性方面的某些限制,是一种实用、简单和可靠的方法。     

分布式实时系统的软件故障注入

针对分布式实时系统的可信验证的难题,建立通用故障模型,将故障模型分为:内存故障、CPU故障、通信故障和服务故障4种。提出一种建立在分布式实时系统环境中的软件故障注入系统结构,它分为3个层次:目标系统、通信网络、软件故障注入系统。软件故障注入系统分3个部分进行设计,软件故障注入器、数据收集模块和故障数据分析模块。对基于该结构的软件故障注入过程进行了说明,实现软件故障注入系统并做了相应的实验分析,实验检测到故障多数为通信故障、内存故障和CPU故障,其覆盖率分别为37.68%、15.47%和15.17%。实验证明这种体系结构很适合分布式实时环境的应用,同时也为进一步研究软件可信验证提供了理论基础和实例依据。     

典型故障注入攻击分析方法性能评估

基于相同的故障注入攻击技术,对差分故障分析、差分强度故障分析、故障灵敏度分析等3种典型方法,从分析效率、故障模型、噪声容错和计算复杂度等方面进行评估.实验结果显示,3种方法中,差分故障分析方法具有最高的分析效率,对故障模型要求最低;故障灵敏度分析方法抗噪声干扰能力最强,算法复杂度最低.该评估结果可用于指导故障注入分析方法的改进和抗故障注入攻击防护手段的研究.     

Linux上软件实现的瞬时故障注入方案及实现

针对基于Linux的计算机系统，提出了一种软件实现的瞬时故障注入方案．它通过Linux的ptrace（）调用，实现故障注入，工作负载选用八皇后算法和Mibench，实验结果验证了所提出的瞬时故障注入方案的有效性．同时也表明，在基于Intd X 86或Pentium的系统设计中，应该对微处理机中EIP，EBP，ESP这三个寄存器予以很好的保护．     

软件故障注入方法在星载系统中的应用

故障注入是一种有效的测试和评价容错机制的方法,可被普遍应用于容错计算机系统开发过程各个阶段中。本文介绍了故障注入的基本概念,比较故障注入方法,给出了一个星载注入方法的仿真实例。     

一类SPN结构密码设备的故障注入攻击技术(英文)

提出了一种有效的故障注入攻击技术,能够攻击一类使用特定结构SPN密码的设备.这种攻击方法基于字节错误模型,仅需要少量故障密文即可攻破一类具有特定置换层的SPN密码算法.分析给出了故障和特定置换层如何导致秘密信息泄露的原因.同时,对于具体的密码算法ARI-A和PRESENT进行了攻击实例.     

基于控制流的多线程程序的静态切片算法

介绍一种基于控制流的多线程程序的静态切片算法, 该算法的主要思想是在构造多线程程序依赖图的同时保留程序的控制流信息, 利用这些信息能 够判断出程序中的多线程可实现路径, 从而提高多线程程序静态切片的精度和效率. 最后给出一个多线程切片的实例.     

多线程Java程序的Petri网模型

Ｊａｖａ的多线程特性能有效地提高各种计算机资源的利用率．但是,多线程并行运行所造成的非确定性使得程序中潜在错误的定位和再现十分困难,这严重阻碍了Ｊａｖａ多线程机制的使用．提出了从Ｊａｖａ程序到Ｐｅｔｒｉ网的转化规则,利用所得的Ｐｅｔｒｉ网模型能有效地支持并行和分布式软件的分析．该模型在应用中取得了很好的效果．     

局部均值分解在刀具故障诊断中的应用

为有效监测刀具磨损状态,提出一种基于局部均值分解的刀具故障诊断方法.将声发射信号自适应地分解为一系列乘积函数,选取包含主要故障信息的前8个乘积函数分量,获得每个乘积函数分量的平均能量,并组成特征向量.分别提取正常切削、中期磨损和严重磨损三种状态下的特征向量,利用频带能量的变化识别刀具磨损特征.实验结果表明,随着刀具的磨损,各乘积函数分量平均能量增加,并且在高频部分增加显著,该方法可以有效应用在刀具故障诊断中.     

Java性能故障模式分析

面向故障的软件测试方法正在快速发展中，应用这种方法的关键之一就是定义各种故障模式。本文针对涉及软件性能方面的几类Java语言故障模式，给出其一般形式和产生原因，并分析其对于保证软件质量的重要性及改进措施，最后简要介绍了对故障模式进行检测的方法。     

数控机床换刀机构模糊故障树分析与诊断

在分析模糊控制方法与故障树推理方法的特点和互补性的基础上,设计了基于模糊控制与故障树相结合的数控机床换刀机构故障诊断数学模型。将模糊控制方法融入故障树推理的故障分类、故障发生概率计算及故障原因查询中,较好地解决了数控机床故障诊断的快速与准确问题。最后通过对数控机床换刀机构故障实例的诊断仿真,验证了该算法的有效性。