计算机软件测试方法及应用研究

为了有效解决计算机运行中软件故障问题,应该对其开展科学合理的测试。本文重点对集成测试方法、单元测试方法、逻辑驱动测试方法与黑盒测试方法开展研究,以便确保计算机软件测试的有效性,同时还对提升计算机软件测试效果的对策开展研究,以期能够对计算机软件进行良好的测试,及时解决运行中存在的故障,为关注此类话题的人们提供参考。

自动飞行系统飞行模式操作验证方法研究

现代民用飞机的自动飞行控制系统是主要的人机交互系统之一,其飞行模式操作控制功能由两大物理部分组成:FMCP硬件与自动飞行控制软件。对于复杂的人机交互功能的验证,需要采用面向开发过程的模型验证方法,首先由系统功能层级到功能模块层级逐级分解飞行模式操作控制功能开发架构,进而从功能模块层级到系统功能层级自下而上设计飞行模式操作控制功能验证架构,最后针对功能验证架构中的集成模型测试阶段,以FMCP速度视窗功能为例,通过对所有相关的人机操作进行分类定义,分别定义了速度目标值的状态转换与动作响应,进而针对定义梳理出完整的速度目标值状态转换与动作响应矩阵,矩阵中的每一个表格均对应着速度目标值的状态转换或者动作操作及其对应的响应情况。为自动飞行模式操作控制的集成模型验证提供了参考。