Teams Model Analyzer是一种支持工具,用于使用由QSI开发的团队(可测试性,工程和维护系统)创建的模型。

为了减少每个TEAMS建模者在为模型审查准备报告时必须执行的手动过程中花费的时间,已经开发了一个新的工具来帮助在TEAMS中开发的模型。该软件允许查看、报告和检查检入TEAMS模型数据库的TEAMS模型。该软件允许用户选择性地在显示组件、故障模式和端口的分层树形大纲视图中建模。报告功能允许用户快速收集关于模型的统计信息,并生成与所有组件相关的输入/输出报告。可以根据模型自动验证规则,生成包含结果不一致的报告。

除了减少手动努力之外,该软件还为验证和验证(V&V)努力提供了自动化过程框架,以追究这些模型的发展。这种自动化工具的辅助对V&V过程产生重大影响。

这项工作是由Caltech的Raffi P. Tikidjian为NASA的喷射推进实验室完成。有关更多信息,请在软件类别下在www.ivansarmy.com/tsp下载技术支持包(免费白皮书)。

该软件可用于商业许可。请联系加州理工学院的Daniel Broderick此电子邮件地址受到垃圾邮件程序的保护。您需要启用Javascript来查看它。。请参阅NPO-46842。


此简介包括技术支持包(TSP)。
团队模型分析仪

(参考NPO-46842)目前可用于从TSP库中下载。

没有帐户?注册这里



软件技术简报杂志yabovip16.com

本文首先出现在2010年9月问题上软件技术简报yabovip16.com杂志。

阅读此问题的更多文章这里

阅读档案中的更多文章这里