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

Metadata Checking and Testing of Web Application Based on Invariance

作　　者：傅腾[1] 高建华[1] 

机构地区：[1]上海师范大学计算机科学与工程系,上海200234

出　　处：《计算机科学》2014年第8期224-228,共5页Computer Science

基　　金：国家自然科学基金项目(61073163);上海市引进技术的吸收与创新年度计划项目(12CH-19)资助

摘　　要：元数据在Web工程中起到了十分重要的作用。随着元数据规模的增加,对元数据的维护会花费很多的时间和精力。而目前的编译器不能对元数据不一致所导致的错误进行提示,也不能罗列出元数据和代码之间隐藏的关系。通过实验,使用基于框架和框架无关两种方式来发现元数据不变性,研究并验证了元数据不变性。当用户重构或者增强程序时,元数据不变性会被检查,如果违反了不变性,则对用户进行提示。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 incon- sistency,and the relationship between metadata and codebase is hidden. This paper extracted all the invarianee of the projects based on the research regarding with the metadata invariant by experiments. It illustrated that the metadata in- variants are respectively extracted and compared through such different methods as framework-based invariant discove- ring 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.

关 键 词：元数据 不变性 JAVA 软件测试 软件错误 

分 类 号：TP302.7[自动化与计算机技术—计算机系统结构]