An Approach for Debugging Client Dynamic Web Applications(Network Services)
スポンサーリンク
概要
- 論文の詳細を見る
Beside the emergence of the Internet and the Web, an equal (or probably more important) trend has been the propagation of scripting technology. Client scripting involves the use of light, yet powerful languages in making the Web more interactive and dynamic. In view of software description, however, the light-weight feature turned out to be a major drawback to develop and maintain the scripts with a good quality. Once an unexpected behavior emerges, sometimes it is difficult to find the cause even for a short script. This paper, in addition to discussing the challenges facing the debugging process, presents an approach proposed for debugging client Web applications focusing on debugging scripts as they are the dynamic enabling components and the means by which execution of the business rules can be captured. In addition to identifying the challenges, our aim is at facilitating the developing and the debugging process. For this purpose, we focus on imposing syntactic constrains over a script and on visualizing its state while under debugging. For the purpose of proving the effectiveness of the proposed new approach, an experimental debugging tool is prototyped. As the result, it is shown that our approach is helpful in finding implicit bugs and in inspecting the state of the application under debugging.
- 一般社団法人情報処理学会の論文
- 2004-10-15
著者
-
結縁 祥治
名古屋大学大学院情報科学研究科
-
Agusa Kiyoshi
Department Of Information Engineering Graduate School Of Information Science Nagoya University
-
結縁 祥治
名古屋大 大学院情報科学研究科
-
AUN MOHAMED
Department of Information Engineering, Graduate School of Information Science, Nagoya University
-
YUEN SHOJI
Department of Information Engineering, Graduate School of Information Science, Nagoya University
-
Yuen Shoji
Center For Information Media Studies Nagoya University
-
Aun Mohamed
Department Of Information Engineering Graduate School Of Information Science Nagoya University
関連論文
- Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
- Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
- 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
- ウインターワークショップ2008・イン・道後開催報告
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
- 通信プロセスに対する文脈変換手法を用いたモデル検査
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ(並列・分散)
- 正則な実時間通信プロセスに対するテスト擬順序の記号的特性化
- 診断テスト生成に基づくラベル付遷移システムのグラフィカル・デバッガ
- 動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング
- 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析
- 時間付きデザインパターンに基づく実時間並行ソフトウェアの開発手法
- 時間付き$\pi$計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)
- π計算に対する時間拡張と合同的性質(計算モデル,フォーマルアプローチ論文)
- π計算に基づくプログラミング言語NepiのためのGUI機能
- 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述(オブジェクト指向とWeb技術)
- π計算による優先度継承プロトコルの形式的記述
- 名古屋大学情報メディア教育システムの現状と課題
- A Verification Method for Formal Requirements Description
- 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル
- Webオートマトン : MVCモデルに基づくWebアプリケーションの動作モデル(ディペンダブルソフトウェア)
- FCDGに基づいたコーディングパターン
- ラウンドトリップエンジニアリングを目指したWebアプリケーションのための意味モデル(産学連携論文)
- セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
- 時間オートマトンによる振舞いモデルに基づく高信頼Real-Time Javaコード生成手法
- 時間オートマトンによる振舞いモデルに基づく高信頼 Real-Time Java コード生成手法
- An Approach for Debugging Client Dynamic Web Applications(Network Services)
- プログラムスライシングツールのための共通表現
- 実時間プロセス言語に基づく時間ステートチャートの動作シミュレーション
- NATによる準マルチホーム化技法(次世代のインターネット/分散システムの構築・運用技術)
- 文書間の不整合解消に基づくソフトウエアプロセスのモデル化
- NATによるプライベートネットワークの準マルチホーム化技法
- A Supporting System for Software Maintenance : Ripple Effect Analysis of Requirements Description Modification
- コレオグラフィに基づく高信頼通信指向GUIプログラミング
- 通信プロセス計算とその時間拡張(システム設計のための形式手法の基礎と応用)
- SCCS動作式に対する unfold 変換によるLTSモデルの効率的な構成法
- SCCS動作式に対するunfold変換によるLTSモデルの効率的な構成法
- 命令を並列に実行するCPUに対するSCCSによるコンパイラの仕様記述
- 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析
- Web オートマトン: MVC モデルに基づくWebアプリケーションの動作モデル
- 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ
- 並行論理型言語の意味領域としてのガード付きストリーム : 意味論的および構文的同値関係について
- Symbolic Alternative Characterizations of Testing Preorder for Regular Timed Processes(Concurrency Theory and Applications '96)
- 実時間通信プロセスの述語的仕様記述に対する検証法(並列・分散)
- 実時間通信プロセスの述語的仕様記述に対する検証法(並列・分散)
- An Extention of DynAlloy with Concurrency
- 分離論理を用いたTOPPERS/ASPの割込み動作に対する検証
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ
- 通信プロセスモデルと形式意味論に基づくソフトウェアのモデル化(ディペンダブルソフトウェア)
- FOREWORD
- Alloyを用いたRuby on Railsアプリケーションの開発支援
- 「情報処理学会論文誌 : プログラミング」の編集について
- Nested timed automata
- 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述
- Generating Diagnostic Information for Probabilistic Processes
- A Session Type System with Subject Reduction
- 無限小定数と限量子除去法によるハイブリッドシステムの検証に向けて
- タスクマイグレーション機能を持つマルチコアスケジューリング解析
- タスクマイグレーション機能を持つマルチコアスケジューリング解析
- FOREWORD
- 値付きタスクオートマトンに基づくコストを意識した実時間タスクスケジューリング
- 形式仕様に基づく通信プログラム開発システムONL
- CCSによるモニタの動作の形式的記述