基于因果图方法的测试工具的实现

因果图法是一种有效的功能测试方法，它能发现程序与外部说明书之间的差异，指出功能说明书的不完整性和二义性，它可以帮助人们系统地选择一组高效的测试用例，本文详细介绍了基于此方法开发的一个测试工具，该工具是由用户接口，数据转换，统计测试信息和判定表生成四个模块组成，同时介绍了因果图的物理存储和回溯策略等实现技术，最后对这一系统的实用性做一评价。     

阳极真空弧基本现象及理论分析

依据阳极真空弧实验事实叙述了阳极弧的形成过程中所观察的基本现象。应用等离子体输运理论和Ｂｏｘｍａｎ－Ｇｏｌｄｓｍｉｔｈ模型,对这一放电过程进行了分析,通过弧等离子体特性的测量,估计出粒子沉积能量。