土地荒漠化成因分析及防治对策

通过多年的调查和实践,结合环京津风沙源工程实施过程中的实际情况,对我国防治荒漠化行动的起因、发展、效果及其中的一些争端问题进行了综合评述,在此基础上提出了一些切实可行的防治措施。     

基于组件的柔性制造执行系统软件集成测试研究

针对集成测试困难问题,提出了适用于组件化软件集成测试的体系架构和合约检查方法及验证公式.该架构由配置体系、编译体系和执行体系三部分组成.以一个组件化制造执行系统模型为例,描述了适用于组件化软件集成测试的体系架构下组件集成测试的过程,并验证了其可行性.     

一种引入CSPE的构件化软件合约检查测试方法

本文分析当前构件化软件集成测试面临的问题,根据合约检查的构件软件测试理论,提出了一种引入CSPE的构件化软件合约检查测试方法。介绍了合约检查测试概念和CSPE理论,给出了如何使用CSPE生成测试序列的方法,描述了用该方法进行测试的过程,最后给出了一个实例说明方法的使用。