组件文档的研究

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

对AspectJ中Call和Execution语义的研究

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

Windows编程技巧二则

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

轻载软件开发方法

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

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

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

基于SPEC#的自动测试方法

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

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

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

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

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

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

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

基于虚拟节点的无线传感器组网近似算法

针对无线传感器网络中单纯路由控制或拓扑控制节能效用有限的问题,提出虚拟节点概念,并使用最小覆盖近似算法,给出虚拟节点在检测区域中的分布及基于虚拟节点的拓扑控制描述,在此基础上提出一种基于拓扑控制技术的组网近似算法。实验结果表明,该算法在节点数为1500、覆盖半径分别为80、85、110时,完成传输数是单纯采用EOLSR算法的15．7倍、12．0倍和18．I倍,明显提高了节能效用。