`
shermenn
  • 浏览: 14193 次
  • 性别: Icon_minigender_1
  • 来自: 珠海
社区版块
存档分类
最新评论

标准逻辑验证方法

 
阅读更多
public void process(){
//使用set 可以避免收集到重复的warning message 
//使用linkedHashSet 可以使得收集的warning message 再遍历时候可以按照添加顺序显示
	 Set<String> errorMsgs = new LinkedHashSet<String>();
	 boolean isDataLegal = validate(objects,messageSet);
	 ...

//把收集的消息变成一条语句返回前台
        StringBuilder sb = new StringBuilder();
        for(String s : errorMsgs){
            sb.append(s);
        }
        return sb.toString();
}

//方法返回boolean值可以方便处理逻辑时候根据需要中断程序 或是继续程序
private boolean validate(Set<Object> objects, Set<String> errorMsgs) {

//根据message set的size 来判断这个方法是不是已经通过验证
  int startInx = errorMsgs.size();

//使用messageTpl可以使得 消息的显示更加标准。同时方便Set 去做filtering
  String errorMsg = "%1$s status %2$s is illegal.";

  for(Object o : objects){
  	if(o == null){
 	  	errorMsgs.add(String.format(errorMsg, o.toString()));
 	  }
  }

  return errorMsgs.size() == startInx;
}

 

0
0
分享到:
评论

相关推荐

    逻辑设计方法

    ### 逻辑设计方法详解 #### 一、设计方法学与工具概述 逻辑设计是现代电子系统设计中的核心环节,它不仅涉及硬件结构的选择与优化,还包括软件层面的模拟与验证。设计方法学主要包括两种基本模式:自顶向下(Top-...

    一种测试PLC逻辑功能的方法.pdf

    2. 测试方法存在的问题:在进行PLC逻辑功能测试时,过去存在的一个主要问题在于编写测试例子的主观随意性较大,缺乏一套系统的、可量化的测试方法来判断测试例子所测逻辑功能的完整性。 3. 提出的解决方案:本文...

    从算法设计到硬线逻辑的实现——复杂数字逻辑系统的Verilog HDL设计技术和方法

    《从算法设计到硬线逻辑的实现——复杂数字逻辑系统的Verilog HDL设计技术和方法》这本书深入探讨了在数字电子系统设计中,如何利用Verilog HDL(硬件描述语言)将高级算法转化为实际的硬线逻辑。Verilog HDL是一种...

    业务流程中概念模型到逻辑模型的转换

    最后,构建模型验证框架来检验转换后的逻辑模型与概念模型的一致性。为了实现这种一致性验证,本文采用了业务本体的形式来描述概念模型和逻辑模型,使用SWRL规则来定义一致性约束,并在KAON2推理引擎中进行验证分析...

    系统芯片(SOC)验证方法与技术.rar

    此外,还可能涵盖了形式验证技术,这是一种强大的方法,可以证明设计满足特定的逻辑条件,而不仅仅是通过运行测试用例。 此外,测试向量的生成和管理是验证过程中的重要部分。通过自动化工具,我们可以生成大量的...

    面向计算机科学的数理逻辑(PDF:陆钟万)

    最后,模态逻辑是一种扩展了标准逻辑的系统,引入了“必然”和“可能”的概念,这对于描述并发系统、权限控制和知识表示等领域具有重要意义。 总的来说,《面向计算机科学的数理逻辑》这本书深入浅出地介绍了数理...

    逻辑回归模型实例

    逻辑回归是一种广泛应用于二分类问题的统计学习方法。在机器学习领域,它是一种监督学习算法,主要用于预测一个离散的输出结果,例如是/否、真/假或1/0等。逻辑回归虽然名字中含有“回归”,但实际上它解决的是分类...

    纯电动汽车安全技术检验项目和方法标准研究.pdf

    【纯电动汽车安全技术检验项目和方法标准研究】 随着新能源汽车的发展,纯电动汽车(Battery Electric Vehicles, BEVs)作为其中的重要分支,其安全性能受到了越来越多的关注。"纯电动汽车安全技术检验项目和方法...

    SystemVerilog 验证方法学

    1. UVM(Universal Verification Methodology):UVM是基于SystemVerilog的行业标准验证方法学,提供了一套验证框架和类库,简化了验证环境的搭建和复用。 2. 库组件:UVM提供了诸如代理、监视器、控制器和代理工厂...

    数据库——数理逻辑ppt

    总的来说,数理逻辑是理解和描述逻辑推理的数学工具,它的理论和方法对计算机科学产生了深远影响,推动了自动推理、形式验证和人工智能等领域的发展。掌握数理逻辑的知识,对于深入理解计算机科学的理论基础至关重要...

    逻辑导论 HarryGensler 第二版

    书中不仅覆盖了传统逻辑的主要内容,还加入了历史、哲学和偏离逻辑的探讨,以及一系列实用的例题和论证,使得该书不仅适合用于课堂教学,也适合个人自学和准备标准化测试。第二版的改进和更新,如更自然的章节排序,...

    基于PCIe IP核的FPGA逻辑的仿真验证.pdf

    本文作者隽鹏辉和封安,来自中航工业西安航空计算技术研究所,详细阐述了基于PCIe IP核的FPGA逻辑的仿真验证方法,为FPGA实现PCIe总线的设计和仿真验证提供了重要参考。 PCIe总线的数据传输优势在于其串行通信机制...

    门电路逻辑功能及测试实验报告.docx

    实验中,通过Multisim软件进行了74LS00和74LS20的功能测试,填写了真值表,并观察了输出电压,验证了与非门的逻辑表达式Y=AB。同时,通过绘制波形图,进一步理解了输入与输出之间的关系。 其次,异或门是另一种基本...

    数字逻辑与数字系统期末试卷与答案

    这份"数字逻辑与数字系统期末试卷与答案"无疑是学习者们宝贵的参考资料,它可以帮助学生巩固所学知识,检验自我理解和掌握程度。 试卷通常由选择题、填空题、判断题、简答题和综合设计题等部分组成,这些题目涵盖了...

    逻辑学导论

    非演绎逻辑基础部分则涉及到非传统逻辑,如归纳推理、类比推理和其他非标准逻辑形式。非演绎推理通常不提供结论的必然性,而是提供一定程度上的支持。这类推理在现实生活中非常常见,如科学假设的形成和验证。 除了...

    逻辑电路的几种表达形式

    这种图形化的表示方法便于人们理解电路的逻辑结构,并且直观地分析电路的逻辑功能。在实际电路设计中,逻辑门电路图更是被广泛用于电子电路的布局和连线。 其次,逻辑表达式也是描述逻辑电路的一种重要形式。逻辑...

    北京大学数理逻辑_王捍贫

    数理逻辑是研究推理规律的学科,利用数学方法研究逻辑推理的正确性标准,是数学的一个重要分支。它不仅包含形式逻辑和演绎推理,而且在计算机科学和人工智能等领域中扮演着核心角色。 数理逻辑的发展可以大致分为三...

Global site tag (gtag.js) - Google Analytics