计算机科学 ›› 2014, Vol. 41 ›› Issue (8): 224-228.doi: 10.11896/j.issn.1002-137X.2014.08.048

• 软件与数据库技术 • 上一篇    下一篇

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

傅腾,高建华   

  1. 上海师范大学计算机科学与工程系 上海200234;上海师范大学计算机科学与工程系 上海200234
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金项目(61073163),上海市引进技术的吸收与创新年度计划项目(12CH-19)资助

Metadata Checking and Testing of Web Application Based on Invariance

FU Teng and GAO Jian-hua   

  • Online:2018-11-14 Published:2018-11-14

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

关键词: 元数据, 不变性, Java, 软件测试, 软件错误

Abstract: Metadata plays a very important role in Web application.With the increasing scale of metadata,maintaining metadata will spend intensive time and effort.The current compiler cannot notify the faults caused by metadata inconsistency,and the relationship between metadata and codebase is hidden.This paper extracted all the invariance of the projects based on the research regarding with the metadata invariant by experiments.It illustrated that the metadata invariants are respectively extracted and compared through such different methods as framework-based invariant discovering and frameless-based invariant discovering.When the program is refactored or enhanced,the metadata invariance will be determined.A message will be given if the programs violate invariance.

Key words: Metadata,Invariance,Java,Software testing,Software bugs

[1] Song M,Tilevich E.Metadata Invariants:Checking and InferringMetadata Coding Conventions[C]∥IEEE International Confe-rence on Software Engineering.Zurich,Switzerland,2012:694-704
[2] Mesbah A,van Deursen A,Roest D.Invariant-Based Automatic Testing of Modern Web Applications[J].IEEE Trans-actions on Software Engineering,2012,8(1):35-53
[3] 潘有能,膝海明.基于语义标记树的XML文档聚类研究[J].情报学报,2012,1(5):508-514
[4] Costa G,Ortale R.Structure-oriented clustering of xml documents:A transactional approach[C]∥IEEE International Conference on Intelligent Systemsm.Sofia,2012:188-193
[5] Posonia A M,Jyothi V L.Structural-based Clustering Technique of XML Documents[C]∥International Conference on Power and Computing Technologies.Nagercoil,2013:1239-1242
[6] 查礼.基于Hadoop的大数据计算技术[J].科研信息化技术与应用,2012,3(6):26-33
[7] Fokker J D,Zantema H,Swierstra S D.Iteratie en invariatie[M].Programmeren en Correctheid,Academic Service,1991

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!