[發明專利]用于確定是否順序顯示多個屏幕的系統和方法

無效

• 申請號: 200710092163.7
• 申請日: 2007-04-02
• 公開（公告）號: CN101051268A
• 公開（公告）日: 2007-10-10
• 發明（設計）人: 立石孝彰;齊藤新;宮下尚;田渕直;戶澤晶彥
• 申請（專利權）人: 國際商業機器公司
• 主分類號: G06F9/44
• 分類號: G06F9/44;G06F17/30
• 代理公司: 中國國際貿易促進委員會專利商標事務所
• 代理人: 陳煒

技術領域

本發明涉及一種用于確定由程序顯示的屏幕是否滿足規范的系統。更具體來講，本發明涉及一種用于靜態地確定要順序顯示的多個屏幕是否滿足制定的規范的系統。

背景技術

近年來，對諸如可以在因特網上獲得的網頁之類的文檔的設計變得多種多樣了。雖然，設計得很好的網頁看上去不錯，但是諸如視覺上有缺陷的人之類的特殊用戶未必能夠非常好地理解該網頁。另外，當頁面結構違反語法規則時，某些類型的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”。