欢迎访问深圳市易诺科技有限公司官网!

新闻资讯

NEWS CENTER

新闻资讯

NEWS CENTER

联系我们

CONTACT US

  • 联系人:谢先生
  • 电话:86-0755-29016522
  • 传真:86-0755-23769500
  • 邮编:518109
  • 手机:18926501065
  • 邮箱:sales@innuox.com
  • 网址:www.innuox.com
  • 地址:深圳市龙华新区龙观东路尚美时代大厦808

行业新闻 /

您现在的位置: 易诺首页>>新闻资讯>>行业新闻

Alloy了解

点击次数:3 更新时间:2019-10-15

  已经显示正式的技术在开发正确的软件中是有用的。但是,这些技术从业人员所需的专业水平禁止其广泛采用。正式的技术需要针对商业软件开发人员量身定制。 Alloy是由Alloy Analyzer(AA)支持的轻量级规范语言,它是一种基于现成SAT技术的工具。该工具允许用户交互地检查给定的属性是否与高级规范一致或有效。

  从而提供可以建立这种规范的正确性的环境。然而,Alloy不是特别适合于表达程序规范,而AA所提供的反馈可能会在分析中的规范或被检查的属性包含不一致的情况下产生误导。在本文中,我们解决了这两个缺点。首先,我们提出一种称为“Loy”的轻量级语言,专门针对面向对象程序的规范。提供Loy到Alloy的编码,以便AA可用于Loy程序规范的自动分析。其次,我们提出一些“分析模式”,通过对Loy规范的分析来指导开发人员,以便在实施之前确定其正确性。