文献

J-GLOBAL ID：201602212966799514   整理番号：15A1255321

ソフトウェアテスト品質のソフトウェア試験発達過程モデルと成長【Powered by NICT】

Software testing evolution process model and growth of software testing quality

著者 (3件)： He Zhitao (School of Computer Sci. and Engineering, Beihang Univ., Beijing) ,  Liu Chao (School of Computer Sci. and Engineering, Beihang Univ., Beijing) ,  Yan Haihua (School of Computer Sci. and Engineering, Beihang Univ., Beijing)
資料名： Science China. Information Sciences  (Science China. Information Sciences)
巻： 58  号： 3  ページ： 038101-1-038101-6  発行年： 2015年 
JST資料番号： C2579A  ISSN： 1674-733X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 英語 (EN)

抄録/ポイント： ソフトウェア試験の形式的定義に関する研究に基づいて,生物進化の遺伝/変異と適応動力学方程式に関連した。試験バージョンにおける遺伝/変動とソフトウェア試験進化の駆動力に対する形式的記述を確立して,ソフトウェアテスト進化プロセスモデル(STEPM)が得られた。モデルに基づいて,ソフトウェアテスト品質の重要な因子を同定し,ソフトウェアテスト品質フレームワーク(STQF)を目的とした。論文で得られた形式的モデルのシリーズは,広い開発前景とソフトウェア工学における新しい研究分野を開く,ソフトウェアテストの信頼性に関する研究を促進し,ソフトウェアテスト品質を評価し,プログラムにより実施された完全に自動化された試験のための形式的基礎を確立する方法を提供すると期待される。Data from the ScienceChina, LCAS. Translated by JST【Powered by NICT】

シソーラス用語： 生物進化 ,  自動化 ,  駆動力 ,  ソフトウェア工学 ,  遺伝 ,  形式記述 ,  *ソフトウェア ,  変異 ,  成長段階 ,  信頼性 ,  運動論的方程式 ,  *品質
準シソーラス用語： 研究分野 ,  プロセスモデル ,  *ソフトウェアテスト , 【Automatic Indexing@JST】

分類 (1件)： 数値計算  (JE02000J)

タイトルに関連する用語 (6件)： ソフトウェアテスト ,  ソフトウェア ,  試験 ,  発達過程 ,  モデル ,  成長