| Title: | OS6-3 Prototype of Test Cases Automatic Generation Tool BWDM Based on Boundary Value Analysis with VDM++ |
|---|---|
| Publication: | ICAROB2017 |
| Volume: | 22 |
| Pages: | 275-278 |
| ISSN: | 2188-7829 |
| DOI: | 10.5954/ICAROB.2017.OS6-3 |
| Author(s): | Hiroki Tachiyama, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Naonobu Okazaki |
| Publication Date: | January 19, 2017 |
| Keywords: | Software Testing, Boundary Value Analysis, Formal Methods, VDM++ |
| Abstract: | For software development using Formal Methods, we have developed a prototype of the boundary value test case automatic generation tool BWDM. The main two topics of our tool are (1) automatically generation of test cases and (2) boundary value analysis. Our tool improves the efficiency of software testing process in using VDM++ that is one of the Formal Methods. In this research, we show the composition of our tool, application example, evaluation of the usefulness, relative research, and future issues. |
| PDF File: | https://alife-robotics.co.jp/members2017/icarob/data/html/data/OS_pdf/OS6/OS6-3.pdf |
| Copyright: | © The authors. This article is distributed under the terms of the Creative Commons Attribution License 4.0, which permits non-commercial use, distribution and reproduction in any medium, provided the original work is properly cited. See for details: https://creativecommons.org/licenses/by-nc/4.0/ |
(c)2008 Copyright The Regents of ALife Robotics Corporation Ltd. All Rights Reserved.