LogScope是一个用于分析日志文件的软件包。预期用途是用于在执行系统的系统后离线处理此类日志。然而,LogScope原则上也可以用于在执行期间监控系统。检查日志是否以制定为以基于规则的规范语言表达的监视器的要求检查。这种语言具有与状态机语言的相似性,而是更具表现力,例如,在其处理数据参数中。规范语言是用户友好,简单,但对于许多实际情况而言,但又呈表达。

LogScope软件最初开发为专门协助测试JPL的火星科学实验室(MSL)飞行软件,但它本质上是非常通用的,并且可以应用于产生某种形式的日志信息(几乎任何软件的应用程序)。

这项工作由Klaus Havelund和Caltech的玛格丽特H. Smith完成;英国曼彻斯特大学豪华劳动格;和俄勒冈州NASA射流推进实验室的俄勒冈州立大学的Alex Grence。

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


此简介包括技术支持包(TSP)。
logscope.

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

没有帐户?注册这里



美国宇航局金宝搏官网科技简报杂志

本文首先出现在2012年8月期问题美国宇航局金宝搏官网技术简报杂志。

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

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