、测试与JSF正确性论证 测试和JSF正确性论证是对一个程序进行检验的两种方式。测试是来的最直接的，输入合法的输入给出正确的提示，输入非法的输入给出错误信息反馈，直接就能很容易的了解程序的运行情况。但是，每次测试只是在程序涉及的整个问题空间取一个元素进行测试，一次测试只能确保程序对于测试中的样例和同 ...
分类：
其他好文 时间：
2018-06-25 14:56:38
阅读次数：
221
一、测试与正确性论证比较 测试是使用测试样例对程序进行检测而正确性论证则是根据代码的逻辑进行验证。 测试难以完全覆盖，需要大量的样例才能近似达到，而正确性论证则不需要花费那么大的精力，只需要根据代码的逻辑和规格进行一系列验证即可。 二、OCL与JSF OCL语言全名为对象约束语言(Object Co ...
分类：
其他好文 时间：
2018-06-22 21:40:51
阅读次数：
193
一 测试的优点在于它十分方便快捷，缺点在于可能的测试数据通常极为庞大，难以保证通过了测试后代码就完全没有错误；而正确性论证相对较为繁琐，但是能在一定程度上确保代码没有错误。 二 它们都是基于数学中的逻辑表达式而精确描述的一种语言，而OCL偏向于建模，JSF偏向于行为描述。 三 四 4.1 前两个单元 ...
分类：
其他好文 时间：
2018-06-22 20:31:48
阅读次数：
181
1、什么是JSF JavaServer Faces (JSF) 是一种用于构建 Web 应用程序的新标准 Java 框架。它提供了一种以组件为中心来开发 Java Web 用户界面的方法，从而简化了开发。 JavaServer Faces于2004年三月1.0版正式提出，清楚的将Web应用程序的开发 ...
分类：
Web程序 时间：
2018-06-21 13:51:58
阅读次数：
264
JSF(JavaServer Faces) JSF应用程序的生命周期从客户端对页面发出HTTP请求时开始，并在服务器响应页面时结束。JSF生命周期分为运行阶段和渲染阶段两个主要阶段。 执行阶段 当第一次请求时，构建或恢复应用程序视图。对于其他后续请求，执行其他操作。执行阶段被进一步分成以下子阶段： ...
分类：
Web程序 时间：
2018-06-20 15:39:51
阅读次数：
195
FacesContext 包含与单个 JavaServer Faces 请求的处理以及相应响应的呈现相关的所有每个请求的状态信息。它传递给请求处理生命周期的每个阶段，并且可能被修改。 注意事件监听器可通过下列三种方式之一影响JSF生命周期： (1) 让生命周期正常进行。 (2) 调用FacesCon ...
分类：
Web程序 时间：
2018-06-15 01:01:45
阅读次数：
235
MyEclipse优化设置 取消自动validation validation有一堆，什么xml、jsp、jsf、js等等，我们没有必要全部都去自动校验一下，只是需要的时候才会手工校验一下！ 取消方法： windows–>perferences–>myeclipse–>validation 除开Ma ...
分类：
系统相关 时间：
2018-06-08 20:42:30
阅读次数：
205
JSF(JavaServer Faces) JSF应用程序的生命周期从客户端对页面发出HTTP请求时开始，并在服务器响应页面时结束。JSF生命周期分为运行阶段和渲染阶段两个主要阶段。 执行阶段 当第一次请求时，构建或恢复应用程序视图。对于其他后续请求，执行其他操作。执行阶段被进一步分成以下子阶段： ...
分类：
Web程序 时间：
2018-06-03 12:37:46
阅读次数：
231
1、request.getSession().getServletContext().getRealPath("") 获取前端文件的根路径 2、 ScriptEngineManager manager = new ScriptEngineManager(); ScriptEngine engine ...
分类：
编程语言 时间：
2018-05-31 19:28:04
阅读次数：
271
规格化设计的发展历史和重要性： 规格化设计与结构化、模块化设计密不可分。从计算机开始发展以来，随着代码量的不断增加，程序功能的不断复杂化，简单的面向过程编程不再能够满足人们的需要，因此，出现了结构化程序设计。 在之后程序设计思想的不断发展过程中，规格越来越显得重要。Dijkstra 于 1968 发 ...
分类：
其他好文 时间：
2018-05-29 22:58:35
阅读次数：
178
