1、厦门大学软件学院毕业设计（论文）开题报告学生姓名 班级 学号 指导教师姓 名职称 所在单位 厦门大学软件学院毕业设计（论文）题 目基于 J2EE 下的人行外币支付清算系统的开发客户来账模块开发毕业设计（论文）的目标：一、 系统整体目标：本系统以支付报文收发处理为主，通过通知单或联系单与其他系统作业务往来，清算帐务往来亦通过通知单的方式知会相应部门作记帐处理，通过接口服务实现与人行支付报文处理系统作报文数据往来交互。人行支付清算系统最终目标是：1、 构造完整的银行清算系统，自动与各银行核心系统作帐务交互2、 通过接口服务实现与人行大小额系统、银行内部网内往来系统、SWIFT及 FXCC 等多种银
2、行清算报文处理系统作报文数据往来交互3、 兼容本外币清算处理4、 现实按机构按部门的清算业务管理5、 丰富清算系统处理银行业务的能力，如：资金拆借、系统内往来、外汇买卖、基金、债券、证券、贵金属等业务二、 具体实现目标：通过了解有关银行系统基于 J2EE 开发的相关技术及发展情况，分析中国人民银行支付系统的功能需求，研究其设计及实现技术。完成人行支付系统的总体设计和详细设计，实现人行支付清算等功能，并对该支付清算系统进行测试和评价。通过实现客户来账模块对 spring，hibernate ，intelliweb 等框架进行分析，进一步探讨银行系统基于 J2EE 开发的相关技术及发展情况。实现方
3、法：一基本环境（1）开发环境操作系统：Windows XP开发工具：intelliWeb Studio 2.0JRE：1.4.2.x应用服务器：Websphere6.x ，Weblogic8.1.4数据库：Oracle 9i（2）测试环境操作系统：AIX应用服务器：Websphere6.x ，Weblogic8.1.4数据库：Oracle 9i，Informix 9.x，Sybase 12.5 以上（3）运行环境操作系统：AIX应用服务器：Websphere6.x ，Weblogic8.1.4数据库：Oracle 9i，Informix 9.x，Sybase 12.5 以上二模块划分人行清算系
4、统主要分以下十三个模块(一)、 客户来帐(二） 、 客户往帐(三)、 资金调拨来帐(四)、 资金调拨往帐(五)、 业务信息查询(六)、 额度信息管理(七)、 对帐管理(八)、 后台服务管理(九)、 日终管理(十)、 参数管理(十一)、 权限管理(十二)、 系统管理（技术使用）(十三)、 性能三、主要参与的模块是客户来账模块具体可分为以下几部分1、 功能模块业务流程客户来帐主要是对收到的 FXCC 报文（FMT100、 FMT101、FMT102、FMT103、FMT104）作解付或向境内付汇等处理。2、 来账清算若收到汇入报文（FMT100）或境外汇入转汇报文（FMT102 ） ；则通知相关部
5、门将相关的客户来帐款项作解付处理；若收到境外转汇报文（FMT101） ，则根据报文内容产生相应的境外付款通知单，通知相关部门完成境外付款处理。3、 来账清算修改该功能用于修改未复核的境内外来帐清算记录中可更改的字段值。4、 来账亲算复核用于对未复核的境内外来帐清算数据进行复核处理。5、 来账清算冲正用于对复核后才发现业务处理有误的境内外来帐清算数据进行冲正，将业务数据退回到修改队列。6、 接收行退汇收到交易对手退汇报文（FMT103） ，生成退汇通知单并由相关部门作相应的退汇帐务处理。7、 接收行退汇复核对接收行退汇信息作复核处理。8、 非清算转汇收到代理行发来的不清算转汇报文（FMT104）
6、后，根据报文内容产生相应的境外付款通知单，通知相关部门完成境外付款处理。9、 非清算转汇修改修改未复核的非清算转汇记录中可更改的字段值。10、 非清算转汇复核对未复核的非清算转汇数据进行复核处理。同时，产生转汇确认报文（FMT025）11、 非清算转汇冲正该功能用于对复核后才发现业务处理有误的非清算转汇数据进行冲正，将业务数据退回到修改队列。12、 客户来帐查询根据输入的查询条件，拼装查询 SQL 语句并返回相应的查询结果。四、系统应用架构运行架构说明：1、几个主要框架的版本如下：intelliWeb2.0，Struts1.1 ，Spring2.0，Hibernate3.0。2、web 层主要
7、提供了系统展示输入功能实现。使用了 intelliWeb 和 Struts两种框架，其中 Struts 只用于需要报文标签的页面，其他的功能页面都用intelliWeb 来实现。主要的业务处理逻辑依赖于业务层。3、远程服务层提供了给其它外部系统的服务。可以提供WebService； JMS，EJB 等远程报文处理业务，本部分根据需要选择性实现，如异构的系统则对应优先提供 WebService 服务。主要的业务处理逻辑依赖于业务层。4、业务层提供了系统业务逻辑处理的实现。主要元素是 BS 和 DAO，其它层只能通过 Spring ApplicationContext 该层访问 BS，层之间数据通
8、过 VO 来传递。5、Spring ApplicationContext 采用 WebApplicationContext 和ClasspathApplicationContext 相结合的方式，后者是前者的父亲 Context，所有 Bean 都统一由 ClasspathApplicationContext 管理。6、报文处理模块报文收发服务通过 MQ 和报文协议分别和 FXCC 及Alliance 进行报文的收发通信。五 intelliWeb 平台1intelliWeb 简介intelliWeb 是一个基于构件、Ajax 、RIA 技术的 J2EE 应用快速开发平台；提供可视化开发工具解决
9、了 J2EE 应用开发技术选型难、开发效率低的问题；intelliWeb 开发的应用解决了传统 Web 应用的大部分缺陷，实现全新的用户体验。2intelliWeb 架构 六、关键技术及难点，实际意义为了响应国内外各商业银行对境内外币支付系统建设的需求，并给中国人民银行提供境内外币支付功能，构造一个支付清算系统框架，为今后的升级提供良好的基础。J2EE 技术环境下的中国人民银行支付清算系统的开发，包括 J2EE 技术框架，Java 相关开源技术，人行支付清算业务模式等。J2EE 核心是一组技术规范与指南，其中所包含的各类组件、服务架构及技术层次，均有共通的标准及规格，让各种依循 J2EE 架构
10、的不同平台之间，存在良好的兼容性。时间进度安排：2008年2月25日2008年3月15日了解项目概况，对人行清算项目有一个大概的了解，并明确自己的论文内容，熟悉自己毕业设计将要完成的模块。2008 年 3 月 16 日-2008 年 3 月 31 日 征求导师意见后进一步改进，整理提交毕业设计开题报告。2007 年 4 月 1 日-2007 年 4 月 30 日 对必要技术及工具进一步了解学习，完成基本代码编写，所有模块基本完成。2008 年 5 月 1 日-2008 年 5 月 10 日 集成测试，所有模块协同工作测试，整个软件主体基本完成。2008 年 5 月 11 日2008 年 5 月
11、 25 日系统测试，在实际工作站上完成测试，包括稳定性分析。并整理文档，形成论文初稿。2008 年 5 月 25 日2008 年 6 月 7 日确认软件功能，由开发人员确认所需要的功能匀已经完成，实验操作人员完成具体功能检查。与指导老师交流，论文最终定稿，准备毕业答辩。指导教师审核意见：指导教师签名： 2008 年 月 日毕业论文任务书题 目：基于 J2EE 下的人行外币支付清算系统的开发客户来账模块开发目标要求：通过了解有关银行系统基于 J2EE 开发的相关技术及发展情况，分析中国人民银行支付系统的功能需求，研究其设计及实现技术。完成人行支付系统的总体设计和详细设计，实现人行支付清算等功能，
12、并对该支付清算系统进行测试和评价。通过实现客户来账模块对 spring，hibernate，intelliweb,iBatis 等框架进行分析，进一步探讨银行系统基于 J2EE 开发的相关技术及发展情况。支持条件：一基本环境（1）开发环境操作系统：Windows XP开发工具：intelliWeb Studio 2.0JRE：1.4.2.x应用服务器：Websphere6.x ，Weblogic8.1.4数据库：Oracle 9i（2）测试环境操作系统：AIX应用服务器：Websphere6.x ，Weblogic8.1.4数据库：Oracle 9i，Informix 9.x，Sybase 1
13、2.5 以上（3）运行环境操作系统：AIX应用服务器：Websphere6.x ，Weblogic8.1.4数据库：Oracle 9i，Informix 9.x，Sybase 12.5 以上校外指导教师（签名） 职称 单位 校内指导教师（签名） 职称 学生（签名） 分阶段进度安排阶段起讫时间 计划完成内容1 2008年2月25日2008年3月31日 阅读文献资料，了解项目情况，理解任务，完成开题报告2 2007 年 4 月 1 日-2007 年 4月 30 日 对必要技术及工具进一步了解学习，完成基本代码编写，所有模块基本完成。3 2008 年 5 月 1 日-2008 年 5月 10 日 集
14、成测.153.2 基于棋盘算法的改进 .153.3 本章小结 .17第四章 MARCH 算法概要 .184.1 MARCH 概要叙述 .184.2 MARCH 算法演变 .204.2.1 ATS 和改进的 ATS 算法(MATS) .204.2.2 MARCH A 和 MARCH B 算法 .214.2.3 MARCH C 算法 .224.2.4 MARCH C+算法 .224.2.5 MARCH C-算法 .234.2.6 MARCH X 和 MARCH Y 算法 .234.2.8 MARCH-TB 算法 .244.2.9 MARCH-TBA 算法 .244.2.10 MARCH-SS 算法
15、 .254.3 本章小结 .26第五章 MARCH-SS 算法故障分析 .275.1 MARCH-SS 算法分析 .275.2 MARCH-SS 算法故障分析 .285.2.1 MARCH-SS 算法对固定故障（SAF ）的检测 .295.2.2 MARCH-SS 算法对转换故障（TF）的检测 .295.2.3 MARCH-SS 算法对倒置耦合故障（CFin）的检测 .30基于 MARCH 算法的内存异常检测研究V5.2.4 MARCH-SS 算法对固化耦合故障（CFid）的检测 .315.2.5 MARCH-SS 算法对状态耦合故障（CFst）的检测 .335.3 MARCH-SS 算法适用
16、的静态故障和固态故障 .355.3.1 单个单元静态故障 .365.3.2 静态耦合故障 .365.3.3 单个单元的动态故障 .375.3.4 动态耦合故障 .375.4 MARCH-SS 算法及其改进型比较 .385.5 本章小结 .43第六章 结论 .44致谢语 .45参考文献 .46基于 MARCH 算法的内存异常检测研究VIContentsCharpter 1 The Development of Memory Test .11.1Developments In Memory Test.11.2 Testing Method of BIST.31.3 Summary .8Charpt
17、er 2 Memory Fault Model .92.1 Memory Fault Classicification .92.1.1 Address Decoder Fault .92.1.2 Read And Write Lgic Fault .102.1.3 Memory Array Fault.102.2 Memory Predigestion Function Fault.102.2.1 Stuck-At Fault.112.2.2 Transition Fault .112.2.3 Coupling Fault.112.2.4Neighborhood Pattern Sensiti
18、ve Fault .122.3 Summary .12Charpter 3 Memory Fault Diagnosis Algorithm Analysis .133.1 Three Kinds of Memory Fault Diagnosis Algorithms .133.1.1 Checkerboard Algorithm .133.1.2 Gallop Algorithm.143.1.3 MARCH Algorithm.153.2 Improvement based on Checkerboard Algorithm .153.3 Summary .17Charpter 4 MAR
19、CH Algorithm Summary .184.1 MARCH Algorithm Summary Depiction.184.2 MARCH Algorithm Evolvement .204.2.1 ATS And Improved ATS Algorithm (MATS).204.2.2 MARCH A 和 MARCH B Algorithm .214.2.3 MARCH C Algorithm .224.2.4 MARCH C+ Algorithm .224.2.5 MARCH C- Algorithm.234.2.6 MARCH X 和 MARCH Y Algorithm .23
20、4.2.8 MARCH-TB Algorithm.244.2.9 MARCH-TBA Algorithm.244.2.10 MARCH-SS Algorithm.254.3 Summary .26Charpter 5 MARCH-SS Algorithm Fault Analysis.275.1 MARCH-SS Algorithm Analysis.275.2 MARCH-SS Algorithm Fault Analysis .285.2.1 MARCH-SS Check-Up To Stuck-At Fault.295.2.2 MARCH-SS Check-Up To Transitio
21、n Fault.29基于 MARCH 算法的内存异常检测研究VII5.2.3 MARCH-SS Check-Up To Inversion Coupling Fault.305.2.4 MARCH-SS Check-Up To Idempotent Coupling Fault .315.2.5 MARCH-SS Check-Up To State Coupling Fault.335.3 MARCH-SS Algorithm Applied To Static Fault And Dymamic Fault.355.3.1 Single Unit Static Fault.365.3.2 S
22、tatic Coupling Fault.365.3.3 Single Unit Dynamic Fault.375.3.4 Dynamic Coupling Fault.375.4 Comparision of MARCH-SS Algorithm And Its Improvement.385.5 Summary .43Charpter 6 Conclusion .44Acknowledgement .45References .46基于 MARCH 算法的内存异常检测研究1第一章 存储器测试的发展随着深亚微米 VLSI 技术的发展，大量的不同厂家的电路设计或核集成到一个芯片上。存储器密度
23、的增长使存储器的测试面临着更大的挑战。嵌入式 RAM 存储器是最难测试的电路，因为存储器的测试通常需要大量的测试模式来激活存储器并将存储器的单元内容读出来与标准值进行比较。在可以接受的测试费用和测试时间的限制下，准确的故障模型和有效的测试算法是至关重要的。而为了保证测试时间和故障覆盖率，测试的好坏大大的依赖于所选的功能故障模型。随着集成电路设计方法与工艺技术的不断进步，集成电路的可测性己经成为提高产品可靠性和成品率的一个不可忽视的因素。在近的二十多年中，尤其是最近十年来，电路测试方法的研究日益受到重视，测试问题己经成为了集成电路产品开发的流程中关键问题之一。伴随着电子设备功能和结构日益复杂，
24、“暗箱”方法越来越难以满足需求，因此要求测试人员以更积极的方式介入测试过程，不仅要承担传统测试中激励生成者和响应分析者的角色，而且要作为整个测试过程的主导者和设计者。通过改善被测试对象的设计来提高被测对象的可测试性，从而能更容易找到测试码，并使测试和测试码的生成问题大大简化，这就是可测性设计(DFT) 1。1.1 存储器测试发展动态自集成电路诞生之日起，设计方法、制造方法和测试方法始终是集成电路发展不可分割的 3 个组成部分。但在集成电路发展的早期，人们更多的注意力集中在设计和制造领域，而且早期的集成电路逻辑设计与工艺技术相对简单，因此测试方法学的研究曾一度处于不被重视的地位，在当时人们认为可
25、测性设计是可有可无的，是否采用完全由成本预算来决定。可测性设计是在 1970 年 Cherry Hill 测试会议上提出的，然而可测性设计的必要性直至上个世纪 70 年代中期随着集成电路设计的发展才逐渐被人们认识。随后关于可测性设计设计方面的论文和研究成果越来越多，目前在一些重要的国际会议上，如国际测试会议(ITC),国际设计自动化会议(DAC)等都有专门的分组会。此外，一些可测性设计的规则已经成为集成电路设计的工业标准，如 IEEE1149. 1 标准等。可测性设计己经成为集成电路设计领域一基于 MARCH 算法的内存异常检测研究2个极其重要的组成部分 1。在过去的 20 年乃至更长的时间里
26、，可测性设计方法的研究主要集中在如何协调测试性能与其所带来的额外代价的折衷关系上。而在整个可测性设计方法学的发展道路上，对于额外代价的考虑也经历了几个不同的阶段，各个阶段都有其不同的研究侧重点，由此也出现了相应的各类可测性设计方法。在集成电路发展的早期，面积是所有产品设计的关键因素，同时由于可测性设计方法始终是集成电路设计方法的一种补充，因此在那一时期，面积代价成为了研究可测性设计方法学的核心，增加尽可能少的额外面积也就成为了选择可测性设计方法的主导因素。在此期间出现的可测性设计方法多以非扫描方法为主，所谓非扫描方法主要是区别于后来出现的扫描方法而言的。这类方法在写入测试数据时仍然保持电路正常工作时的模式，即所有的测试数据都是通过功能 I/0 并行写入，电路内部的工作
