比尔•波特MathWorks
许多MathWorks工具中使用基于模型的设计和正式的方法分析需要资格做- 330软件工具资格方面的考虑。做资格工具包提供了必要的文档和测试工件符合这些工具做- 178 c项目。做资格资格计划工具包提供了工具,工具操作需求文档、测试用例和规程,以及参考稳健的正式方法技术,适用的地方。这个工具包是分开授权合格的工具,可以应用于任何数量的项目和在任何版本的MathWorks工具。自330年——确实需要用户验证工具的安装环境,测试过程自动化,以允许用户轻松地执行测试和验证预期的结果是正确的。工具提供支持各种Windows、Li金宝appnux和MAC操作系统。做资格工具包中的工具,支持仿真软件报告金宝app生成器™,模型检查™,仿真软件测试™,仿真软件覆盖™,仿真软件设计验证人™,检查员™金宝app模型代码,Polyspace错误发现者™和Polyspace代码验证™。构件进行正式的方法为模型提供了稳健设计验证器和Polyspace代码验证。金宝app额外的工件做资格工具包中提供一个用户指南描述工具用户活动,工作流的文档描述如何使用这些工具- 178 c过程,软件方面的认证计划模板,模板和软件模型标准。- 330是否有特定的工具用户活动作为工具资格过程的一部分,这些都是:包括合格的工具在项目的计划软件方面的认证,审核工具操作要求适用于该项目,安装环境中运行一个测试和验证结果,拱起的工具和结果在一个配置管理系统,最后,总结所有的工具软件资格活动成就为项目总结。
你也可以从下面的列表中选择一个网站:
选择中国网站(中文或英文)最佳站点的性能。其他MathWorks国家网站不优化的访问你的位置。