测试用例自动生成及需求验证方法与介质

本发明提供了一种基于SysML活动图的测试用例自动生成及需求验证方法，包括以下步骤：S1、需求形式化与仿真验证；S2、SysML活动图结构分析；S3、SysML活动图模块化；S4、测试路径生成；S5、测试数据生成；S6、测试用例生成。本发明还提供了一种可读存储介质。本发明的有益效果是：提供了一种基于SysML活动图的测试用例自动生成及需求验证方法与可读存储介质，能够有效填补当前建模软件对于MBT以及需求验证支持上的缺陷，形成自动化程度高，通用型强，能够支持复杂活动图的测试用例生成与优化方法，验证模型的设计能否正确反映用户的需求，提升系统的安全性、可靠性，降低建模与测试成本。