一种基于动态模型的嵌入式软件黑盒测试用例生成方法，本发明涉及基于动态模型的嵌入式软件黑盒测试用例生成方法。本发明是要解决(1)测试滞后、不直观且测试效率低下；(2)依赖测试人员的测试设计，无法保证测试用例的质量；(3)无法保证黑盒测试的...

一种基于静态模型的嵌入式软件黑盒测试用例生成方法，属于软件工程中的基于模型的测试自动化技术领域。本发明解决了现有的基于需求规格说明文档的黑盒测试存在测试滞后且难以理解、测试效率低、无法保证测试用例的质量的问题。本发明的技术方案为：(1)...