基于模型的控制系统测试的基准问题 - 001:基于模型的控制系统测试的基准问题-matlab开发

时间:2021-06-01 14:15:03
【文件属性】:
文件名称:基于模型的控制系统测试的基准问题 - 001:基于模型的控制系统测试的基准问题-matlab开发
文件大小:3.25MB
文件格式:ZIP
更新时间:2021-06-01 14:15:03
matlab 今天,安全关键飞行控制系统使用基于模型的方法进行测试。 模型块是专有的,很少公开共享。 基准问题被设计为研究活动的一部分,以测试某些测试用例生成技术。 该模型也被用作测试用例生成方法培训班的一个问题。 受训者通常是大学的应届毕业生,他们被要求设计手动测试用例,以找出模型中嵌入的错误。 控制系统模块是飞行控制系统或汽车控制系统中使用的典型模块。 它是线性滤波器、积分器、非线性块(如速率限制器和查找表)的组合。 就持久性块而言,存在逻辑和时间依赖性的组合。 然而,如下所述,这些对于生成测试用例来说更为复杂。 选择并放置这些块是为了确保学生练习一些思维过程并理解控制系统块的基本功能。 此问题作为开源提供给控制系统测试社区。 我们相信这是同类中的第一次,我们希望在比较田口测试方法的过程中提供更多的基准问题。 用户可以针对该模型*试用 Matlab 或其他商业测试工具。 我们想听听您使用这个基
【文件预览】:
Benchmark_001.zip

网友评论