帕特精明,MathWorks
这个例子向您展示了测试人员如何开始使用Simulink万博1manbetx®验证和验证工具。它将指导您如何使用测试序列创建测试,定义正式的评估,将测试用例链接到需求,运行测试套件,并分析缺失的模型测试覆盖率。这个例子使用了Simulink R万博1manbetxequirements™,Simulink Test™,Simulink Coverage™和Simulink Design Verifier™。
在执行基于需求的测试时,您根据需求定义测试向量输入和预期结果。
要求在设计中实现,并通过测试用例验证。在要求,设计和测试用例之间应该有明显的可追溯性。
系统测试通过确保设计是坚固的并且没有错误,进一步提高这一步。模型测试覆盖范围测量在模拟期间锻炼的大部分设计。
您可以使用它来发现不完整的测试、不完整的可跟踪性或死逻辑。
您还可以生成测试向量,更容易理解可以实现模型测试覆盖的缺失。
这个示例将向您展示如何使用以下MathWorks产品进行系统测试:s manbetx 845
本示例假设您具有Simulink和statflow的基本知识。万博1manbetx如果您以前没有使用过Simulink或St万博1manbetxateflow,请查看Simulink Onramp和Stateflow Onramp课程。
单击下面的链接来尝试这个示例。
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。