hackerkiller

摘要：####一、本单元作业的架构设计 本次作业结构非常清晰。我在这里仅用了5个类来实现功能，其中MyImplementation用于提供统一接口，MyClassModel、MyCollaboration、MyStateChart、MyPreCheck用于实现各部分的功能。MyImplementation 阅读全文

摘要：####(1) 分析在本单元自测过程中如何利用JML规格来准备测试数据 在理解JML规格含义及要求的前提下，对JML中的每个normal_behavior和exceptional_behavior设计多组相应的测试数据，尤其是针对边界数据、null等特殊情况的数据，并对相应的后置条件进行检查，并使用 阅读全文