TestEra:TestEra是用于对Java程序进行基于规范的测试的框架。 为了测试Java方法，TestEra使用该方法的前置条件规范来生成测试输入，并使用后置条件来检查输出的正确性。 （156个子文件） 
all-wcprops 1KB all-wcprops 894B all-wcprops 741B all-wcprops 728B all-wcprops 543B all-wcprops 536B all-wcprops 436B all-wcprops 412B all-wcprops 404B all-wcprops 380B all-wcprops 378B all-wcprops 317B all-wcprops 317B all-wcprops 283B all-wcprops 262B all-wcprops 248B all-wcprops 106B all-wcprops 102B all-wcprops 98B all-wcprops 91B .classpath 413B entries 1KB entries 991B entries 862B entries 856B entries 695B entries 679B entries 676B entries 546B entries 546B entries 545B entries 542B entries 535B entries 531B entries 397B entries 380B entries 377B entries 356B entries 252B entries 223B entries 215B
alloy4.jar 4.06MB --alloy4.2-rc.jar 3.21MB log4j-1.2.16.jar 470KB JavaToAlloy.java 14KB Instance2Java.java 9KB StateManager.java 8KB AlloyModel.java 8KB JUnitGenerator.java 5KB RunAlsFile.java 5KB AlloyTestGenerator.java 4KB Signature.java 4KB FileGenerator.java 3KB Java2Alloy_test.java 3KB TestEra.java 2KB TestEraCore.java 2KB AlloyRunner.java 2KB MainTester.java 2KB GenerateJUnitTests.java 2KB GenerateAll.java 2KB InstanceVisualizer.java 2KB Predicate.java 2KB Support.java 1KB StateAlloyModel.java 1KB GenerateAlloyInput.java 1KB GenAlloyInputExample.java 1KB GenJUnitTestExample.java 1KB GenAlloyModelExample.java 1KB Tests.java 1KB List.java 990B GenerateAlloyModel.java 976B PrintHelper.java 940B GenerateFile.java 908B TestEra.java 754B Constants.java 719B Utils.java 711B LinkedList.java 664B MainTester_test.java 639B Parameter.java 630B Test.java 556B Node.java 317B ListNode.java 107B DoublyLinkedList.java 76B DoublyNode.java 70B BinaryTree.java 64B TreeNode.java 62B LICENSE.md 11KB README.md 400B .project 366B log4j.properties 652B log4j.properties 652B alloy4.jar.svn-base 4.06MB --alloy4.2-rc.jar.svn-base 3.21MB log4j-1.2.16.jar.svn-base 470KB JavaToAlloy.java.svn-base 15KB Instance2Java.java.svn-base 9KB StateManager.java.svn-base 8KB AlloyModel.java.svn-base 8KB JUnitGenerator.java.svn-base 5KB RunAlsFile.java.svn-base 5KB共 156 条
- 1
- 2
资源评论
HMI前线
- 粉丝: 22
- 资源: 4590
最新资源
- 1114208313579521Crack.zip
- vi编辑器的使用沃尔沃
- 具有快速处理算法的正弦频率扫描 OFDR 分布式声学传感
- java学习资源共享平台源码数据库 MySQL源码类型 WebForm
- shiro 只提供了对 ehcache 和 parallelHashMap 的支持，下面介绍一个 shiro 可以使用的 redis cache 实现，希望对大家有帮助！.zip
- Ruby on Rails 的 Redis 存储.zip
- Resque 是一个由 Redis 支持的 Ruby 库，用于创建后台作业、将它们放在多个队列中，然后在稍后处理它们 .zip
- matlab代码展示csv文件
- JAVA的Springboot+vue在线考试系统源码 前后端分离数据库 MySQL源码类型 WebForm
- YOLO游戏场景识别数据集
资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！
点击此处反馈
