TestEra:TestEra是用于对Java程序进行基于规范的测试的框架。 为了测试Java方法，TestEra使用该方法的前...
需积分: 10 144 浏览量
2021-05-06
06:08:02
上传
评论
收藏 14.63MB ZIP 举报
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
资源评论
