首页>
外文OA文献
>A Test Suite for Safety-Critical Java using JML
【2h】
A Test Suite for Safety-Critical Java using JML
展开▼
机译:使用JmL的安全关键Java测试套件
展开▼
免费
页面导航
摘要
著录项
相似文献
相关主题
摘要
Development techniques are presented for a test suite for the draft specification of the Java profile for Safety-Critical Systems. Distinguishing features are: specification of conformance constraints in the Java Modeling Language, encoding of infrastructure concepts without implementation bias, and corresponding specifications of implicitly stated behavioral and real-time properties. The test programs are auto-generated from the specification, while concrete values for test parameters are selected manually. The suite is open source and publicly accessible.
展开▼