形式化方法在CSTA系统测试中的应用研究

系统测试中的形式化方法是将客户需求用数学规约表达出来，推导出各项功能的预期输出结果，以完善客户需求，不仅可以较好地消除需求中可能包含的矛盾、二义性、含糊性、不完整陈述以及抽象层次的混杂等，提高发现问题的工作效率和准确度，提高软件测试质量的保障系数，而且可以将行业知识封装起来，为软件测试业务外包提供一个现实可行的依据。     

网络环境下信息系统集成技术研究

该文分析了两种系统开发框架结构,一种是传统的MIS框架,另一种是XML框架结构,并指出其各自的优缺点及适用范围。笔者认为新的基于网络环境的分布式信息系统应当是各种技术的集成综合,在原有技术的基础上不断推陈出新,形成一种既有继承又有创新的综合系统。     

支持动态可重构的软/硬件统一多线程编程模型

针对可重构系统中的数据流驱动应用,提出支持动态可重构的软/硬件统一多线程编程模型SHUMDR及其层次化实现.通过硬件线程接口设计、操作系统内核扩展,便于设计人员以统一的线程视图描述应用的软硬件划分.以数据加密/解密为例进行测试的结果表明,统一线程抽象带来的时间开销和空间资源占用率较小,该模型在探索编程灵活性的同时,能够有效地兼顾硬件的效率.     

基于SEM的FPGA抗单粒子翻转技术研究及验证

随着FPGA片内纠检错技术的发展,Xilinx公司在旗下的SRAM型FPGA上应用了一种名为软错误修复(SEM)的加固技术,大幅提升了配置RAM的单粒子软错误检测和修复效率。但这种片内加固技术本身需要使用一定的逻辑和存储资源,同样也有发生单粒子软错误的风险。本文分析了应用SEM加固技术的必要性和存在的问题,提出一套基于SEM的FPGA抗单粒子翻转解决方案,并给出了在XC7K410T型FPGA上的试验验证结果,验证了加固技术的有效性。     

Java平台上利用XML实现Web系统页面的多语言方案

分析了Web系统面对多种语言用户需要显示不同页网的需求，提出了用XML结合Java平台的解决方案。