Supporting Software Sustainability with Lightweight Specifications
Supporting Software Sustainability with Lightweight Specifications
复制标题
通过轻量级规范支持软件可持续性
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Dominic A. Orchard
中科院分区：
文献类型：
--
作者：
Mistral Contrastin;Matthew Danish;A. Rice;Dominic A. Orchard
轻量级规格支持软件可维护性
通过提供一种方法来验证对代码的任何更改
基保留某些程序属性。我们举两个例子
数字代码的轻量级规范：测量单位
指定数值物理单位的类型
一个程序；和描述图案的模板规格
数组计算中使用的数据访问。我们不仅可以
自动验证程序是否正确实现了这些
要求，但规范为未来提供文档
开发商。还可以推断并生成规格
在某些情况下会自动进行，进一步减少程序员的工作量。
最后，我们确定未来潜在的规范技术
简化科学代码的维护和理解。
Lightweight specifications support software maintainability
by providing a way to verify that any changes to a code
base preserve certain program properties. We give two examples
of lightweight specifications for numerical code: units-of-measure
types which specify the physical units of numerical quantities in
a program; and stencil specifications which describe the pattern
of data access used in array computations. Not only can we
automatically verify that a program correctly implements these
requirements but specifications provide documentation for future
developers. Specifications can also be inferred and generated
automatically in some cases, further reducing programmer effort.
We finish by identifying future potential specification techniques
to ease the maintenance and comprehension of scientific code.