文献

J-GLOBAL ID：201702232387455806   整理番号：17A1934598

記号実行制御システムの諸元ソルバのテストケース生成技術【JST・京大機械翻訳】

A Symbolic Execution Based Test Case Generation for Data- calculation Programs of Fire Control System

著者 (3件)： Li Chunguang (白城師范学院,吉林 白城,137000) ,  Zhou Xiaohong (長春職業技術学院,長春,130033) ,  Dong Longming (陸軍駐南京地区軍事代表室,南京,210000)
資料名： Huoli Yuzhihui Kongzhi  (Huoli Yuzhihui Kongzhi)
巻： 42  号： 7  ページ： 157-160  発行年： 2017年 
JST資料番号： C2930A  ISSN： 1002-0640  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 兵器制御システムは各種の兵器装置の中枢と脳として、武器システムの運行を制御し、その有効性は射撃の成否や兵器システムの総合的な効果に直接関係している。諸元のプログラムは様々な入力条件を弾道モデルにより何度も繰り返し射撃諸元に変換し、その複雑性のため、現在のソフトウェアテストケースはいくつかのポイントで検証を行うだけで、プログラムのすべての分枝とルートをカバーすることが難しく、テストが不十分である。この問題に対して、記号実行に基づいた自動生成技術を提案し、解弾道方程式の制約条件とプログラム分岐制御変数を用いて、記号実行フレームワーク内ですべての実行可能な実行経路をカバーでき、テストの十分性を保証した。Data from Wanfang. Translated by JST【JST・京大機械翻訳】

シソーラス用語： 兵器 ,  *制御系
準シソーラス用語： 制御変数 ,  自動生成 ,  複雑性 ,  射撃 ,  *テストケース生成 ,  *ソルバ , 【Automatic Indexing@JST】

著者キーワード (4件)： fire control system ,  data-calculation programs ,  symbolic execution ,  test case generation

分類 (2件)： その他のオペレーションズリサーチの手法  (KA03070E) ,  グラフ理論基礎  (IA02020S)

タイトルに関連する用語 (4件)： 記号 ,  制御システム ,  ソルバ ,  テストケース生成