文献

J-GLOBAL ID：202102278334491640   整理番号：21A1193778

Prologシステムのためのクラウドベース計算テストベンチ環境の実装について【JST・京大機械翻訳】

On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems

著者 (3件)： Goncalves Ricardo ,  Areias Miguel ,  Rocha Ricardo
資料名： Information (Web)  (Information (Web))
巻： 8  号： 4  ページ： 129  発行年： 2017年 
JST資料番号： U7203A  ISSN： 2078-2489  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： スイス (CHE)  言語： 英語 (EN)

抄録/ポイント： ソフトウェアテストとベンチマーキングは,ソフトウェア開発プロセスの重要な構成要素である。今日,大規模ソフトウェアプロジェクトにおける良好な実践は,連続統合(CI)ソフトウェア開発技術である。CIの重要なアイデアは,各ソフトウェアモジュールの最終で統合を行う代わりに,開発者を彼らが生産するので,その仕事を統合することである。本論文では,YAP Prologシステムに対するベンチマークスイートに関する以前の研究を拡張し,Prologシステムの開発とCIにおける開発者を支援するため,他のProlog Test Bench Environment(YAPTBE)と名付けたPrologシステムのための完全自動化テストベンチ環境を提案した。YAPTBEはクラウドコンピューティングアーキテクチャに基づいており,Jenkinsフレームワークと,基礎となるインフラストラクチャを管理する新しいJenkinsプラグインに依存する。YAPTBEの鍵となる設計と実装の側面を提示し,そのグラフィカルユーザインタフェイス(GUI)とPrologシステムとベンチマークを構築,実行する自動化プロセスのような最も重要な特徴を示した。Copyright 2021 The Author(s) All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 自動化 ,  インフラストラクチャー ,  ベンチマーク ,  ソフトウェア開発 ,  *Prolog ,  計算機アーキテクチャ ,  GUI【計算機】 ,  ソフトウェアプロセス
準シソーラス用語： ベンチマーキング ,  *テストベンチ ,  ソフトウェアテスト ,  プラグイン ,  クラウドコンピューティング , 【Automatic Indexing@JST】

著者キーワード (4件)： ソフトウェア工学 ,  プログラム正当性 ,  ベンチマーキング ,  Prolog

分類 (1件)： 計算機システム開発  (JD02010R)

引用文献 (37件)：

• Myers, G.J.; Sandler, C.; Badgett, T. The Art of Software Testing, 3rd ed.; Wiley Publishing: Hoboken, NJ, USA, 2011.
• Duvall, P.; Matyas, S.M.; Glover, A. Continuous Integration: Improving Software Quality and Reducing Risk; The Addison-Wesley Signature Series; Addison-Wesley Professional: Boston, MA, USA, 2007.
• Zhou, N.F. The Language Features and Architecture of B-Prolog. Theory Pract. Log. Program. 2012, 12, 189-218.
• Hermenegildo, M.V.; Bueno, F.; Carro, M.; López-García, P.; Mera, E.; Morales, J.F.; Puebla, G. An Overview of Ciao and its Design Philosophy. Theory Pract. Log. Program. 2012, 12, 219-252.
• Somogyi, Z.; Sagonas, K. Tabling in Mercury: Design and Implementation. In Proceedings of the International Symposium on Practical Aspects of Declarative Languages, Charleston, SC, USA, 9-10 January 2006; Springer: Berlin/Heidelberg, Germany, 2006; pp. 150-167.

タイトルに関連する用語 (5件)： Prolog ,  計算 ,  テストベンチ ,  環境 ,  実装