文献

J-GLOBAL ID：201802280367113552   整理番号：18A0650388

ストリング操作関数を含むプログラムのための自動化ストリング制約解法【JST・京大機械翻訳】

Automated String Constraints Solving for Programs Containing String Manipulation Functions

著者 (5件)： Xu-Zhou Zhang (STATE KEY LABORATORY OF NETWORKING AND SWITCHING TECHNOLOGY, BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS BEIJING 100876, CHINA) ,  Yun-Zhan Gong (STATE KEY LABORATORY OF NETWORKING AND SWITCHING TECHNOLOGY, BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS BEIJING 100876, CHINA) ,  Ya-Wen Wang (STATE KEY LABORATORY OF NETWORKING AND SWITCHING TECHNOLOGY, BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS BEIJING 100876, CHINA) ,  Ying Xing (AUTOMATION SCHOOL, BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS, BEIJING 100876, CHINA) ,  Ming-Zhe Zhang (STATE KEY LABORATORY OF NETWORKING AND SWITCHING TECHNOLOGY, BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS BEIJING 100876, CHINA)
資料名： Journal of Computer Science and Technology  (Journal of Computer Science and Technology)
巻： 32  号： 6  ページ： 1125-1135  発行年： 2017年 
JST資料番号： W0182A  ISSN： 1000-9000  CODEN： JCTEEM  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 英語 (EN)

抄録/ポイント： 様々な制約を解決する能力は,自動制約ソルバーの主要因である。ほとんどのオブジェクト指向言語は文字列をストリングライブラリ関数により操作される原始データ型として扱う。ほとんどの制約ソルバーは,制約の表現性に対する強い制約やハイブリッド制約を解く能力の欠如などの入力制約に対する制約を持っている。これらの制約は,ストリングとストリング操作機能を含むプログラムのためのプログラム解析技術に関する自動化制約ソルバーを適用することを妨げる。ストリングとストリング操作関数を含むプログラム制約を自動的に解く手法を提案した。文字列モデルに基づいて,一般的に用いられるストリング操作関数の制約を正確に記述するために,プリミティブ演算を含む制約言語を設計した。次に,数値的制約とともに翻訳されたストリング制約を二相試験生成手順によって解明した。第一に,部分解を位置変数の演算制約を満たすために得て,この解法を用いて,純粋な特性配列制約条件にストリング制約を単純化した。第二に,純粋なアレイ制約を,オフザシェルアレイ固有理論に基づく制約ソルバにより解いた。著者らは,ストリングテストケースの生成をサポートするために,自動化試験ツールにアプローチを統合して,次に実験を実行した。実験の結果は,提案したアプローチの統合が既存の試験ツールの試験範囲を促進し,統合ツールが既存のストリングソルバと比較して特定のストリング操作機能を扱う利点を有することを証明した。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 文字列 ,  演算 ,  プログラム解析 ,  データ型 ,  簡素化 ,  *自動化 ,  言語 ,  オブジェクト指向言語
準シソーラス用語： 表現力 ,  ソルバ , 【Automatic Indexing@JST】

分類 (1件)： 人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 関数 ,  自動化 ,  制約解法