Art

J-GLOBAL ID：202002291437764129   Reference number：20A0658269

Formal Verification and Testing of Machine Learning Based Software Using Combination of Deductive and Inductive Development Methods

演繹的開発手法と帰納的開発手法の結合に基づく機械学習適用ソフトウェアの形式検証とテスト

Author (4)： KURUMA HIRONOBU (日立) ,  SATO NAOTO (日立) ,  NAKAGAWA YUICHIRO (日立) ,  OGAWA HIDETO (日立)
Material： 情報処理学会論文誌ジャーナル(Web)
Volume： 61  Issue： 2  Page： 407-416 (WEB ONLY)  Publication year： Feb. 15, 2020 
JST Material Number： U0452A  ISSN： 1882-7764  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *software development ,  *machine learning ,  *verification ,  *test ,  production process(control) ,  constraint satisfaction problem ,  evaluation
Semi thesaurus term： *software test ,  *formal verification ,  reliability assessment ,  constraint satisfaction problem

JST classification (2)： Computer system development  (JD02010R) ,  System programmings in general  (JD03010Y)

Reference (28)：

• Abrial, J.-R.: The B Book, Cambridge University Press(1996).
• Abrial, J.-R.: Modeling in Event-B, Cambridge University Press (2010).
• Amine, M., Delahaye, B. and Lanoix, A.: Movint from Event-B to Probabilistic Event-B, Proc. SAC 2017, pp.1348-1355 (2017).
• Chapman, R.: Correctness by Construction: A Manifesto for High Integrity Software, Proc. SCS 2005, pp.43-46 (2005).
• Chen, T.Y., Juo, F.-C., Tse, T.H. and Zhou, Z.Q.: Meta-morphic Testing and Beyond, Proc. 11th STEP, pp.94-100 (2004).

Terms in the title (7)： 演繹 ,  開発 ,  手法 ,  機械学習 ,  ソフトウェア ,  形式検証 ,  テスト