文献

J-GLOBAL ID：202202294459471308   整理番号：22A0991850

Petriネット到達分析に基づくコード探索手法【JST・京大機械翻訳】

Code Search Method Based on the Reachability Analysis of Petri Nets

著者 (4件)： Ding Xueer (寧波大学信息科学与工程学院 浙江寧波315211) ,  Niu Jun (寧波大学信息科学与工程学院 浙江寧波315211;嵌入式系統与服務計算教育部重点実験室(同済大学) 上海201804) ,  Zhang Kaile (寧波大学信息科学与工程学院 浙江寧波315211) ,  Mao Xinyi (寧波大学信息科学与工程学院 浙江寧波315211)
資料名： Jisuanji Yanjiu yu Fazhan  (Jisuanji Yanjiu yu Fazhan)
巻： 59  号： 1  ページ： 236-250  発行年： 2022年 
JST資料番号： W0790A  ISSN： 1000-1239  CODEN： JYYFEY  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 既存の高品質ソースコードを再利用することはソフトウェア開発の効率とソフトウェア品質を高めることができる。現在、ユーザーによって提供される入力/出力対のマッチング判断はコードの意味検索の主要な方法の一つであるが、この方法は完全なコード行為を描写しにくく、しかも単入力タイプしか処理できない。本論文は,様々な形式のパターンマッチングのためのコード意味検索法を提案した。最初に,コードセット内の各コードセグメントにおけるデータオブジェクトの数とタイプの加工プロセスをPetriネットモデルに変換した。次に,ユーザの質問に含まれているデータタイプと数,出力データタイプなどの制約に基づいて,Petriネットの初期標識と目標標識を構築した。次に,Petriネットにおける到達可能グラフと誘発ネットワーク分析を通して,対応する到達可能な経路が存在するかどうかを判断して,コードマッチングの基底を得た。解析と実験は,この方式が,入力/出力型マッチングの符号探索を効果的に実現でき,従来のマッチング法と比較して,検索精度と効率を明らかに改善できることを示した。Data from Wanfang. Translated by JST.【JST・京大機械翻訳】

シソーラス用語： グラフ ,  データ ,  モデル ,  利用者 ,  *Petriネット ,  再利用 ,  パターンマッチング ,  ソフトウェア開発 ,  データ型 ,  *捜索
準シソーラス用語： ネットワーク解析 ,  高品質 ,  検索精度 ,  ソースコード ,  ソフトウェア品質 , 【Automatic Indexing@JST】

分類 (2件)： 計算機網  (JC03000K) ,  図形・画像処理一般  (JE04010I)

タイトルに関連する用語 (4件)： Petriネット ,  分析 ,  探索 ,  手法