OS8-3 Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-Net Shoichiro Kitano1, Tetsuro Katayama1, Yoshihiro Kita2, Hisaaki Yamaba1, Naonobu Okazaki1 (1University of Miyazaki, Japan) ( 2Kanagawa Institute of Technology, Japan) In multi-threaded programs, it is difficult to discover a cause of bugs. This paper proposes a supporting method using Petri-net for debugging so that programers can discover cause of bugs in multi-threaded programs written in Java language. Specifically, in order to give reproducibility to multi-threaded programs, the proposed method generates a data file for an execution path of a multi-threaded program, and simulates the behavior of the program by Petri-net based on the data file. However, ordinal Petri-net cannot express the behavior of multi-threaded programs written in Java completely. Therefore, we have extended Petri-net so that we can treat with the behavior of multi-threaded Java programs. In addition, we have confirmed validity of our method by having implemented a supporting tool. OS8-4 Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification Kenta Nishikawa1, Tetsuro Katayama1, Yoshihiro Kita2, Hisaaki Yamaba1, Naonobu Okazaki1 (1University of Miyazaki, Japan) (2Kanagawa Institute of Technology, Japan) As a means for writing specifications strictly, the formal methods are proposed. By the way, as one of the test design techniques, the decision table is proposed in the testing process of the software cycle. However, it takes much time and effort to extract test items and understand contents written on specifications in designing manually the decision table. This paper proposes a supporting method to generate a decision table from the formal specification in order to improve efficiency of the test design with formal methods. We have implemented a supporting tool to generate a decision table. It automatically generates a skeleton decision table from the formal specification. By using the tool, it is considered that the efficiency of the test design is improved.
OS8-3 Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-Net Shoichiro Kitano1, Tetsuro Katayama1, Yoshihiro Kita2, Hisaaki Yamaba1, Naonobu Okazaki1 (1University of Miyazaki, Japan) ( 2Kanagawa Institute of Technology, Japan) In multi-threaded programs, it is difficult to discover a cause of bugs. This paper proposes a supporting method using Petri-net for debugging so that programers can discover cause of bugs in multi-threaded programs written in Java language. Specifically, in order to give reproducibility to multi-threaded programs, the proposed method generates a data file for an execution path of a multi-threaded program, and simulates the behavior of the program by Petri-net based on the data file. However, ordinal Petri-net cannot express the behavior of multi-threaded programs written in Java completely. Therefore, we have extended Petri-net so that we can treat with the behavior of multi-threaded Java programs. In addition, we have confirmed validity of our method by having implemented a supporting tool. OS8-4 Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification Kenta Nishikawa1, Tetsuro Katayama1, Yoshihiro Kita2, Hisaaki Yamaba1, Naonobu Okazaki1 (1University of Miyazaki, Japan) (2Kanagawa Institute of Technology, Japan) As a means for writing specifications strictly, the formal methods are proposed. By the way, as one of the test design techniques, the decision table is proposed in the testing process of the software cycle. However, it takes much time and effort to extract test items and understand contents written on specifications in designing manually the decision table. This paper proposes a supporting method to generate a decision table from the formal specification in order to improve efficiency of the test design with formal methods. We have implemented a supporting tool to generate a decision table. It automatically generates a skeleton decision table from the formal specification. By using the tool, it is considered that the efficiency of the test design is improved.
Abstacts.docx