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

Web工程中基于不变性的元数据检查和测试 傅 腾 高建华 上海师范大学计算机科学与工程系 上海 200234 摘要 元数据在Web工程中起到了十分重要的作用。随着元数据规模的增加，对元数据的维护会花费很多的时间 和精力。而目前的编译器不能对元数据不一致所导致的错误进行提示，也不能罗列出元数据和代码之间隐藏的关系。 通过实验，使用基于框架和框架无关两种方式来发现元数据不变性，研究并验证了元数据不变性。当用户重构或者增 强程序时，元数据不变性会被检查，如果违反了不变性，则对用户进行提示。 元数据;不变性;Java;软件测试;软件错误 TP302.7 A MetadataCheckingandTestingofWebApplicationBasedonInvariance FUTeng GAOJian-hua DepartmentofComputerScienceandTechnology,ShanghaiNormalUniversity,Shanghai200234,China Abstract MetadataplaysaveryimportantroleinWebapplication.Withtheincreasingscaleofmetadata,maintaining metadatawillspendintensivetimeandeffort.Thecurrentcompilercannotnotifythefaultscausedbymetadataincon sistency,andtherelationshipbetweenmetadataandcodebaseishidden.Thispaperextractedalltheinvarianceofthe projectsbasedontheresearchregardingwiththemetadatainvariantbyexperiments.Itillustratedthatthemetadatain variantsarerespectivelyextractedandcomparedthroughsuchdifferentmethodsasframework-basedinvariantdiscove ringandframeless-basedinvariantdiscovering.Whentheprogramisrefactoredorenhanced,themetadatainvariance willbedetermined.Amessagewillbegiveniftheprogramsviolateinvariance. Keywords Metadata;Invariance;Java;Softwaretesting;Softwarebugs 熟的工具可以对XML及其它的依赖文件进行校验和测试。 文件，这类文件有其严格的规范，可以通过Java的反射机制 本文研究如何读取XML的内容及其相关的文件，记录它们 把它转化为树状的结构，以提取其中的内容。在XML的映 的不变性，从而在XML文件或其关联文件改变时，可以进行 射中，最关心的就是这类Java的源文件。 校验。 从图2的struts2的配置文件中可以看到这个依赖名叫 1．2元数据的不变性 不变性是指程序中一些恒定不变的关系。举例来说，一 时，编译器会从struts2的配置文件中寻找这个依赖，然后根 个加法函数，其功能为输入两个浮点数，相加后输出浮点数的 结果。对于这个函数，输入和输出的参数为浮点型，这是一个 Action．java类，如果该类名找不到对应的Java类，则会报错。 不变性；输出的结果为输入结果的和，这也是一个不变性。有 (action 了不变性的关系后，就可以根据这些规律或规则进行下一步 class=”app．action．RegisterAction” (resulttype=”json”(／result) 的操作[“。