论文部分内容阅读
Web应用中有许多动态生成的页面，取决于当时的系统状态、用户输入等条件，现有方法难以自动判断其是否是预期页面。为此，提出一种自动判断该页面是否是预期的方法，该方法基于一个知识库（Cyc），用知识的形式来表示一个Web应用的规格说明，然后依据此规格说明，对生成的页面进行判断。
一种自动验证Web应用预期页面的方法
【摘 要】
：
Web应用中有许多动态生成的页面，取决于当时的系统状态、用户输入等条件，现有方法难以自动判断其是否是预期页面。为此，提出一种自动判断该页面是否是预期的方法，该方法基于一个
【机 构】
：
东南大学计算机科学与工程学院,江苏省软件质量研究所,武汉大学软件工程国家重点实验室
【出 处】
：
计算机与数字工程
【发表日期】
：
2008年5期
其他文献
昌平是首都北京的北大门，位于北京西北部，素有“京师之枕”、“甲视诸州”之美称。古有居庸关、龙虎台等险隘以及明代帝王陵寝，今是首都卫星城，区位条件优越，最南端与天安门直线距
分析PE文件的格式和PE病毒的感染方法,然后讨论PE病毒常用的指令,进而指出一种能检测PE病毒的方法：指令检测法,该方法能有效地检测到已知和未知的PE病毒。
本刊讯（记者 王然）3月22日，北京市市政市容管理委员会组织召开长安街环境综合提升暨架空线入地媒体通气会。据悉，今明两年，长安街及其延长线将进行景观提升工程，东起通州区宋梁路，西至门头沟区三石路，全长55公里。 北京市市政市容委环境整治处负责人介绍，为打造“庄严、沉稳、厚重、大气”的长安街气质，整体设计方案提取了“如意”、“祥云”、“莲花”等具有中国传统文化元素的符号，运用到长安街的LOGO风格
详细阐述嵌入式Linux系统内核中的防火墙的实现方法.对linux系统进行裁减,尽量去掉不需要的模块,重新编译linux内核,将linux系统及防火墙模块完全存储于U盘中,实现使用该u盘
校园数据中心是校园信息系统的核心枢纽。建设安全可靠、高效实用的数据中心对数字化校园的效能至关重要。采用Oracle 10g RAC架构、主／备数据库方式和异地冗灾方案，并结合统一
介绍在进行网络优化中一种工具网络优化平台,通过该平台可以方便、及时的了解网络运行状态和定位出网络中存在的问题。