发展系列天然气城市空车若干问题的探讨

为了治理汽车尾气对环境的污染，全国有12个试点城市开展了“清洁汽车行动”，发展燃气汽车是其中工作之一，该文提出了发展液化天然气（LNG）汽车客车的可行性及车辆产品系列化的规划建议，介绍了压缩天然气（CNG）储气瓶的选择和三种燃料供给的方式。     

试论计算机网络系统的安全集成

文章对我国现有企业的安全现状进行了阐述，并分析了网络安全中常见的威胁，从网络系统安全集成的角度提出了相应的网络的安全策略，包括重命名系统管理员账户名、禁用向内TCP／IP端口、配置防火墙、划分V LAN、用户身仂认证等。     

浅谈IPV6网络建设问题

IPV6协议是网络发展的必然趋势。本文就IPV6的特点与发展现状，提出并分析了从IPV4向IPV6过渡的三种过渡技术，最后根据校园网的特点，制定了校园网从IPV4向IPV6过渡的过渡方案。     

回归测试中测试用例集缩减问题的研究

测试用例集缩减(Test Suite Minimization,TSM)问题作为回归测试的研究热点和难点,在满足对指定测试需求的覆盖前提下,通过识别并移除冗余测试用例来降低回归测试成本。对国内外已有的TSM研究成果进行综述。首先分别从源代码和模型两个角度出发,总结已有的TSM方法:从源代码角度出发,重点分析与总结传统TSM方法和考虑缺陷检测能力的TSM方法;从模型角度出发,重点分析与总结基于扩展有限状态自动机的TSM方法。然后对实证研究中采用的评测程序、评测指标和实证结论进行总结。随后总结了TSM方法在特定测试领域的应用,包括GUI应用测试、Web应用测试和缺陷定位等。最后展望了未来的可能发展趋势。     

SJ系列时间检定仪修理经验（三）

ＳＪ系列时间检定仪修理经验（三）ＳＪ—３型时间检定仪ＳＪ—３型时间检定仪是我厂１９９０年投产的新产品，采用８０３１单片微机控制，并选用新式薄膜开关独摸面板，因而比ＳＪ—２等型体积小、重量轻、故障率更低。修理时同样先检查电源，正常后再查其它问题。检修实...     

程序正确性测试的相关技术进展

本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。     

浅析《计算机网络》课程实验环境架构

本文针对当前贫穷地区高职高专计算机网络实验教学的特点,结合学校和本地实际情况,从实验课程教学内容及形式方法等方面探讨了计算机网络实验环境架构的有关问题.对计算机网络实验的环境构架存在的不足,给出了解决方案.     

基于复杂网络的大型软件系统度量

随着软件系统规模的不断增大,如何度量面向对象大规模软件系统成为一个亟待解决的问题.近年来迅速发展的复杂网络理论为解决该问题提供了一个新的视角.介绍了大规模软件系统中的复杂网络现象,从元素级、模块级、网络级3个不同的粒度提出基于复杂网络的软件系统的各种度量;实现了大型Java程序复杂网络描述和度量工具JPAC.JPAC可用于分析大型Java系统的结构,并计算基于复杂网络的各度量值.     

组合测试研究进展

组合测试(Interaction Testing)是一种有效的测试用例生成技术,它假设被测系统中的缺陷往往由少数参数间的交互触发,所以可以使用较小规模的测试用例集(Test Suite)完成高质量的软件测试。对目前组合测试的已有工作予以研究,首先通过介绍常见的组合覆盖标准引入组合测试问题;然后总结目前常见的4种组合对象;之后依据生成策略的特征对现有的组合测试技术予以分类并简要介绍其中的典型方法;接着给出一套评价标准并对各个方法予以综合比较;最后总结并提出下一步的研究方向。