文献

J-GLOBAL ID：202002268211090032   整理番号：20A1863381

エンドユーザプログラム計算フィールドの試験および検証【JST・京大機械翻訳】

Testing and validating end user programmed calculated fields

著者 (7件)： Braberman Victor (University of Buenos Aires, Argentina / CONICET, Argentina) ,  Garbervetsky Diego (University of Buenos Aires, Argentina / CONICET, Argentina) ,  Godoy Javier (University of Buenos Aires, Argentina / CONICET, Argentina) ,  Uchitel Sebastian (University of Buenos Aires, Argentina / CONICET, Argentina / Imperial College London, UK) ,  de Caso Guido (Medallia, USA) ,  Perez Ignacio (Medallia, USA) ,  Perez Santiago (Medallia, USA)
資料名： ACM Proceedings  (ACM Proceedings)
号： ESEC/FSE 2018  ページ： 827-832  発行年： 2018年 
JST資料番号： D0698C  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文では,記号実行とデータベースクエリの新しい組合せにより,エンドユーザ計算フィールドプログラムのための生産データベースからのテストデータを系統的に生成するためのアプローチについて報告した。また,この特定のドメインが記号的実行にもたらす機会と課題を議論し,データベースクエリーが記号的実行の弱点,すなわちループの処理およびSMTソルバー能力を超える経路条件のいくつかを補完するのを助けることができるかを示した。Please refer to this article’s citation page on the publisher website for specific rights information. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *データベース
準シソーラス用語： *エンドユーザ ,  ソルバ ,  クエリー , 【Automatic Indexing@JST】

著者キーワード (3件)： プログラム解析 ,  質問生成 ,  記号実行

分類 (2件)： 計算機システム開発  (JD02010R) ,  データベースシステム  (JD03030U)

タイトルに関連する用語 (5件)： エンドユーザ ,  計算 ,  フィールド ,  試験 ,  検証