Web应用测试模型研究

本文基于模型驱动测试的思想，提出一种Web应用测试模型WANM（Web Application Navigation Model），用于支持测试用例的设计与自动执行．基于WANM设计的测试用例的描述参照U2TP（UML2．0 Testing Profile）标准，使得测试建模、测试用例生成以及测试执行既紧密联系又相互独立，有助于提高测试的充分性与效室．     

基于软件体系结构与软件构件技术的开发方法的研究与实现

基于构件的软件开发方法,关注于运行级构件及其相互作用,借助于构件模型技术,提供了构造应用系统的有效途径,但缺乏能够指导整个开发过程的系统方法。软件体系结构以构件作为应用系统的基本构造单元,从整体上反映软件的组织结构、设计思想和实现技术,为基于构件的开发提供了一个自顶向下的途径。对软件体系结构和软件构件技术进行了分析研究,对分布式基于Web的应用,给出了以体系结构为指导、基于构件的开发方法。运用以体系结构为指导、基于构件的开发方法与J2EE平台规范相结合,为建设机械制造公司设计开发了ERP系统。该系统具有分布式基于Web应用的特点,具有良好的开放性、集成性和适应性,各项性能均达到了设计要求。     

基于Pi演算的构件演化研究

确保构件系统的一致性是构件演化的根本目标．根据构件交互过程，借鉴Pi演算的类型系统和进程构造方法，提出构件交互的类型系统和基于交互的构件模型，为确保构件服务端口和交互通道的正确行为，给出服务的端口类型和通道类型．以此为基础，结合Pi演算中良类型的思想，提出一致性构件系统的概念．然后，结合构件演化的特点，给出能保持系统一致性的构件静态演化和动态演化规则．最后，给出非一致演化的恢复方法．     

构件化嵌入式软件设计模型验证工具的研究

基于模型设计与分析技术能够明显提高现代复杂嵌入式软件系统的可靠性,本文基于接口自动机模型设计实现了一个构件化嵌入式软件验证工具并进行了形式化验证。该工具的系统规约采用UML顺序图模型实现,能够对系统设计模型与场景式规约之间多种行为的一致性进行检验,并对实时接口自动机网络与具有时间约束顺序图模型的一致性行为进行检验。     

Web服务集成CCM构件模型的研究与实现

面向服务的体系结构提供了开放的，基于标准的企业服务总线，各种功能以服务的形式提供给其他服务或终端用户应用程序，从而在服务的基础上构建分布式应用系统。文章研究Web服务和CCM构件模型之间的桥接器技术，通过使用专门的适配器作为Web服务和CCM构件模型的中转站，实现了Web服务和CCM构件模型之间的互操作。     

基于模型构件和Petri网的企业整体建模方法

模型复用是提高建模质量和效率的主要手段，而模型构件是复用的核心和基础。在对构成企业这一社会技术系统的各种要素进行分析的基础上，首先将组成系统的要素分为功能构件、资源构件和人力构件等三类模型构件。然后以Petri网作为建模工具，给出一种以模型构件作为变迁和库所的企业整体建模方法。由此方法建立的企业模型具有良好的整体性和可复用性，能够全面反映构成企业的技术实体、资源和人等要素的配置和相互关系。最后给出一个企业建模实例。     

TCS:TCP协议一致性测试系统的设计和实现

本文阐述了一个对ＴＣＰ协议进行一致性测试的测试系统的设计和实现。着重介绍了该系统的测试方法和系统结构，并分析了基于ＥＦＳＭ模型的一致性测试集的生成技术。     

基于TTCN的测试执行方法及其应用

测试执行是协议一致性测试系统中的主要部分，本文提出一种基于测试描述语言ＴＴＣＮ的操作语义对标准测试集进行了解释执行的测试执行方法，利用这种方法所实现的一致性测试系统具有很强的灵活性和独立性，同时大大提高了测试的效率，另外，我们还介绍了基于这种测试方法所完成的协议一致性测试系统（ＰＣＴＳ）的总体结构，设计思想以及测试配置。     

基于扩展CHAM的SA级路径覆盖方法

化学抽象机形式化语言（CHAM）通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构（SA）中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统（LTS）,以表示该构件与其它构件之间的行为交互,并根据选取的测试覆盖准则,生成基于此构件的LTS中的所有测试路径.最后以B/S体系结构为例,通过实验验证了该方法在生成DB构件的测试路径上是可行的.     

C2C电子商务平台设计与实现

主要从软件体系架构和系统实现角度对C2C电子商务平台进行了研究。基于UML建模语言进行系统建模,综合使用Web2.0相关技术,采用分层次、构件化思想,设计并实现了一个具有柔性、个性化特征的C2C电子商务平台,以快速响应环境及用户需求的变化。