一.基本信息 标题:Object Constraint Language for Code Generation from Activity Models 时间:2018 出版源:Information and Software Technology 领域分类:UML;XML;OCL;活动图 二.研究背景 问题定义:如何在对象约束语言的帮助下改进UML模型的代码生成. 难点:将OCL合并到UML活动模型中 相关工作:提出了OCL表达式与UML活动图关联的元模型.实现了一个名为ActivityOC…
Object Query Language (OQL) OQL is SQL-like query language to query Java heap. OQL allows to filter/select information wanted from Java heap. While pre-defined queries such as "show all instances of class X" are already supported by HAT, OQL add…
前几天,发现从库挂了,具体报错信息如下: 分析思路 1. 因为我采用的是选择性复制,只针对以下几个库进行复制: card,upay,deal,monitor,collect.所以,不太可能出现对于sas_basic的操作能复制到该从库上. 2. 整个架构是1主2从,且都是选择性复制,上面这个从库是直接复制card,upay,deal,monitor,collect这几个数据库的数据,而另外一个从库则是忽略上述库,如下所示: 怀疑是在上述schema下,执行了DROP TABLE IF EXIST…
Code Generation and T4 Text Templates Code Generation and T4 Text Templates…
在工作中,我们更多操作的是一个表的对象,所以我们对SOQL的使用很多.但是有时候,我们需要对几个表进行查询操作,类似salesforce的全局搜索功能,这时,使用SOQL没法满足功能了,我们就需要使用SOSL.其实不只是多个表检索可以使用SOSL,如果针对某个字段进行高级的检索也可以使用SOSL. 背景:Account表中的Name字段,存储了以下的数据1.上海电信2.上海-电信3.上海(电信)4.电信-上海5.电信上海6.电信(上海)7.上海xx电信8.海上信电9.海信电上. 当用户搜索上海电…
實務上開發專案時,有一些程式碼會不斷的出現,這時可靠 PhpStorm 的 Code Generation 幫我們產生這些 code snippet,除此之外,我們也可以將自己的 code snippet 加入 Live Template,可加快發開速度,並減少 typo. Version PHP 7.0.8Laravel 5.2.41PhpStorm 2016.2 Namespace Laravel 5 的 app 目錄下都遵循 PSR-4,也就是每個在 app 目錄下的 class 都要有…
一.技术背景 Spark1.x版本中执行SQL语句,使用的是一种最经典,最流行的查询求职策略,该策略主要基于 Volcano Iterator Model(火山迭代模型).一个查询会包含多个Operator,每个Operator都会实现一个接口,提供一个next()方法,该方法返回Operator Tree的下一个Operator,能够让查询引擎组装任意Operator,而不需要去考虑每个Operator具体的处理逻辑,所以Volcano Iterator Model 才成为了20年中SQL执行…
Code Generation Templates 翻译原文:https://www.cnblogs.com/Qbit/p/9746457.html转载请注明出处 Orchard Core Templates使用dotnet新模板配置从命令shell创建新网站,主题和模块. 有关dotnet new的更多信息,请访问: https://docs.microsoft.com/en-us/dotnet/core/tools/dotnet-new 安装Orchard Cms模板 安装.NET Core…
https://spark.apache.org/sql/ Performance & Scalability Spark SQL includes a cost-based optimizer, columnar storage and code generation to make queries fast. At the same time, it scales to thousands of nodes and multi hour queries using the Spark eng…
场景:重构spark 2.1版本的sql语法.因此 需要使用antlr: 前期准备:idea安装了antlr插件(antlr的4.7.2版本) 因此在maven工程中添加了antlr的依赖: <dependency> <groupId>org.antlr</groupId> <artifactId>antlr4-runtime</artifactId> <version>4.7.2</version> </depen…
OQL是对java堆内存进行查询分析 使用方法: 1.查看java线程id jps -lvm 上图红框中的为pid: 2.运行命令-导出堆内存信息-会生成一份文件在你本地 jmap -dump:live,file=a.map 10736 3.解析该文件-会展示为html jhat a.map 4.在浏览器打开地址 http://127.0.0.1:7000    主页面 http://127.0.0.1:7000/oql/  命令查询页面 主页面如下: 查询页面如下:  总结:使用命令如下: j…
什么是CGLIB CGLIB是一个强大的.高性能的代码生成库.其被广泛应用于AOP框架(Spring.dynaop)中,用以提供方法拦截操作.Hibernate作为一个比较受欢迎的ORM框架,同样使用CGLIB来代理单端(多对一和一对一)关联(延迟提取集合使用的另一种机制).CGLIB作为一个开源项目,其代码托管在github,地址为:https://github.com/cglib/cglib 为什么使用CGLIB CGLIB代理主要通过对字节码的操作,为对象引入间接级别,以控制对象的访问.我…
Salesforce 中的用户操作 打开按公司名称排序的供应商记录列表视图.SOQL 查询 SELECT CompanyName__c,ContactName__c FROM Suppliers__x ORDER BY CompanyName__c ASC LIMIT 26 Salesforce 中的用户操作 点击查看按城市排序的供应商记录列表视图的第二页.SOQL 查询 SELECT City__c,CompanyName__c FROM Suppliers__x ORDER BY City_…
Generate a class from table defintion and simplify databinding process.…
info:Djangourl:https://www.oschina.net/p/djangodetail: Django 是 Python 编程语言驱动的一个开源模型-视图-控制器(MVC)风格的 Web 应用程序框架.使用 Django,我们在几分钟之内就可以创建高品质.易维护.数据库驱动的应用程序. Django 框架的核心组件有: 用于创建模型的对象关系映射 为最终用户设计的完美... info:OpenERPurl:https://www.oschina.net/p/openerpde…
info:更多Django信息url:https://www.oschina.net/p/djangodetail: Django 是 Python 编程语言驱动的一个开源模型-视图-控制器(MVC)风格的 Web 应用程序框架.使用 Django,我们在几分钟之内就可以创建高品质.易维护.数据库驱动的应用程序. Django 框架的核心组件有: 用于创建模型的对象关系映射 为最终用户设计的完美... info:更多OpenERP信息url:https://www.oschina.net/p/o…
1.lexical analysis,which analyzes the character string presented to it and divides it up into tokens that are legal members of the vocabulary of the language in which the program is written (and may produce error messages if the character string is n…
One of the key values at Facebook is to move fast. For the past six years, we have been able to accomplish a lot thanks to rapid pace of development that PHP offers. As a programming language, PHP is simple. Simple to learn, simple to write, simple t…
嘛..不知不觉这门课程要结束了,那么就再说点啥以示庆祝呗. 测试vs正确性论证 说到这个,相比很多人对此其实很有疑惑,请让我慢慢分析. 逻辑概览 首先我们来看看两种方式各自的做法和流程是什么样的: 单元测试 在测试中,我们是这样的一个流程 此外,为了保证测试能覆盖到工程代码的每一个区域,需要保证测试的覆盖率. 正确性证明 在证明中,我们是这样的一个流程 在这一过程中 基于行为分析的repOk永真性证明依赖于JSF中的modifies项 方法正确性将基于JSF中所描述的effects和requir…
$0 写在前面 善始善终,临近期末,为一学期的收获和努力画一个圆满的句号. $1 测试与正确性论证的比较 $1-0 什么是测试? 测试是使用人工操作或者程序自动运行的方式来检验它是否满足规定的需求或弄清预期结果与实际结果之间的差别的过程. 它是帮助识别开发完成(中间或最终的版本)的计算机软件(整体或部分)的正确度(correctness) .完全度(completeness)和质量(quality)的软件过程:是SQA(software quality assurance)的重要子域. Glen…
1.论述测试与正确性论证的效果差异,比较其优缺点 测试:通过大量测试样例覆盖测试代码,来检测代码功能的实现是否正确是否完善.正确性论证:通过对代码规格和逻辑的严密分析,推论和证明,来验证代码实现的正确性.因此,测试能够通过测试结果,直观的判断出程序是否错误.但是又因为难以构造覆盖完整的测试集,所以不能保证程序在设计方面没有问题.而正确性论证能够通过严谨的分析论证,保证程序的正确性和覆盖率.但因为它是形式论证和自然语言层次逻辑的结合,自然语言层次逻辑推理的正确性又难以确保和验证.所以如果它不够直观…
oo第四次博客作业 一.测试与正确性论证比较 测试只是单方面片面的证明对于当前的输入程序是正确的,测试只能证明程序有错误,不能说明程序是对的. 正确性论证是程序达到预期目的的一般性陈述,是通过规范化的论证来说明程序运行是否符合预期,严谨的证明是可以有效说明程序的正确性的. 二.OCL语言与JSF规格的比较 OCL(object constraint language)对象约束语言,一种用来进行约束定义的,形式化的无二义的语言.OCL是一个类型语言,任何表达式的值都是属于一个类型的.这个类型可以是…
1.论述测试与正确性论证的效果差异,比较其优缺点 测试:通过大量测试样例覆盖测试代码,来检测代码功能的实现是否正确是否完善.测试一个程序的正常输入比较容易,但难点就在于大量的非法输入,测试只能发现bug,却不能保证程序正确.正确性论证:通过对代码规格和逻辑的严密分析,推论和证明,来验证代码实现的正确性.所以如果分析论证正确的话,就能保证程序的正确性,但由于正确性论证是形式论证和自然语言层次逻辑的结合,而自然语言的正确性也难以保证,这就导致正确性论证也会出现错误,而无法保证程序正确性.所以在工程中…
比较测试和正确性论证的效果 第13次作业是针对ALS电梯进行方法规格的测试,来判断方法运行的结果是否符合预期,是一种直观的验证错误的办法,但是不能确保程序完全正确,不过相比平时用的测试方法,这样效率更高更容易找到错误:而第14次作业的正确性论证其实是从理论上证明逻辑的完备性,从而证明程序的正确性,在写论证的过程中会再一次思考规格是不是有漏洞,程序的设计和一直懒得de的bug是什么地方出现了问题.尽管我不认为自己在这两次作业中花了足够的时间深思熟虑了,我的代码还是得到了一些改善. 比较OLC语言和…
终于开始最后一次作业了,是时候为这学期oo画一个圆满的局句号了. 回首这学期的OO经历,一路走来,经过了开始对面向对象的初步接触,然后就是充满痛苦回忆的多线程,接下来到了令人焦头烂额的规格设计,最后是测试和论证,中间还穿插着几次(用来放松的)博客作业.这些作业把我这个学期填充的十分充实. 那么还是先把这次作业写完再说. 测试与正确性论证 这一部分接触了两种论证手段,就是测试和正确性论证. 测试使用了junit4的测试框架,针对每个方法来进行规格测试.核心在于构造完备的子集,保证能覆盖到每一条语句…
一.论述测试与正确性论证的效果差异,比较其优缺点 测试是设计若干组测试用例,运行程序并检验其是否完成预期功能.测试是一种直接发现BUG的方法,可以准确断定什么样的BUG会发生,并通过辅助调试进一步确定发生BUG的代码位置.测试效果取决于测试者设计测试用例的覆盖面和针对性. 正确性论证是根据规格化设计原则,逐个检查每个类的属性.方法代码是否有违设计规格和数据保护原则,从而确定程序的正确性和错误发生的位置.这种方法相对测试,其随机性会小一些,效果主要取决于规格是否真实反映了客户端需求以及论证者的逻辑…
OO第四次课程总结分析 测试与正确性论证的效果差异及优缺点 测试,即使用测试样例来验证我们的程序是否能完成相应功能的过程.测试数据的产生基于前置条件和后置条件,通过执行测试数据检查方法输出是否满足需求.由此,测试的优缺点显而易见.优点是易于实施,可以针对特定的功能构造相应的测试数据去加以检验,好的测试数据能有效及时地发现错误:缺点是我们构造的测试数据并不能完全保证覆盖到了所有的情况,即我们无法保证程序的正确性,程序可能还存在我们未发现的bug. 正确性论证,就是针对规格化的代码,通过对代码逻辑进…
OO课程学期末总结 测试VS正确性论证 OCL vs JSF 对象约束语言(Object Constraint Language), 简称OCL, 是一种指示用户建模系统中的限制方式. 他是UML可选的附加内容, 可以用来更好地定义对象的行为, 并为任何类元指定约束. 相似性: 形式化语言:基础都是集合论和谓词逻辑.是选择有歧义的但是多数人能看懂的自然语言,还是无歧义但少数人才能看懂的数学符号,OCL和JSF选择了“中庸之道”.(不过JSF的形式化没有OCL那么强)[PS:数学.逻辑和计算机科学…
测试与正确性论证的效果差异及优缺点 测试实际上就是对程序进行的一种黑箱测试,利用各种各样的测试样例去检验程序是否能够给出正确的结果.其中的单元测试则是将整体的测试拆分成单元来进行,但其仍然躲不开黑箱测试的形式.而正确性论证虽然也是从各个方法入手,但其并不是盲目的对比输入输出是否一样,而是从逻辑上梳理某个方法运行过程中仅可能出现的输入(即前置条件)和针对这些输入仅可能给出的结果(后置条件),从而在确保各个方法实现均正确的情况下将其组合起来成为一个正确的系统. 从效果上来讲测试由于并不能穷举所有的情…
测试与正确性论证的效果差差异 测试和正确性论证都是对程序进行可靠性的验证. 测试: IEEE提出了对软件测试的定义:使用人工或者自动的手段来运行或测定某个系统的过程,其目的在于检验它是否满足规定的需求或者弄清预期结果和实际结果之间的差别.它是从对程序的实际操作来对运行结果和期望的结果进行比对,实质上只是一种抽样检查,只是一种查错的手段,它可以帮助人们去发现程序中的错误,但不能证明程序中没有错误,即:测试不能证明程序是正确的.测试又分为黑盒测试和白盒测试: 黑盒测试把测试对象看做一个黑盒子,测试人…