权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Rigorous and Efficient Library Compatibility Verification Method based on Runtime Information Analysis of Used Functions

基于所用函数运行时信息分析的严谨高效的库兼容性验证方法

基本信息

批准号：
22K21279
负责人：
嶋利一真
金额：
$ 1.83万
依托单位：
Nara Institute of Science and Technology
依托单位国家：
日本
项目类别：
Grant-in-Aid for Research Activity Start-up
财政年份：
2022
资助国家：
日本
起止时间：
2022-08-31 至 2024-03-31
项目状态：
已结题

项目摘要

本年度は互換性検証技術の構築を目的として，テストの生成やその実行の比較を対象に研究を行った．テストの実行時情報を効率的に比較する手法として，実行トレースからマークル木を作成し効率的に差分を検知する手法に着目し，互換性検証を行う手法の実装を行っている．メソッド返り値のみに着目するトレースや引数に関連するトレースなど様々な選択があるのでこれらを順に検討している段階である．また，ライブラリに対するテストの生成については，テスト自動生成技術によって生成したテストからライブラリの入出力に関連する部分のみ抽出することで，実行コストを下げつつカバレッジを増加させる手法の実装を行っている．実行トレースの収集及びテスト生成の技術については目途がついてたので，両者を組み合わせた実装を行い，手法の実現を図っている段階である．二つのソースコードが同一の機能を有しているかを判定するための要素技術として，テスト対象に対して記号実行を用いてテストを自動生成し，実行結果の比較を行うフレームワークを作成した．ソースコードの類似度もフレームワークにて測定することで，難読化前後の同機能を持つソースコードの信頼性の評価に用いることが可能となった．また，互換性検証を幅広く展開するために，類似した機能の対応付けも重要な項目となる．そのため，2つの類似するWebアプリケーションに対して，類似する機能の対応関係の抽出を行い，変更差分をもとに機能の対応付けを行う技術についても実現し，UIが異なるアプリケーションでも機能の対応付けが可能であることを確認した．

For the purpose of this year's mutual exchange of technology and technology, it is necessary to generate a comparative study of the performance of the company. the method of comparing the reporting rate of the bank, the method of comparing the rate of performance, and the method of differential knowledge of the rate of performance is in view of the eye. The gimmick of the interchangeability line, the line, The auto-generated technology system generates the input and output equipment of the automatic generation system. The part of the auto-generation system draws out the device, and then installs the device. The collection and the device of the auto-generating system are used to generate the data set and the device set. The operator organizes a partnership to install the equipment. In the same machine, it can be used to determine the elements of the technology, and the record mark is used to generate the information automatically. The results of the test are compared with each other. The accuracy of the test is similar to that of each other. Before and after the operation, the same machine can be used to verify the reliability of the data, and the data may be affected by each other. The type is as if the machine is able to pay for the important items, and the type 2 is as if the machine is responsible for drawing out of the bank, and the UI machine is responsible for the payment of important items. The type is similar to that of the machine, and the type is as if the machine is able to check out the bank.

项目成果

期刊论文数量（12）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

コード難読化ツールの信頼性を評価するフレームワークの検討

考虑评估代码混淆工具可靠性的框架

DOI：
发表时间：
2022
期刊：
影响因子：
0
作者：
Tetsuya Kitaoka;Yuichiro Kanzaki;Takashi Ishio;Kazumasa Shimari;Kenichi Matsumoto;北岡哲哉，神崎雄一郎，石尾隆，嶋利一真，松本健一
通讯作者：
北岡哲哉，神崎雄一郎，石尾隆，嶋利一真，松本健一

2つのWebアプリケーション間の類似する操作対象の対応関係抽出

提取两个Web应用之间相似操作目标之间的对应关系