Web工程中基于不变性的元数据检查和测试

来源 :2013年全国理论计算机科学学术年会 | 被引量 : 0次 | 上传用户：gotomis

【摘要】

：

元数据在Web工程中起到了十分重要的作用.随着元数据规模的增加,对元数据的维护会花费很多的时间和精力.而目前的编译器不能对元数据不一致所导致的错误进行提示,也不能罗列出元数据和代码之间隐藏的关系.通过实验,使用基于框架和框架无关两种方式来发现元数据不变性,研究并验证了元数据不变性.当用户重构或者增强程序时,元数据不变性会被检查,如果违反了不变性,则对用户进行提示.

【作者】

：

傅腾高建华

【机构】

：

上海师范大学计算机科学与工程系上海 200234

【出处】

：

2013年全国理论计算机科学学术年会

【发表日期】

：

2013年4期

【关键词】

：

Web工程元数据不变性软件测试错误提示

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

基于活动图的C^4ISR能力需求过程建模及验证

当前对C~4ISR系统能力需求的描述大多基于图形、文字等静态模型,对信息和数据的具体操作没有进行定义,以至于对象之间的行为过程没有详细说明。缺乏可执行动态语义的能力模型是不可执行的,因此提出了一种基于活动图的能力需求过程建模方法,为可执行体系结构的建模仿真提供支撑。首先给出了系统过程模型的定义,在C~4ISR系统能力元概念模型的指导下,通过扩展UML活动图得到系统的能力需求过程元模型。然后用本体表

期刊

能力需求可执行活动图过程建模模型验证Capability requirement Executable Activity diagram Pro

代数约简的条件信息熵表示及其高效约简算法

给出如何保持正区域不变的语义分析,提出一种修正条件信息熵计算公式,证明保持修正条件信息熵不变与保持正区域不变相互等价.在此基础上,给出代数约简概念的修正条件信息熵表

期刊

条件信息熵正区域代数约简算法Conditional information entropy Positive region Algebraic re

建设项目档案收集归档存在的问题与对策

建设项目档案是工程项目从提出、审批、设计、招投标到施工、竣工验收后设备调试、试生产阶段等生成的大量文字材料、图纸、图表、照片、计算材料以及相应的软盘、光盘等各种

期刊

建设项目档案收集归档工程项目竣工验收文字材料施工企业建设单位设备调试

一种支持服务QoS差异度控制的Web服务发现模型

服务质量QoS描述了一个Web服务满足用户需求的能力.在动态、开放和多样的网络环境中,由于QoS的不确定性使得服务选择结果与实际结果偏差较大,服务质量难以保证.针对此问题,设计了一种支持服务QoS差异度控制的Web服务发现模型,在该模型中,通过增加第三方监控Interceptor,保证了服务提供者和消费者提供给QoS认证中心的信息以及QoS认证中心交给服务注册中心的信誉度数据的真实性,另外其也作为

期刊

计算机网络Web服务发现模型服务管理差异度控制规约验证机制

医院人事档案管理中存在的问题与对策

医院人事档案是对医院职工个人经历、政治思想、品德作风、业务能力、工作表现、工作实绩的记载，是重要的人事信息资源。当前，随着医疗卫生单位人事制度改革的进一步推进和全员

期刊

人事档案管理医院人事制度改革医疗卫生单位全员聘用制个人经历政治思想业务能力

基于Ajax技术的Web应用的建模与测试用例生成

Ajax技术使Web应用能够通过异步请求从服务端获取数据,并在网页上局部刷新显示。这使得一张网页可以包含多个不同状态,状态数的激增使其关系变得更加复杂,给Web应用的建模与

期刊

Web应用模型检查测试用例Ajax技术Kripke结构

基于属性学习的图像分类研究

图像中所蕴含的属性对于图像识别有着重要作用,以往的传统分类方法往往忽略了这些特性,为此,提出一种将稀疏表示和属性学习结合用于图像分类的新方法。该方法首先对图像特征进行稀疏分解,利用系数稀疏表示重构图像特征,然后将重构的特征数据用于属性学习,通过属性分类器的训练学习完成对目标图像的属性识别,达到识别出图像种类的目的。在植物数据集上的对比试验证实了该算法的有效性和在识别准确率上相对于传统识别算法的提升

期刊

属性学习稀疏表示多分类K-SVDAttribute learning Sparse representation Multiple classifi

一种ICN中的启发式路由机制

互联网逐渐成为社会基础设施,现有TCP/IP体系结构面临诸多挑战,以信息中心网络（Information-Centric Networking,ICN）为代表的未来互联网成为研究热点.在基于名字路由的基础上,

期刊

ICN启发式路由回溯缓存流行度CS命中率ICN Heuristic routing BacktrackingCache Popularity

一个基于压缩后缀数组的乐纹索引算法

在基于乐纹的音乐检索系统中,提取的乐纹的多少决定了检索结果的匹配度,这就造成了数据库大小与检索匹配度不能兼顾的矛盾。提出使用压缩后缀数组来压缩乐纹索引的方法,解决

期刊

乐纹压缩后缀数组索引压缩游程编码垂直编码Audio fingerprintCompressed suffix arrayIndex compres

基于面向分类准则的维数约简及其在人脸识别中的应用

针对高维数据导致的维数灾难问题,提出了一种基于面向分类准则的维数约简方法。所提准则使每个训练样本在特征空间中与同类样本尽可能接近,而与异类样本尽可能疏远。首先对每个训练样本定义同类样本加权平均距离和异类样本加权平均距离。然后基于上述两个概念分别定义总体同类距离和总体异类距离。以最小化总体同类距离和最大化总体异类距离为目的提出了面向分类的准则(Classification Oriented Crit

期刊

维数约简总体同类距离总体异类距离面向分类的准则人脸识别Dimensionality reduction Total distance of samp

Web工程中基于不变性的元数据检查和测试

与本文相关的学术论文