基于形式化的需求建模及SysML图自动测试验证方法

基于形式化的需求建模及SysML图自动测试验证方法，属于计算机软件开发技术领域。方法如下：需求文本格式转换；生成测试用例表格；对需求文本进行形式化建模；执行测试验证，读取测试用例表格赋值给系统模型变量，系统按内部建模逻辑运行并产生输出，获取输出在对应位置写入测试用例表格；设计测试报告生成工具。本发明提升了测试数据的生成效率与准确性，形成了从需求捕获到验证分析的完整闭环流程，提升了开发的规范性和一致性，实现了测试用例的自动化执行，并通过自动比对模型输出与预期结果的方式完成验证，能够快速适应复杂系统的需求变更与功能扩展。