TraceContract是用于跟踪分析的API(应用程序编程接口)。轨迹是一系列事件,并且可以例如由正在运行的程序生成金博宝app下载金,以适当地生成事件。事件可以是任何数据对象。跟踪的示例是包含程序员在程序执行期间对记录重新记录的事件的日志文件。金博宝app下载金跟踪合同随着使用API​​制定的规范以及在检测到违规行动时要执行的任何违反规范的任何违反规范的规范,以及在检测到违规时执行的任何违规的规范,以及报告的规范。

该软件以Scala编程语言中的内部DSL(域特定语言)开发。Scala是一种相对较新的编程语言,专门用于定义此类内部DSL而导致的语言特征。这包括Scala的面向对象和功能编程,简洁表示法和先进类型系统的优雅组合。DSL提供了Dataparameterized状态机和时间逻辑的组合,这是新颖的。作为Scala的扩展,它是一个非常富有表现力和方便的日志文件分析框架。

这项工作由英国曼彻斯特大学Caltech和Howard Barringer的Klaus Havelund完成,适用于NASA的喷气式推进实验室。有关更多信息,请联系此电子邮件地址正在受到垃圾邮件程序的影响。您需要启用Javascript来查看它。

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


NASA 金宝搏官网TECH JICKS杂志

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

从这个问题中阅读更多文章这里

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