将函数式编程用于工作-使用领域特定语言的软件设计和验证

(由瑞典研究理事会资助的2010-2013年多项目赠款虚拟现实)

申请人:John Hughes(主要申请人)、Mary Sheeran、Koen Claessen,帕特里克·詹森

内部

研究计划(来自补助金申请)

新闻:

  • 2012年4月12日:于并行函数程序设计
  • 2010-09-01:Alejandro Russo在FP集团担任助理教授(由FunC项目资助)
  • 2010-08-16:Jonas Duregård作为博士生与Patrik合作,加入了这个项目。
  • 2010年01月01日:AnnLilliestroöm作为一名博士生加入了这个项目。

摘要

我们将函数式编程技术,特别是嵌入在Haskell和Erlang中的特定领域语言(dsl)应用于复杂软件的设计和验证,并从电信领域获得了一些有启发性的例子。我们致力于用数字信号处理器(DSL)进行无线基站信号处理,目前已在爱立信软件研究和战略研究基金会的资助下进行开发。其他的dsl正在开发用于线感知电路设计和高度并行图形卡编程。根据这些经验,我们将构建一个“DSL工具包”,使未来的DSL更容易设计和实现。

我们还致力于测试更高级别的控制软件,通过我们的基于属性的测试工具QuickCheck——已经在工业中使用。我们计划用特定于领域的规范语言、与软件模型的连接、从测试结果中挖掘规范、基于测试和用户优先级的以代码为中心的反馈自动选择测试数据分布。我们计划对“属性优先的软件开发”进行实证评估,类似于流行的“测试驱动开发”,但比之更激进。

总的目标是通过利用函数式编程的能力来提高软件开发和验证中的抽象级别——至少在有限的领域中是这样。这项提议很大程度上是基于现有广泛的产业合作,特别是与爱立信的合作。