A case study in JML-based software validation
A case study in JML-based software validation
复制标题
基于 JML 的软件验证案例研究
DOI：
10.1109/ase.2004.10000
复制
发表时间：
2004
期刊：
影响因子：
--
通讯作者：
Jean
中科院分区：
文献类型：
--
作者：
L. D. Bousquet;Y. Ledru;Olivier Maury;Catherine Oriat;Jean
本文报告了应用于小型 Java 应用程序的测试案例研究，部分在 JML 中指定。它说明 JML 可以轻松地与基于组合技术和随机生成的经典测试工具集成。它还揭示了在测试环境中重用为证明过程编写的 JML 注释的困难。
This paper reports on a testing case study applied to a small Java application, partially specified in JML. It illustrates that JML can easily be integrated with classical testing tools based on combinatorial techniques and random generation. It also reveals difficulties to reuse, in a testing context, JML annotations written for a proof process.