组件文档的研究

本文针对目前组件文档不完备的情况,指出组件文档在CBSE中的重要作用,分析了组件的特点和组件使用中的风险。并从方便开发者选择、装配组件和降低组件使用风险的角度提出了书写组件文档的框架。     

Windows编程技巧二则

Ｗｉｎｄｏｗｓ编程技巧二则华东师范大学计算机科学系杨宗源Ｗｉｎｄｏｗｓ操作环境对设计与编制与用户友好界面的应用程序提供了很大的便利，尤其是其标准的图形用户界面，多任务和硬件独立性的特性。它所提供给应用程序编制者成千上百个函数与消息，使应用程序的设计者...     

基于SPEC#的自动测试方法

测试是软件质量的直接保障,然而人工书写测试代码不但繁琐而且会带来很多问题,自动化的测试方法的研究仍然停留在理论阶段.基于(SPEC# NUnit)平台,提出了一种切实可行的面向对象软件的自动化测试方法.这种方法使用形式化谓词断言来作为标准判断测试成功与否,搜索测试用例空间,同时可以模拟对象中间状态,自动生成复杂数据的测试用例.这一平台的建立也使得测试应绝对反映设计,由设计来直接指导测试的思想成为可能.     

关系数据库中的视图自适应维护机制

主要介绍一种关系数据库中物化视图的自适应维护机制，阐述其所基于的B(V)理论基础，并通过该机制的系统结构和详细算法，以描述其实现过程，最后与传统视图维护方法作出比较。     

轻载软件开发方法

讨论了软件开发中目前可用的重载和轻载开发方法，认为轻载方法适合于中小型项目。重点分析了Extreme Programming 轻载软件开发方法，并对Extreme Programming 方法加以优化，以使其更适合我国的软件开发业。     

基于Larch/C的组件形式规范匹配

主要阐述了一种组件的形式规范匹配方法，以Larch家族中的Larch／C作为语言工具，详细讨论了组件的功能匹配，最后借助于工具Larch Prover(LP)并通过实例描述了功能匹配的证明过程。     

对AspectJ中Call和Execution语义的研究

AOP(面向方面编程)提供了一种有效的方法封装软件中的横切行为,AspectJ是对Java的一个通用AOP扩展。本文首先分析call和execution这两种类型PCD的语义,然后指出这两个PCD基于的一个共同基础存在语义上的不一致,最后基于前面的讨论分析给出了使用这两类PCD的使用建议。     

基于混合测试和动态分析的分段代码测试

传统混合执行测试方法无法对源代码不可见函数进行符号执行。针对该问题,将符号执行、分段式符号执行以及具体执行按需结合,提出一种分段式混合执行测试方法,将源代码不可见函数以分段式分析法截取为单独代码片段,结合动态执行和回归分析方法推导其相应的程序语义。为验证该方法的有效性,实现sCREST原型系统,并对5个应用广泛的开源系统进行测试。实验结果表明,该方法能够产生比传统方法覆盖更多分支数的测试数据。     

基于JML的面向对象设计指导测试方法的研究与实现

面向对象的软件测试应该也只能被设计所指导.提出了一种方案:在使用UML进行面向对象的设计阶段为类和方法加入OCL约束,然后由一种转换工具将带有OCL约束的UML类图转换为带有JML(Java建模语言,Java Modeling Language)注解的Java类代码框架,就可以利用JML丰富的支撑工具进行调试和自动测试,从而实现了设计指导测试的思想.研究了OCL到JML的转换机制,并给出了基于Rational Rose的转换工具JML-AddIn的实现框架.     

多脉冲群组合的TACAN空/地信号仿真实现

通过仿真实现TACAN空/地信号能够有效降低侦收系统的设计成本。以TACAN空/地信号的侦收为目的,通过研究TACAN空/地信号的信号特征（脉冲宽度、脉冲数量、触发条件）、数学描述及调制方式,基于多脉冲群组合方式设计了TACAN空/地模式下X、Y两类信号的仿真算法。经验证,两类仿真信号均满足TACAN信号的侦收要求。