Yoshihiro Kita

Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs

It takes much time to find the cause of a bug in debugging of programs. Finding the cause of a bug needs to comprehend a flow and data transitions in executing programs. It is difficult to grasp behavior in executing the programs whose behavior is unexpected by a bug. We propose a visualizing method of data transitions to support debugging for Java programs in order to improve efficiency of debugging by supporting to find the cause of a bug. We have implemented TVIS in order to confirm efficiency of the proposed method. The data transitions diagram is the most characteristic function of TVIS which shows the data transitions in executing programs as a table. It can show visually abnormal behavior: no data renewed at all, data abnormally renewed, and so on. Because abnormal behavior is detected in the data transitions diagram at first glance, it is useful for programmers in finding the cause of a bug. This paper shows that the method can support to find the cause of a bug.

Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net

It is difficult to implement the multi-threaded programs. The reason is that the behavior of each thread is non-deterministic. Also it is difficult to reproduce the situation in which an incident occurs. This paper proposes a supporting method for debugging to reproduce Java multi-threaded programs by visualizing the behavior of the programs with Petri-net. Moreover, we have confirmed the effectiveness of our method by implementing a tool.

Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification

In recent years, the software quality becomes more important because the system becomes large scale and high performance. In general, many defects are embedded in the upstream process of the software development. As one reason of the above, specifications include ambiguous description. As a means for writing specifications strictly, formal methods are proposed. By the way, as one of test design techniques, the decision table is proposed. 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.

Development of a Tool to Keep Consistency between a Model and a Source Code in Software Development Using MDA

This study improves efficiency of software development using MDA. This paper develops the tool that keeps consistency between a model and a source code in software development using MDA. The tool has two functions: (i) Generating a source code and (ii) Keeping consistency between a model and a source code. A simple ATM example is used in order to confirm effectiveness of the tool. The tool can reduce time and effort to keep consistency between models and a source code.

BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++

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.

Prototype of a Supporting Tool to Generate Testing Communication Diagram

This research has implemented a prototype of a supporting tool to generate testing communication diagram. The testing communication diagram helps a developer to understand where the software system is tested by a large quantity of test cases written in text, and it is generated by adding the information of test cases to communication diagram in UML (Unified Modeling Language). The implemented prototype can detect more efficiently deficiency and/or contradiction in communication diagram and/or test cases.

Prototype of a Decision Table Generation Tool from the Formal Specification

This research has implemented a prototype of a decision table generation tool from the specification (the formal specification) described in a formal specification language. This paper uses the formal specification description language VDM++ which is the lightweight formal methods VDM (Vienna Development Method) to write the formal specification. We applied some general specifications to the prototype, in order to evaluate its usefulness. As a result, the prototype has improved the efficiency in test design with formal methods.

TFVIS: a Supporting Debugging Tool for Java Programs by Visualizing Data Transitions and Execution Flows

TFVIS(transitions and flow visualization) can perform the visualization of data transitions and the visualization of execution flows. The visualization of data transitions shows the flow of variable renewals in executing programs. It becomes easier to grasp the behavior in executing the programs whose behavior is unexpected by a bug. The visualization of execution flows shows an entire flow of the execution. It is useful to select the part where users want the visualization of the data transitions.

Security Evaluation System for Android Applications Using User's Reviews and Permissions

Leakage of the important data in mobile terminals by mal-applications is becoming a serious threat. The users must be careful not to install mal-applications. Application markets provide the application’s reviews and using permissions at the application downloading. However, the most of users check the reviews only. All users must be cautious about not only the using permissions but also the combination of them. In this paper, we propose a security evaluation system to prevent the installation of mal-applications on Android OS. This system indicates the user reviews with the using permission information of application to new users.

Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems

As the growth of network technology with high parallelism and high reliability of distributed systems, they have been widely adopted in the enterprise and society. But, how to design for testing the real-time or a communication delay of distributed systems is not been discussed much. This paper proposes a new method to automatically build Markov Chain Usage Model. The proposed method establishes the time points and builds a new UML diagram which can test the communication delay of a distributed system to improve its reliability. We have confirmed the usefulness of the proposed method to adapt it to practical examples.