形式化可测性约束在软件模型实现过程中的研究

在软件测试中，软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型，但原始的UML模型，由于缺乏严格的定义及必要的约束，如果要生成高精度的软件模型，必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

基于链接图法和遗传算法的航路规划

航迹规划对军用飞行器完成任务具有重要的意义。链接图的特点是简单明了，文章针对链接图法进行航路规划的不足，使用遗传算法进行再次优化，使该航路满足了性能要求。最后给出了仿真，反正结果表明该方法的可行性。