今天安全关键飞行控制系统使用基于模型的测试方法。该模型块是专有的,很少在开放共享。基准问题是设计为研究活动的一部分测试特定的测试用例生成技术。这个模型也被用作一个问题的测试用例生成方法培训课程。学员,通常从大学应届毕业生,被要求设计手动测试用例发现的错误嵌入到模型中。控制系统模块是典型的用于飞行控制系统或汽车控制系统。它结合了线性过滤器、集成商、非线性块像速率限制器和查找表。有逻辑的组合和时间依赖性的持久性。然而这些更复杂的生成测试用例说明如下。块已经选择和放置,确保学生锻炼思维过程和理解底层控制系统的功能块。

这个问题被作为开放源码控制系统测试提供社区。这个我们认为是第一的,我们希望提供更多的基准问题我们沿着比较田口方法的测试。用户可以自由尝试Matlab或其他商业测试工具对这个模型。我们想听到你使用这个基准问题的经验。

基准问题

被称为compete_2010.mdl的基准模型。这是一个仿真软件模型万博1manbetx测试工具,将在10个输入工作区名叫Inp1 Inp10。有7个输出,出来作为一个变量向量simout(参见图1)。有一个Matlab代码,这是一个以代码形式模型的复制品(文件model00001.m)。这个经历了超过20000个测试运行模型和代码匹配很好。有一个变化的报道称model00001_c.m的仪器。这个文件有一个变量覆盖,收集,条件和逻辑覆盖。有一个仿真软件模型与1万博1manbetx7突变体注入到名为compete.mdl子系统模型。这模型和突变体在同一文件。每个突变体块只有一个突变体嵌入到它。突变体块的输出和原始模型比较和误差范围。 The model output is Output in workspace and the mutant outputs are available as Output1 to Output17 in the workspace.

自动突变体生成

模型被用作基准问题来验证随机测试用例生成技术。小说的测试用例生成方法使用田口方法也用于生成测试用例。自动突变体发生器开发的仿真软件和Matlab代码。万博1manbetx这些Matlab脚本生成所有组合突变体的仿真软件和Matlab代码。万博1manbetx一个或门,作为一个例子,取而代之的是一个和门,XOR门在每个突变等文件。每一个突变体文件将只有一个突变。突变描述提供的文本文件模型突变模型。万博1manbetx突变的Matlab代码更改描述第一行的突变。脚本可以产生414模型变异和7592突变体的Matlab代码万博1manbetx。