基于NHPP类模型的Web软件可靠性分析

结合Web软件运行的实际情况,提出一种基于BurrX测试工作量函数(TEF)的非齐次泊松过程类软件可靠性增长模型(SRGM),并将其应用到Web软件可靠性分析中。TEF能直接体现Web软件工作量与日历时间之间的关系,解决Web软件因工作量高度不均衡导致的问题。实验结果表明,与G-O模型相比,SRGM具有较好的Web软件可靠性评估效果,能较准确地描述Web软件运行的失效过程。     

一种新型程控交流源上位机软件设计

介绍了一种在Delphi环境下实现程控交流源上位机监控软件的设计方法。该软件通过GPIB接口或RS232串口与多台程控电源通信,实现通信类型和输出方式选择、电参数回读、数据保存、SCPI命令测试等功能。详细介绍了通信协议、串口驱动、多线程等关键技术,并给出了部分编程示例。     

基于硬件特征信息嵌入认证的软件保护

为了既方便软件开发、降低成本,又便于软件保护、维护权益人的利益,研究了软件保护的常用技术和方法,结合软件工程的具体实践,提出了基于硬件特征信息嵌入认证的软件保护方法.该方法的主要特点是利用用户计算机系统的硬件特征信息,采用特征信息嵌入法,通过对当前计算机特征信息与已认证特征信息表中的信息进行比对,实现基于认证的软件保护;同时使用有效的加密算法,进一步提高软件保护强度.实验结果表明,该方法设计简单、成本低、通用性强、保护强度高,是软件保护的有效方法.     

选举投票系统中主机软件的设计与实现

为了提高基于OCR技术的选举投票系统效率,提出了系统主机端软件的设计方法.该方法将主机端软件和票箱端软件统一起来考虑,充分考虑选举信息,利用选票中相关对象的位置数据设计选票,将选票格式数据发送到票箱,实现一系列选举投票系统功能,从而开发出一套主机端软件.该方法使得选票版面可以更复杂、基于选票格式数据而设计的票箱端识别软件定位速度更快,有效提高了系统效率,选举投票系统更加完善.     

多Agent系统的上下文感知增强

如今,多agent系统(multi-agent system,简称MAS)被广泛用于开发各种应用系统.当前,开放、动态、难控的计算平台要求软件系统能够根据系统自身及其环境状态信息及其改变,动态地调节自身的行为,即具备一定的上下文感知能力.然而,现有工作并未就如何向既有的MAS应用系统引入上下文感知能力提出有效的解决方案.依照关注分离原则,结合面向上下文程序设计技术(context-oriented programming,简称COP)、反射技术(reflection)以及代码植入技术(code instrumentation),提出了一套MAS系统上下文感知增强框架和底层支撑技术.开发人员可以在既有应用源码不可得的情况下,自动地将指定agent类型转换为(扩展为)具有上下文感知能力的agent类型.此外,利用底层运行支撑环境,系统管理员可以在系统运行时刻动态地调整指定agent的上下文感知行为.     

人工免疫系统中人工抗原提呈细胞的设计

反向选择模型是人工免疫系统中的经典模型,但存在训练代价高、覆盖率低的问题.危险理论模型是人工免疫系统中新引进的模型,在降低训练代价,提高覆盖率上具有优势.建立人工免疫危险理论模型必须解决的关键问题之一是:在保持人工免疫系统自适应特征的前提下,设计人工抗原提呈细胞.本文从抗原提呈细胞的生物学原理出发,设计了人工免疫系统中的人工抗原提呈细胞,给出单个人工抗原提呈细胞的结构、细胞上Toll样受体的结构,以及人工抗原提呈细胞群体的结构;设计了人工抗原提呈细胞群体的生命周期.初步的实验结果证明所设计的人工抗原提呈细胞具有自适应发现恶意软件的能力.     

基于Z规格说明的可复用测试用例形式化描述

可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测试项、测试用例、测试用例套、测试用例库等概念,并给出这些概念的形式化定义。通过Z规格说明对可复用测试用例库进行描述,保证该用例库的描述准确和无二义性。应用结果证明,该方法能提高测试用例的可复用性。     

DSP实时图像处理软件优化方法研究

为提高高速图像处理系统中数字信号处理器(DSP)软件的实时性,分别提出面向算法与代码2个层次的优化方法。算法级优化通过重新设计算法的实现流程,充分利用处理器资源,完成算法到处理器上的高效映射;代码级优化使用汇编语言,对固定算法的代码进行优化,使循环核形成高效的软件流水,达到实时性能要求。实验结果表明,2种优化方法均能提高DSP软件中关键模块的处理速度。     

基于函数切片的嵌入式软件回归测试研究

为提高中大型嵌入式软件回归测试的效率,克服因程序微小变动而导致对整个嵌入式软件系统重新测试的弊端,提出一种函数切片算法FunctionSlice。给出代码影响域的概念,采用函数切片思想对待回归测试用例集进行约简,选取和源代码变化相关的测试用例进行回归测试。实验结果表明,该算法能约简嵌入式软件中的待回归测试用例集,提高回归测试效率,且适用于较复杂的嵌入式系统回归测试过程。     

基于分布式约束优化的武器目标分配问题研究

为解决舰艇编队协同防空中的武器目标分配(WTA)问题,提出一种将WTA问题建模为分布式约束优化问题的方法。介绍求解分布式约束优化问题的2个典型算法ADOPT和DPOP。通过Frodo软件平台对舰艇拦截多批反舰导弹过程进行仿真,比较2个算法在仿真时间、通信量等方面的性能,结果证明了该方法求解WTA问题的可行性。