基于模型驱动的结构化软件开发过程的单元测试方法研究

摘要

随着计算机软件应用的深入,人们对软件的自主可控性、安全性与可靠性提出了更高的要求.本文通过研究结构化软件的特点,使用基于模型驱动软件开发方法,建立软件形式化模型的仿真验证场景,检验模型的功能执行的正确性;通过将形式化模型自动化生成代码后,编写代码的单元测试用例,并建立模型的仿真验证场景与代码的单元测试用例的映射;最后通过对形式化模型仿真验证的覆盖率分析,实现相应代码的单元测试覆盖率分析,形成基于模型的仿真验证过程对代码的单元测试过程的简化方法。