[发明专利]用于确定是否顺序显示多个屏幕的系统和方法

说明书

技术领域

本发明涉及一种用于确定由程序显示的屏幕是否满足规范的系统。更具体来讲，本发明涉及一种用于静态地确定要顺序显示的多个屏幕是否满足制定的规范的系统。

背景技术

近年来，对诸如可以在因特网上获得的网页之类的文档的设计变得多种多样了。虽然，设计得很好的网页看上去不错，但是诸如视觉上有缺陷的人之类的特殊用户未必能够非常好地理解该网页。另外，当页面结构违反语法规则时，某些类型的web浏览器未必能够正确地显示该页面。因此，通常提供了某些系统来确定诸如网页之类的文档是否满足制定的规范，以便评估理解的容易度或者指明该页面中待纠正的点。例如，参见非专利文献(8)和(9)。另外，用于规定诸如HTML或XML之类的结构化文档的规范的研究以及对用于规定规范的模式(schema)等的研究已经取得了进展。例如，参见非专利文献(2)、(4)和(5)。

非专利文献(6)和(7)将在一个实施例中进行参考。

非专利文献

(1)2005年在万维网(WWW)上由Yasuhiko Minamide发表的“Static approximation of dynamically generated Web pages”；

(2)FDR2(Formal Systems)；

(3)2005年在编程语言原理(Principles of ProgrammingLanguages，POPL)中由Cristiano Calcagno、Philippa Gardner、Uri Zarfaty发表的“Context Logic and Tree Update”；

(4)2003年在软件维护和重建的欧洲会议(EuropeanConference On Software Maintenance And Reengineering，CSMR)上由Eugenic Di Sciascio、Francesco M.Donini、Marina Mongiello、Giacomo Piscitelli发表的“Web applications design and maintenanceusing Symbolic Model Checking”；

(5)在软件测试日本讨论会(Japan Symposium on SoftwareTesting)上由Eun-Hye CHOI、Hiroshi Watanabe发表的“Modelingand Verification of Class Specification for Web Applications”；

(6)于1997年在http://www.grappa.univ-lille3.fr/tata/上由H.Comon等人发表的“Tree Automata Techniques and Applications”；

(7)在2001年由Haruo Hosoya和Benjamin Pierce在编程语言原理(Principles of programming languages，POPL)上发表的“Regular expression pattern matching for XML”；

(8)aDesigner(IBM)；

(9)Dreamweaver 8(Macromedia)；

(10)于2002年在IEICE的技术报告SS2002-22第102卷第370期第13-18页上由Kazunori Washio等人发表的“SyntaxVerification Technique Using Data Flow Analysis for JavaScriptEmbedded HTML Documents”；

(11)在SPA2006并于http://spa.jssst.or.jp/2006/上由TakaakiTateishi等人发表的“Accessibility Checking Tool for DHTML”。