論文の概要: MBTModelGenerator: A software tool for reverse engineering of Model-based Testing (MBT) models from clickstream data of web applications

• arxiv url: http://arxiv.org/abs/2506.08179v1
• Date: Mon, 09 Jun 2025 19:44:10 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-06-11 15:11:40.567134
• Title: MBTModelGenerator: A software tool for reverse engineering of Model-based Testing (MBT) models from clickstream data of web applications
• Title（参考訳）: MBTModelGenerator: Webアプリケーションのクリックストリームデータからモデルベーステスティング(MBT)モデルのリバースエンジニアリングのためのソフトウェアツール
• Authors: Sasidhar Matta, Vahid Garousi,
• Abstract要約: このツールはUIイベントをキャプチャして状態遷移モデルに変換し、その結果をGraphWalker MBTツールと互換性のあるフォーマットでエクスポートする。 本報告では, システム要件, 設計決定, 実装詳細, テストプロセス, ツールの実証評価について報告する。
• 参考スコア（独自算出の注目度）: 1.516251872371896
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Automated testing has become a standard practice in software engineering, yet the creation of test models and suites remains labor-intensive. To reduce this effort, we developed an open-source tool that automatically generates Model-Based Testing (MBT) models from clickstream data collected during user interaction with web applications. The tool captures UI events, transforms them into state-transition models, and exports the result in a format compatible with the GraphWalker MBT tool. This enables immediate test execution without the need for manual model creation. The approach lowers the barrier to MBT adoption by leveraging actual usage behavior and reducing the reliance on upfront modeling. This technical report documents the system requirements, design decisions, implementation details, testing process, and empirical evaluation of the tool, which is publicly available as open-source.
• Abstract（参考訳）: 自動テストはソフトウェアエンジニアリングにおける標準的なプラクティスになっているが、テストモデルとスイートの作成は依然として労働集約的だ。 そこで我々は,ユーザがWebアプリケーションと対話する際に収集したクリックストリームデータから,モデルベーステスト(MBT)モデルを自動的に生成するオープンソースツールを開発した。 このツールはUIイベントをキャプチャして状態遷移モデルに変換し、その結果をGraphWalker MBTツールと互換性のあるフォーマットでエクスポートする。 これにより、手動のモデル作成を必要とせずに、即時テスト実行が可能になる。 このアプローチは、実際の使用行動を活用し、事前モデリングへの依存を減らすことで、MBTの採用障壁を低くする。 本技術報告では, システム要件, 設計決定, 実装の詳細, テストプロセス, ツールの実証評価について報告する。

関連論文リスト

• Can Test-Time Scaling Improve World Foundation Model? [67.82670175383761]
  我々は世界基盤モデル(WFM)に適したテストタイムスケーリングフレームワークであるSWIFTを紹介する。 COSMOSモデルの実証的な結果は、テストタイムのスケーリングが計算-最適方法であっても存在することを示している。 その結果,テストタイムスケーリング法則はWFMに対して有効であり,SWIFTはモデルサイズを調整・増大させることなく,WFM推論を改善するためのスケーラブルで効果的な経路を提供することがわかった。
  論文  参考訳（メタデータ） (2025-03-31T17:07:37Z)
• Formal Analysis of the Contract Automata Runtime Environment with Uppaal: Modelling, Verification and Testing [0.3807314298073301]
  有限状態オートマトン方言を用いて指定されたサービスアプリケーションを実現するため、tt CAREと呼ばれる分散ランタイムアプリケーションが導入された。 tt CAREの形式的モデリング、検証、テストについて詳述する。
  論文  参考訳（メタデータ） (2025-01-22T15:03:25Z)
• LlamaRestTest: Effective REST API Testing with Small Language Models [50.058600784556816]
  LlamaRestTestは、2つのLLM(Large Language Models)を使って現実的なテストインプットを生成する新しいアプローチである。 私たちは、GPTを使った仕様強化ツールであるRESTGPTなど、最先端のREST APIテストツールに対して、これを評価しています。 私たちの研究は、REST APIテストにおいて、小さな言語モデルは、大きな言語モデルと同様に、あるいは、より良く機能することができることを示しています。
  論文  参考訳（メタデータ） (2025-01-15T05:51:20Z)
• AutoIRT: Calibrating Item Response Theory Models with Automated Machine Learning [8.079755354261328]
  本稿では、アウトオブボックス自動機械学習(AutoML)ツールと互換性のある多段階のフィッティング手順を提案する。 モンテカルロEM(MCEM)の外ループに2段の内ループがあり、アイテムの特徴を使って非パラメトリックオートMLグレードモデルを訓練し、続いてアイテム固有のパラメトリックモデルを訓練する。 結果のモデルは通常より良好で、予測性能が向上し、既存の手法よりも正確なスコアが得られます。
  論文  参考訳（メタデータ） (2024-09-13T13:36:51Z)
• VLMEvalKit: An Open-Source Toolkit for Evaluating Large Multi-Modality Models [93.94887464110101]
  PyTorchに基づく大規模マルチモーダリティモデルを評価するためのオープンソースツールキットを提案する。 VLMEvalKitは70以上の大規模なマルチモダリティモデルを実装しており、プロプライエタリなAPIとオープンソースモデルの両方を含んでいる。 マルチモーダル学習研究の進展を追跡するために,OpenVLM Leaderboardを主催する。
  論文  参考訳（メタデータ） (2024-07-16T13:06:15Z)
• Provengo: A Tool Suite for Scenario Driven Model-Based Testing [2.4387555567462647]
  Provengoは、シナリオ駆動型モデルベーステスト(SDMBT)の実装を容易にするために設計されたツールスイートである。 Provengoでは、テスタが努力せずに自然なユーザストーリを作成し、効果的なテストを生成することのできるモデルにシームレスに統合することが可能になる。
  論文  参考訳（メタデータ） (2023-08-30T10:34:12Z)
• Formal Verification Of A Shopping Basket Application Model Using PRISM [0.0]
  ショッピング・バスケット・アプリケーション・モデルにおけるPrism Model Checkerを用いたシミュレーションの結果を示す。 目的は、買い物客が買い物プロセスの多くの定義された状態を通過するときの行動をシミュレートすることである。
  論文  参考訳（メタデータ） (2023-07-16T00:14:40Z)
• Automated Machine Learning Techniques for Data Streams [91.3755431537592]
  本稿では、最先端のオープンソースAutoMLツールを調査し、ストリームから収集したデータに適用し、時間とともにパフォーマンスがどのように変化するかを測定する。 この結果から,既製のAutoMLツールで十分な結果が得られることが示されたが,概念ドリフトや検出,適応といった手法が適用されれば,予測精度を時間とともに維持することが可能になる。
  論文  参考訳（メタデータ） (2021-06-14T11:42:46Z)
• SciWING -- A Software Toolkit for Scientific Document Processing [21.394568145639894]
  SciWINGは、科学文書処理タスクのための事前訓練されたモデルへのアクセスを提供する。 使えるWebアプリケーションや端末ベースのアプリケーション、デモも用意されている。
  論文  参考訳（メタデータ） (2020-04-08T04:43:37Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。