通过阅读这本书,您将了解以下几点: •基于模型的测试的基本原理和术语 •应用基于模型的测试的循序渐进的过程 •基于模型的测试是如何不同于其他测试流程 •如何基于模型的测试属于典型的软件生命周期基于模型的测试的好处和局限性,其成本效益,采用和先决条件 •对基于模型的测试使用不同的建模技术指南 •有用的测试生成策略和它们是如何用于基于模型测试工具 •一些常见的测试选择标准,它们之间的差异,以及如何他们可以用来控制测试生成过程 •如何基于模型的测试与自动化测试执行平台 •如何将基于模型的测试技术应用到真正的应用程序

我这里想介绍一种基于模型的测试，通过它，我们可以对软件的功能达到更强的覆盖，达到更有效的测试，同时还能发现一些隐藏更深的问题。同时，它也被某些业内人士誉为继关键 现在大家对探索性测试讨论得很热门，在自动化测试大行其道的今天，探索性测试似乎是唯一一块测试人员更能体现自己专业性的领域。甚至我还看到有人在讨论如何通过探索性测试来达到较高的代码覆盖率。 个人以为，如果你真的对覆盖到代码的每个分支更感兴趣，或者说希望测到哪怕是一些比较细节的用户行为，通过探索性测试的方法来做也许并不是一个很推荐的做法。 我这里想介绍一种基于模型的测试，通过它，我们可以对软件的功能达到更强的覆盖，达到更有效的测

基于模型设计的飞机控制系统设计实例，很好的阐释了simulink在大型工程设计的优势。

上传几篇关于自动代码生成基于模型设计的论文-基于代码自动生成技术的汽车电子实时控制软件开发.pdf 我这里的几篇关于自动代码生成的期刊文章.在我看来,所谓的基于模型设计没有想象的那么复杂. Matlab/Simulink我想很多人都用过,但是,很多人用的都是离线的设计仿真. 基于模型设计只是针对以前大家离线设计的控制算法生成代码,并用到你的嵌入式系统中去. 当然,mathworks的产品线不只这些,除了从模型生成代码的RTW和RTW EC产品,还有针对不同处理器的驱动支持,以及一些开发环境的支持. 以及基于这些"环境"的对于代码的分析,验证等. 下面是几篇关于代码生成的期刊文章. 供大家了解一下基于模型设计在国内的应用和研究. 基于代码自动生成技术的汽车电子实时控制软件开发.pdf 动力系统嵌入式ECU开发平台的实现.pdf 基于Simulink的OSEK嵌入式软件开发方法.pdf

基于模型的机电一体化设计

本书讲述了 M 代码和 Embedded MATLAB 代码的快速编写与调试 、 浮点模型的建立 、 调试与验证以及用户驱动模块的创建。

讲解基于模型的设计，采用MATLAB编程，内容详实，案例较多，希望可以帮到学习编程技术的朋友们！

大型装备制造业数字化之道-基于模型的数字化企业解决方案白皮书

基于模型预测的自动驾驶汽车轨迹追踪,基于模型预测控制的无人驾驶,matlab源码.zip

全基因组CRISPR-Cas9敲除（MAGeCK）的基于模型的分析是一种计算工具，可从最新的基因组规模CRISPR-Cas9敲除筛选技术中识别重要基因。 有关说明和文档，请参阅Wiki页面。 MAGeCK是由达纳-法伯癌症研究所/哈佛大学公共卫生学院的Xiaole Shirley Liu博士的实验室的Li Wei和Han Xu开发的，并由儿童国家医疗中心的Li Li实验室维护。 我们感谢克劳迪娅·亚当斯·巴尔（Claudia Adams Barr）在基础癌症创新研究中的支持以及NIH / NHGRI开发MAGeCK的支持。