文件名称：基准问题 02 - Matlab 代码：这是模型基准问题 02 的 Matlab 代码。-matlab开发
文件大小：3.6MB
文件格式：ZIP
更新时间：2024-06-19 08:03:19
matlab
这是一个 Benchmark 问题代码。 它模仿飞机控制律，其中包含大多数块，如瞬态*开关、延迟（持久性）块、查表、过滤器、速率限制器和积分器。 还提供了带有信号阈值的开关逻辑。 这是一个21输入的问题，可用于测试用例的设计。 提供了一个 Matlab 代码，该代码已经用具有 6x10^8 测试点的模型进行了测试。 我们希望所有的错误都被捕获。 万一有人发现我想知道的错误。 还提供了一个突变生成脚本来生成突变体。 它可以生成变量、逻辑、逻辑、数据和数学突变体。 在目前的状态下，它可以制造 34000 或更多的突变体。 如果需要，用户可以制作更多。 提供了两组测试数据，可以满足要求。 一种使用田口 DOE，另一种使用模拟退火。 SA 测试是使用正交数组作为第一个猜测生成的。 这提供了一套完整的测试用例，可在 400 次迭代中实现 100% 的需求覆盖。 这项工作是穆格印度公司与印度马尼帕尔
【文件预览】：
Bench_02_Matlab_mutant.zip