软件测试的一种数学优化方法──由Fokker Planck方程得到的Markov链算法

从数学优化角度对软件测试问题进行探索性研究，将软件测试中的结构测试问题转化为一个组合最优化问题，然后利用Ｆｏｋｋｅｒ－Ｐｌａｎｃｋ方程的离散形式而得到的Ｍａｒｋｏｖ链为基础的一个算法求解．最后给出了几个测试实例的部分数值结果。

程序设计、教学选用工具的存在问题及对策

本文指出了我国程序设计、教学选用工具上的存在问题，提出并论证了选用评价设计工具的原则，然后分析常见几种工具的优缺点，提出解决办法。