文献

J-GLOBAL ID：202002260638023251   整理番号：20A1752925

製品変異体におけるセキュリティ欠陥の発見のためのテスト生成【JST・京大機械翻訳】

Generating Tests for the Discovery of Security Flaws in Product Variants

著者 (3件)： Araujo Francisco (Universidade de Lisboa,LASIGE, Faculdade de Cie^ncias,Portugal) ,  Medeiros Iberia (Universidade de Lisboa,LASIGE, Faculdade de Cie^ncias,Portugal) ,  Neves Nuno (Universidade de Lisboa,LASIGE, Faculdade de Cie^ncias,Portugal)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2020  号： ICSTW  ページ： 133-142  発行年： 2020年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 自動車や列車のような工業製品は,多様で複雑な機能を実行する組込みシステムを統合する。このような機能は,ソフトウェアによってプログラム可能であり,それらの構成に必要な多数のパラメータを含み,市場多様化と顧客需要により増加している。さらに,工業製品は,異なるソフトウェア部品(成分)を集約して構築され,従って製品変異体を構成する。このような変動性を持つ製品バリアントは,特にセキュリティ脆弱性に関係するならば,適切に試験する必要がある。ファジィ化のような効率的な自動化テストアプローチが既に存在するが,ツールは,特定の機能を共有する次世代の製品変異体のセキュリティ試験の効率を高めるために,以前のテストキャンペーンからの結果を利用することができない。本論文では,以前のテストによって既にカバーされた機能を無視することができるアプローチを提示し,まだ確認されていないコードのブロックに,より重要である。利益は,反復不必要な作業を避けることであり,従って,新しい変異体における速度とカバレッジを増加させる。このアプローチをAFLファジィに基づくツールに実装し,異なるバージョンのプログラムセットで検証した。実験結果は,このツールが著者らの試験シナリオにおいてAFLより良く機能できることを示した。Copyright 2020 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 自動化 ,  自動車 ,  *ソフトウェア ,  多様化 ,  工業製品 ,  曖昧さ ,  セキュリティ ,  ソフトウェアコンポーネント ,  組込みシステム
準シソーラス用語： *テスト生成 ,  脆弱性 , 【Automatic Indexing@JST】

分類 (5件)： 図形・画像処理一般  (JE04010I) ,  音声処理  (JE05000E) ,  医用画像処理  (JE04020T) ,  符号理論  (ND02030R) ,  NMR一般  (BM07041R)

タイトルに関連する用語 (5件)： 変異体 ,  セキュリティ ,  欠陥 ,  発見 ,  テスト生成