論文 - 片山 徹郎
-
Prototype of MixVRT Which Is a Visual Regression Testing Tool That Highlights Layout Defects in Web Pages 査読あり
Aridome Naoki, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
人工生命とロボットに関する国際会議予稿集 30 575 - 579 2025年2月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社ALife Robotics
As a method for detecting layout defects in web pages, image-based visual regression testing is proposed. However, it has the problem that it takes time to detect unintended layout differences that are not based on HTML code changes. This paper proposes a prototype of MixVRT which is a tool to detect layout defects in web pages. It is a visual regression testing tool that highlights layout defects in web pages. From evaluation experiments, the time find to layout defects can be reduced.
-
Proposal of a Method for Automatic Fill-in Fields Detection and for Labels Assignment to Generate Electronic Forms 査読あり
Kimura Yuya, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
人工生命とロボットに関する国際会議予稿集 30 580 - 584 2025年2月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社ALife Robotics
The digitalization of forms is being promoted. One of the effective ways to manage contents filled in fields is using electronic forms. Several tools have been developed to generate them automatically. However, when you use a paper form, the layout of the original form may change, and it takes time to generate electronic one because it is necessary to place fill-in fields on an electronic form by dragging with a mouse. This paper proposes a method for automatic fill-in fields detection and labels assignment to reduce time required to place fill-in fields without changing the layout. The proposed method can reduce the time to place fill-in fields.
-
Aridome N., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 575 - 579 2025年2月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
As a method for detecting layout defects in web pages, image-based visual regression testing is proposed. However, it has the problem that it takes time to detect unintended layout differences that are not based on HTML code changes. This paper proposes a prototype of MixVRT which is a tool to detect layout defects in web pages. It is a visual regression testing tool that highlights layout defects in web pages. From evaluation experiments, the time find to layout defects can be reduced.
-
Kakinoki K., Katayama T.
Lecture Notes in Electrical Engineering 1322 LNEE 375 - 384 2025年2月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Lecture Notes in Electrical Engineering
To extract important information from the document images, document layout analysis research has been carried out. Previous research analyzes document layouts only for specific document formats. This paper proposes a document layout analysis method that adopts pre-processing based on document image classification to analyze document layouts for various document formats. From the application examples, we have confirmed that the proposed method can correctly analyze document layout by using training models trained for each document format. Furthermore, to evaluate the usefulness of the proposed method, we have compared the F score of the proposed method for document layout analysis using a single training model covering various document formats and using a training model generated for each document format. As a result, we have confirmed that our proposed method is useful in document layout analysis.
-
Kimura Y., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 580 - 584 2025年2月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
The digitalization of forms is being promoted. One of the effective ways to manage contents filled in fields is using electronic forms. Several tools have been developed to generate them automatically. However, when you use a paper form, the layout of the original form may change, and it takes time to generate electronic one because it is necessary to place fill-in fields on an electronic form by dragging with a mouse. This paper proposes a method for automatic fill-in fields detection and labels assignment to reduce time required to place fill-in fields without changing the layout. The proposed method can reduce the time to place fill-in fields.
-
Evacuation Support System for Tsunami Disasters that Considers Shelter Congestion 査読あり
Nishi H., Nabeyama K., Usuzaki S., Aburada K., Yamaba H., Katayama T., Park M., Okazaki N.
Lecture Notes in Electrical Engineering 1322 LNEE 51 - 62 2025年2月
掲載種別：研究論文（学術雑誌） 出版者・発行元：Lecture Notes in Electrical Engineering
When a tsunami occurs, an evacuation support system capable of providing information on evacuation routes and shelter locations would enable evacuations to be conducted more swiftly and safely. In previous research, a proposal was made for an evacuation support system using low-power, long-distance communication. However, a challenge arose when shelter locations reached full capacity, requiring information to be shared, which in turn necessitated redirection of evacuees to alternative shelters. Therefore, in this study, a method for sharing shelter congestion information at an earlier stage was developed. The method of sharing based on the remaining capacity of shelters increased evacuation completion by up to 29 evacuees in an evacuee population of 1000.
-
Extending BWDM to Support Various Types and Recursive Definitions in VDM++ Test Case Generation 査読あり
Takakura Shota, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Advances in Artificial Life Robotics 4 ( 3 ) 167 - 171 2025年
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
Generating test cases from VDM++ formal specifications, which help to eliminate ambiguities, is
both time-consuming and labor-intensive. To solve this problem, our laboratory has developed
BWDM, a tool for automatic test case generation from VDM++ specifications. However, the
original BWDM only supports integer types and cannot handle test cases for operations and
functions with recursive structures. To enhance BWDM's usefulness, this paper introduces
extensions to address these limitations. The results confirm that the extended BWDM can reduce
test case generation time compared to manual methods. -
画面遷移システムを対象としたVDM++仕様記述のための入力テンプレートと 変換ルールの提案 査読あり
高倉翔太, 片山徹郎
ソフトウェアエンジニアリングシンポジウム2024論文集 182 - 189 2024年9月
担当区分：責任著者 記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
iOSアプリ開発支援を目的としたソフトウェア可視化ツールRAGESSの試作 査読あり
翁長春樹, 片山徹郎
ソフトウェアエンジニアリングシンポジウム2024論文集 92 - 101 2024年9月
担当区分：責任著者 記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Onaga H., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Journal of Robotics, Networking and Artificial Life 10 ( 4 ) 336 - 341 2024年9月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Journal of Robotics, Networking and Artificial Life
It is difficult for mobile application developers to understand the structure of large and complex mobile applications. To support iOS application development, we proposed SwiftDiagram: a visualization of the static structure of Swift source code, and demonstrated its usefulness. To further support them, this paper has implemented RAGESS(Real-time Automatic Generation of SwiftDiagram System), which is a software visualization tool. RAGESS performs static analysis on Swift source code and automatically generates the corresponding SwiftDiagram whenever the target project build succeeds.
-
ASLA: Automatic Segmentation and Labeling by Deep Learning for Document Pictures 査読あり
Kakinoki K., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Journal of Robotics, Networking and Artificial Life 10 ( 4 ) 362 - 367 2024年9月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Journal of Robotics, Networking and Artificial Life
In this paper, we propose ASLA, a segmentation and label generation system for document pictures. ASLA reduces the duration needed for separating document pictures into areas and label generation. By using the application example, we have verified that ASLA operates properly. We have evaluated the usefulness of ASLA in regard to time and accuracy. We have assessed the efficacy of the rule-based area correction method. As a result, we have verified that ASLA is useful.
-
Usability improvement in color constancy CAPTCHA 査読あり
Usuzaki Shotaro, Yihan Wang, Aburada Kentaro, Yamaba Hisaaki, Takatsuka Kayoko, Katayama Tetsuro, Park Mirang, Okazaki Naonobu
IEICE Communications Express 13 ( 8 ) 331 - 334 2024年8月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人 電子情報通信学会
CAPTCHAs have traditionally been used to deter bots, but ensuring protection against machine learning attacks has become difficult. To tackle this problem, we proposed a CAPTCHA based on color constancy, a human cognitive ability that is difficult for machines to reproduce. Although this method achieved high attack resistance while maintaining usability compared to existing CAPTCHAs, the response time increased due to the color selection operation. To address this, we changed the task to a click-type format while keeping the original concept. Our experimental results show that our method matches the response times of existing CAPTCHAs without compromising attack resistance.
-
A Genetic Algorithm-based Approach for Design-level Class Decomposition 査読あり
Priyambadha B., Takahashi N., Katayama T.
International Journal of Advanced Computer Science and Applications 15 ( 4 ) 461 - 468 2024年4月
担当区分：最終著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：International Journal of Advanced Computer Science and Applications
Software is always changed to accommodate environmental changes to preserve its existence. While changes happen to the software, the internal structure tends to decline in quality. The refactoring process is worth running to preserve the internal structure of the software. The decomposition process is a suitable refactoring process for Blob smell in class. It tried to split up the class based on the context in order to arrange it based on each responsibility. The previous approach has been implemented but still leaves problems. The optimum arrangement of class cannot be achieved using the previous approach. The genetic algorithm provides the search mechanism to find the optimum state based on the criterion stated at the beginning of the process. This paper presents the use of genetic algorithms to solve the design-level class decomposition problem. The paper explained several points, including the conversion from class to the chromosome construct, the fitness function calculation, selection, crossover, and mutation. The results show that the use of a genetic algorithm was able to solve the previous problems. The genetic algorithm can solve the local optimum problem from the previous approach. The increment of the fitness function of the study case proves it.
-
Proposal of ASLA Which Is a Segmentation and Labeling Tool for Document Images Based on Deep Learning 査読あり
K. Kakinoki, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proceedings of International Conference on Artificial Life and Robotics 262 - 266 2024年2月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Extension to Support Types and Operation/Function Definitions in BWDM to Generate Test Case Tool from the VDM++ Specification 査読あり
S. Takakura, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proceedings of International Conference on Artificial Life and Robotics 257 - 261 2024年2月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Prototype of RAGESS Which Is a Tool for Automatically Generating SwiftDiagram to Support iOS App Development 査読あり
H. Onaga, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proceedings of International Conference on Artificial Life and Robotics 252 - 256 2024年2月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
An Improved Conversion Technique from EPNAT Models to VDM++ Specifications for Simulation of Abstract Software Behavior 査読あり
S. Matsumoto, R. Ishigami, T. Katayama, and T. Takagi
Proceedings of International Conference on Artificial Life and Robotics 248 - 251 2024年2月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Investigation of malware classification based on image representation 査読あり
H. Kawagoe, S. Usuzaki, K. Aburada, H. Yamaba, T. Katayama, M. Park, and N. Okazaki
Proc. 29th Int'l Sympo. on Artificial Life and Robotics 2024 (AROB 29th 2024) 29 929 - 931 2024年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
On an improvement of hand gesture recognition for realizing an s-EMG based user authentication using finger spelling 査読あり
H. Yamaba, N. Sawagashira, K. Aburada, T. Katayama, and N. Okazaki
Proc. 29th Int'l Sympo. on Artificial Life and Robotics 2024 (AROB 29th 2024) 29 933 - 938 2024年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Proposal of a DDoS Attack Detection Method Using the Communication Interval 査読あり
Iwasa K., Usuzaki S., Aburada K., Yamaba H., Katayama T., Park M., Okazaki N.
Lecture Notes in Electrical Engineering 1114 LNEE 165 - 174 2024年1月
掲載種別：研究論文（学術雑誌） 出版者・発行元：Lecture Notes in Electrical Engineering
As the scale of Distributed Denial of Service (DDoS) attacks has been escalating in recent years, the need for real-time detection of attacks has increased. Existing intrusion detection systems (IDSs) perform detection with a fixed window size (assumed to be in hours). In previous research, attack detection was performed by preparing windows of multiple sizes, selecting the appropriate window based on the state of the data, and using features learned in advance for that window size. Although this method yielded a high DDoS attack detection rate of 98.30%, it exhibited a considerable false-positive rate of 7.37%. The proposed method measures the communication intervals of identical packets within the window, identified as attack-related in the previous survey, and classifies those packets with an average communication interval below a set threshold as attacks. The experiment resulted in a 50.2% decrease in the false-positive rate.
-
Study of an Image-Based CAPTCHA that is Resistant to Attacks Using Image Recognition Systems 査読あり
Nishikawa S., Usuzaki S., Aburada K., Yamaba H., Katayama T., Park M., Okazaki N.
Lecture Notes in Electrical Engineering 1114 LNEE 175 - 184 2024年1月
掲載種別：研究論文（学術雑誌） 出版者・発行元：Lecture Notes in Electrical Engineering
In today’s digital age, image-based CAPTCHAs are increasingly vulnerable to attacks using annotation services, which tag images and classify images according to their contents, or reverse image search services. To prevent such attacks, an image-based CAPTCHA was proposed that takes advantage of the fact that humans can correctly recognize images containing many discontinuous points, while existing image recognition systems misrecognize them. However, this CAPTCHA proved susceptible to attacks using noise reduction filters. The objective of the present study is to create a CAPTCHA using images that are resistant to such filters. Images used in the new CAPTCHA were realized by increasing the proportion of lines forming discontinuous surfaces in images. Experimental results demonstrated a human recognition rate of 95.8%, with the image recognition systems successfully identifying only one image overall. Moreover, when a noise reduction filter was applied, the recognition rate was lower than those reported in previous studies.
-
テスト駆動開発における実装工程の継続的な支援を目的としたフレームワークの提案 査読あり
宮下 丈明, 片山 徹郎
宮崎大学工学部紀要 52 81 - 86 2023年10月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学工学部
TDD is a development methodology that brings us closer to better implementation and testing by repeating a series of steps: test design, implementation that satisfies the tests, and refactoring. In TDD, tests are executed too often, which is expected to improve software quality and find bugs early. On the other hand, one of the disadvantages of TDD is that too much time is wasted when test failures are repeated. This paper proposes a framework aimed at supporting the implementation steps in TDD. The proposed framework generates source code that passes tests while retaining refactoring by the developer. The prototyped framework reduced the time required for the implementation process by 94.22% and the generation time by 66.17% compared to manual work.
-
Development of keypads which use colors or shapes to prevent shoulder surfing 査読あり
Masuzawa R., Aburada K., Yamaba H., Katayama T., Okazaki N.
Artificial Life and Robotics 28 ( 4 ) 710 - 717 2023年8月
掲載種別：研究論文（学術雑誌） 出版者・発行元：Artificial Life and Robotics
In conventional smart phones and ATMs, a four-digit passcode is entered into a keypad, and the user confirms whether the passcode matches the keypad. However, there is a risk that a third party can easily steal the password by watching the code entry or analyzing the position of fingerprints left on the keypad. There are other solutions, such as biometric authentication or the use of special displays, but both of them are costly and difficult to implement. In this study, we propose a keypad that does not leave fingerprints on the screen, is low cost, and can be used to input passcodes without worry, even if someone is standing next to it. The proposed keypad uses cursors that are moved by directional keys to select numbers, making fingerprint analysis difficult. Because attackers do not know the color that the user has selected, they cannot know which cursor the user is moving. To verify the safety and convenience of this system, we conducted experiments on subjects in their 20 s and 50 s. The results showed that the average difference in authentication time from the conventional method was about 5 s, and the method was generally convenient. We conclude that our keypad system is secure, because no peeping attacks on a subject were successful in guessing the subject’s passcode.
-
テスト駆動開発における継続的な支援を目的としたフレームワークCATddの試作 査読あり
宮下 丈明, 片山 徹郎
ソフトウェアエンジニアリングシンポジウム2023論文集 144 - 153 2023年8月
担当区分：責任著者 記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Tsunami evacuation simulation considering road width in Aoshima district 査読あり
Nabeyama K., Usuzaki S., Aburada K., Yamaba H., Katayama T., Okazaki N.
Artificial Life and Robotics 28 ( 4 ) 779 - 788 2023年7月
掲載種別：研究論文（学術雑誌） 出版者・発行元：Artificial Life and Robotics
Japan is one of the countries in the world where natural disasters occur most frequently. Typhoons, earthquakes, tsunamis, volcanic eruptions, and many other natural disasters occur in Japan every year, and the risks are immeasurable. Japan is especially prone to earthquakes because of its location on the North American Plate, Eurasian Plate, Pacific Plate, and Philippine Sea Plate. Preparation for a Nankai Trough earthquake is one of the most important issues. A Nankai trough earthquake is predicted to occur with a probability of 70–80% within 30 years. Accordingly, a tsunami of more than 10 ms is expected to hit a wide area along the Pacific coast from the Kanto region to the Kyushu region, and the impact is expected to be significant. When a tsunami warning is issued, an evacuation support system that provides information on evacuation sites and routes enables faster and safer evacuation actions. In a previous study conducted in our laboratory, we proposed an evacuation support system using Low-Power Wide-Area communications and conducted a simulation to find ways to improve the evacuation support system. However, the simulation was insufficient in that it did not consider delays in evacuation completion time due to road congestion caused by limited road width, which can be expected in an actual disaster. In our current research, as an improvement to make the simulation more realistic for further developing our evacuation support system, we propose a simulation that considers road width. We examined how adoption of this simulation methodology would affect the simulation results by comparing simulations that did and did not consider road width. As a result, the proposed method showed a lower percentage of completed evacuations than the previous simulation, especially for children and the elderly. The reason for this result is that when evacuations begin simultaneously, crowding occurs as people all rush to evacuation centers. This congestion on the roads near evacuation centers prevents people from completing their evacuations. Such a phenomenon is expected to occur not only in simulations but also on actual roads. For this reason, our proposed simulation method that considers road width is a more realistic simulation. Since evacuations by car in the event of a disaster also occur, a future issue is to simulate car congestion as well. Furthermore, simulating what would happen if a disaster made a road impassable is also important.
-
Prototype of the Framework CATdd to Support Continuous Development in Test Driven Development 査読あり
Miyashita Takeaki, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Advances in Artificial Life Robotics 4 ( 1 ) 35 - 40 2023年6月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
TDD is a development methodology to improve software quality. In this study, we prototype the framework CATdd (Continuous Automated Test Driven Development), which supports continuous development with TDD. CATdd reduces the time of implementation step in TDD by generating new source code that passes tests using LLM. CATdd maintains consistency with other source code in the project by using existing source code and related source code to prompt. As a result of the evaluation experiments, the time for the implementation step in TDD was reduced by 94% for a simple task and by 56% for another more complex task. In conclusion, CATdd is useful to support continuous development.
-
Analysis of Self Determination Factors for Continuance Intention on Online Learning Management System 査読あり
Saputra Mochamad Chandra, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu, Wicaksono Satrio Agung
Journal of Robotics, Networking and Artificial Life 10 ( 1 ) 91 - 95 2023年6月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
The COVID-19 pandemic outbreak transformed the paradigm of the educational process. Many educational institutions, including the University, mainly the Faculty of Computer Science, Brawijaya University, have experienced success with learning through the Internet. The continuance intention factor for using an online learning management system is important to ensure learning sustainability. This study investigates continuance intention factor by using self determination model as a research model. The objective of this study is to find the factor factors affecting students' continuance intention toward online learning management systems. The proposed model is useful for investigating continuance intention factors. The study finds that intrinsic regulation, external regulation, identified regulation, and introjected regulation significantly positive impact on continuance intention in learning management systems. Finally, this study provides suggestions for the Faculty to improve the continuance intention of the student in using an online learning management system.
-
The Impact of Design-level Class Decomposition on the Software Maintainability 査読あり
Priyambadha B., Katayama T.
International Journal of Advanced Computer Science and Applications 14 ( 4 ) 405 - 413 2023年4月
担当区分：責任著者 掲載種別：研究論文（学術雑誌） 出版者・発行元：International Journal of Advanced Computer Science and Applications
The quality of the software's internal structure tends to decay due to the adaptation to environmental changes. Therefore, it is beneficial to maintain the internal structure of the software to benefit future phases of the software life cycle. A common correlation exists between decaying internal structures and problems like software smell and maintenance costs. Refactoring is a process to maintain the internal structure of software artifacts based on the smell. Decomposition of classes is one of the most common refactoring actions based on Blob smell performed at the source code level. Moving the class decomposition process to the design artifact seems to affect the quality and maintainability of the source code positively. Therefore, studying the impact of design-level class decomposition on source code quality and software maintainability is essential to ascertain the benefits of implementing design-level class decomposition. The metrics-based evaluation shows that the design-level class decomposition positively impacts the source code quality and maintainability with the rank biserial value is 0.69.
-
Tende I.G., Aburada K., Yamaba H., Katayama T., Okazaki N.
Agriculture (Switzerland) 13 ( 3 ) 2023年3月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Agriculture (Switzerland)
Prediction of crop yields is very helpful in ensuring food security, planning harvest management (storage, transport, and labor), and performing market planning. However, in Tanzania, where a majority of the population depends on crop farming as a primary economic activity, the digital tools for predicting crop yields are not yet available, especially at the grass-roots level. In this study, we developed and evaluated Maize Yield Prediction System (MYPS) that uses a short message service (SMS) and the Web to allow rural farmers (via SMS on mobile phones) and government officials (via Web browsers) to predict district-level end-of-season maize yields in Tanzania. The system uses LSTM (Long Short-Term Memory) deep learning models to forecast district-level season-end maize yields from remote sensing data (NDVI on the Terra MODIS satellite) and climate data [maximum temperature, minimum temperature, soil moisture, and precipitation (rainfall)]. The key findings reveal that our unimodal and bimodal deep learning models are very effective in predicting crop yields, achieving mean absolute percentage error (MAPE) scores of 3.656% and 6.648%, respectively, on test (unseen) data. This system will help rural farmers and the government in Tanzania make critical decisions to prevent hunger and plan better harvesting and marketing of crops.
-
VDM++仕様を対象としたテストケース自動生成ツールBWDMの適用範囲拡大による実用性の向上 査読あり
武藤 崇史, 片山 徹郎
ソフトウェアテストシンポジウム2023東京(JaSST'23 Tokyo)論文集 29 - 36 2023年3月
担当区分：責任著者 記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Miyashita T., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 347 - 351 2023年2月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
TDD is a development methodology that brings us closer to better implementation and testing by repeating a series of steps: test design, implementation that satisfies the tests, and refactoring. This paper proposes a framework aimed at supporting the implementation steps in TDD. The proposed framework generates source code that passes tests while retaining refactoring by the developer. The prototyped framework reduced the time required for the implementation process by 94.22% and the generation time by 66.17% compared to manual work.
-
Saputra M.C., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 352 - 356 2023年2月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
The outbreak of the COVID-19 pandemic changed the model of the learning process. Online learning became one of the best solutions for many educational institutions, including the University, especially the Faculty of Computer Science, Brawijaya University. The continuance intention factor for using an online learning management system is important to ensure learning sustainability. To understand students' continuance intention this study proposes self determination model as a research model to find the factors affecting students' continuance intention toward online learning management systems. The proposed model is useful for investigating continuance intention factors. The study finds that intrinsic regulation, external regulation, identified regulation, and introjected regulation significantly positive impact on continuance intention in learning management systems. Finally, this study provides suggestions for the Faculty to improve the continuance intention of the student in using an online learning management system.
-
Matsumoto S., Katayama T., Takagi T.
Proceedings of International Conference on Artificial Life and Robotics 339 - 342 2023年2月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
Extended Place/transition Net with Attributed Tokens (EPNAT) is one of formal modeling languages, and it enables system engineers to construct an executable and abstracted behavioral model of multiple software systems. In this paper, we propose an automated random simulation technique of an EPNAT model in order to detect failures in the model. In the simulation, input is randomly selected for model execution. When a constraint given for each system or multiple systems is violated through the model execution, a failure is revealed. The simulation is terminated by the detection of a failure or the satisfaction of a criterion focusing on the combination of marking, data writing and reading between different systems. A prototype tool of the simulation technique was developed and applied to a trial model to discuss its effectiveness. Two failures inserted into the trial model were successfully detected, and a few challenges were found in the experiment.
-
Muto Takafumi, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Robotics, Networking and Artificial Life 9 ( 3 ) 255 - 262 2022年12月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
The use of the formal specification description language VDM++ in software design can eliminate ambiguity in the specification. However, software testing after implementation is necessary even if the design uses VDM++, but manually generating test cases is labor-intensive and time-consuming. Therefore, our laboratory developed BWDM, which is an automatic test case generation tool for VDM++ specifications. However, BWDM is not very useful because it has three problems about its narrow scope of application. This paper solves the three problems and improves the usefulness of BWDM by expanding the scope of application of VDM++ definitions and adding a function to generate test cases for object states. In addition, we conducted a comparison experiment with manual test case generation and confirmed that BWDM can reduce work time.
-
空間データを共有するための新たな分散 MQTT システム Gamma の提案と実装 査読あり
上田 高寛, 片山 徹郎
宮崎大学工学部紀要 51 129 - 133 2022年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学工学部
In recent years, with improvements in the processing ability of smartphones, the performance of cameras and other sensors, and improvements in image processing technology, it has become possible to use smartphones to acquire spatial data such as the type and location of objects in real time. In order to use spatial data more effectively, it is necessary to share only the necessary spatial data among many applications in real time. Therefore, this paper proposes and implements Gamma, which is a new distributed MQTT system, to improve the usefulness of distributed MQTT systems for sharing spatial data. Gamma has added a new Manager to the system of previous research. By managing each node by Manager, new nodes can be added without stopping the system. In the experiment, it has been found that Gamma can process more messages than a single MQTT broker. It is confirmed that Gamma achieves scalability by increasing the number of Gateways and distributed MQTT brokers.
-
VDM++ 仕様を対象としたテストケース自動生成ツール BWDM における適用範囲の拡大のための機能拡張 査読あり
武藤 崇史, 片山 徹郎
宮崎大学工学部紀要 51 141 - 146 2022年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学工学部
One of the methods to eliminate the ambiguity of specifications in software design is to use formal methods. One of the formal specification description languages is VDM++. Software testing is necessary in using formal methods, but generating test cases manually is time-consuming and labor-intensive. Therefore, we developed BWDM, which is an automatic test case generation tool for VDM++ specifications, in our laboratory. However, the existing BWDM does not support type definition blocks and conditional expressions for invariant conditions, pre-conditions, and postconditions. Moreover, it cannot generate test cases for operation definitions that manipulate a state of objects. Therefore, to improve the usefulness of BWDM, this research extends BWDM to solve the above three problems. Consequently, it is confirmed that the extended BWDM can save about 17 minutes in generating test cases compared to test cases generation by hand
-
機械学習を用いた自然言語仕様書を対象としたVDM++ 仕様書のクラスとインスタンス変数定義の自動生成手法の提案 査読あり
菅 健将, 片山 徹郎
宮崎大学工学部紀要 51 135 - 140 2022年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学工学部
The natural language contains ambiguity, so specifications written in natural language can cause software bugs.VDM is one of the formal methods to write the specification without ambiguity. Writing VDM++ specification is difficult because it has a strict syntax and requires writing data types and system invariant conditions.Our laboratory proposed a method for automatically generating VDM++ specifications from natural language specifications using machine learning. However, the existing method is not useful because it only supports type definitions and constant definitions in the VDM++ specification. This paper proposes a method to generate classes and instance variable definitions in the VDM++ specification from natural language specification. The superordinate and subordinate relationships between words are quantified, and then they are used as new parameters for machine learning. It is confirmed that the proposed method has given more useful results than the existing method.
-
VDM++仕様書におけるクラスとインスタンス変数定義の機械学習を用いた生成手法の提案 査読あり
菅 健将, 片山 徹郎
ソフトウェアエンジニアリングシンポジウム2022論文集 79 - 88 2022年9月
担当区分：責任著者 記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Proposal of Gamma Which Is a Messaging Platform for Spatial Data 査読あり
Ueda Takahiro, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Robotics, Networking and Artificial Life 9 ( 2 ) 136 - 142 2022年9月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
This paper proposes Gamma, which is a messaging platform for spatial data. Gamma uses distributed MQTT system for spatial data sharing, and this paper aims to improve the usefulness of distributed MQTT system. In the experiment, it has been found that Gamma can process more messages than a single MQTT broker. It is confirmed that Gamma achieves scalability by increasing the number of Gateways and distributed MQTT brokers. Furthermore, it is confirmed that the efficiency of the distributed MQTT system can be improved by setting the responsibility area of Gateways.
-
Enhancement of Design Level Class Decomposition using Evaluation Process 査読あり
Priyambadha B., Katayama T.
International Journal of Advanced Computer Science and Applications 13 ( 8 ) 130 - 139 2022年8月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：International Journal of Advanced Computer Science and Applications
Refactoring on the design level artifact such as the class diagram was already done using the threshold-based agglomerative hierarchical clustering method, specifically class decomposition. The approach produced a better cluster based on the label name similarity of attribute and method. But, some problems emerge from the experiment result. The negative Silhouettes element still exist in the cluster. And, there is an unusable cluster that only consists of one attribute element. This paper has proposed the evaluation process to optimize the result of clustering. This evaluation process is an additional process that aims to move the negative Silhouettes element to the other cluster. The movement is also to get the better value of element Silhouettes value. The evaluation process can produce a better result for clusters. The clusters produced from the evaluation process have higher Silhouettes values. The average Silhouettes value is increased by about 40%. Ultimately, the result shows no unusable cluster as mentioned in the previous research.
-
Detection of Blob and Feature Envy Smells in a Class Diagram using Class's Features 査読あり
Priyambadha Bayu, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Robotics, Networking and Artificial Life 9 ( 1 ) 43 - 48 2022年8月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
Measuring the quality of software design artifacts is difficult due to the limitation of information in the design phase. The class diagram is one of the design artifacts produced during the design phase. The syntactic and semantic information in the class is essential to consider in the measurement process. Smell detection uses class-related information to detect the smell as an indicator of a lack of quality. Several classifiers use all information related to the class to prove how informative it for the smell detection process. The smell types that are a concern in this research are Blob and Feature Envy. The experiment using three classifiers (j48, Multi-Layer Perceptron, and Naïve Bayes) confirms that Blob smell detection utilizes the information successfully. On the other hand, Feature Envy still needs more elaboration. The average true positive rate by the classifiers is about 80.67%.
-
Proposal of a Method to Generate Classes and Instance Variable Definitions in VDM++ Specification by Using Machine Learning 査読あり
Suga Kensuke, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Advances in Artificial Life Robotics 2 ( 4 ) 189 - 194 2022年6月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
Writing VDM++ specifications is difficult. The existing method can automatically generate only type and constant definitions in VDM++ specification from natural language specification by using machine learning. This paper proposes a method to generate classes and instance variable definitions in VDM++ specification from natural language specification to improve the usefulness of the existing method. From the evaluation experiment by using F- values, it has been confirmed that the proposed method can improve the usefulness of the existing method.
-
空間データを対象とした分散MQTTシステムGammaの提案と実装
上田高寛, 片山徹郎
情報処理学会九州支部研究会(火の国情報シンポジウム2022) ( A21-5 ) 1 - 8 2022年3月
担当区分：責任著者 記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Design Level Class Decomposition using the Threshold-based Hierarchical Agglomerative Clustering 査読あり
Bayu Priyambadha, Katayama T.
International Journal of Advanced Computer Science and Applications 13 ( 3 ) 57 - 64 2022年3月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：International Journal of Advanced Computer Science and Applications
Refactoring activity is essential to maintain the quality of a software’s internal structure. It decays as the impact of software changes and evolution. Class decomposition is one of the refactoring processes in maintaining internal quality. Mostly, the refactoring process is done at the level of source code. Shifting from source code level to design level is necessary as a quick step to refactoring and close to the requirement. The design artifact has a higher abstraction level than the source code and has limited information. The challenge is to define new metrics needed in class decomposition using the design artifact's information. Syntactic and semantic information from the design artifact provides valuable data for the decomposition process. Class decomposition can be done at the level of design artifact (class diagram) using syntactic and semantic information. The dynamic threshold-based Hierarchical Agglomerative Clustering produces a more specific cluster that is considered to produce a single responsibility class.
-
Usuzaki S., Aburada K., Yamaba H., Katayama T., Mukunoki M., Park M., Okazaki N.
Artificial Life and Robotics 27 ( 1 ) 179 2022年2月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Artificial Life and Robotics
In the original publication of the article, on Figs. 4 and 5, “CNN” should read as “MLP”. In addition, under the section “4.2 Human and machine success rate”, on the paragraph “For evaluation of the machine success …”, in the following sentence “In the attack experiment, we applied the famous color …” CNN (Convolutional Neural Network) should be corrected as MLP (Multilayer perceptron). The correct sentence should read as “In the attack experiment, we applied the famous color constancy algorithm, Gray-World, Max-RGB, Gray-Edge [11], Second Derivative Gray-Edge, and MLP (Multilayer perceptron) to images that were saved in the experiment for the human success rate
-
Proposal of Gamma Which Is a Spatial Data Sharing Distributed MQTT System 査読あり
Ueda T., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 188 - 192 2022年1月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
This paper proposes Gamma, which is a new distributed MQTT system, to improve the usefulness of distributed MQTT systems for sharing spatial data. In the experiment, it has been found that Gamma can process more messages than a single MQTT broker. It is confirmed that Gamma achieves scalability by increasing the number of Gateways and distributed MQTT brokers. Furthermore, it is confirmed that the efficiency of the distributed MQTT system can be improved by setting the responsibility area of Gateways.
-
Proposal for a blockchain based agricultural input voucher system 査読あり
Tende I.G., Aburada K., Yamaba H., Katayama T., Okazaki N.
Artificial Life and Robotics 27 ( 3 ) 461 - 471 2022年1月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Artificial Life and Robotics
Most of the small-scale farmers in Tanzania can’t afford to buy quality agricultural inputs (fertilizers and seeds), therefore the Tanzanian government issues paper-based subsidy vouchers to farmers for buying the inputs at half price. However, challenges like misuse of the vouchers by some government officials (stealing and favoritism in allocation) and lack of trust (difficulty of verifying vouchers’ authenticity) have resulted into low crop productivity for the farmers and loss of government funds. To address this, we have developed agricultural input voucher system which stores and allocates digital subsidy vouchers to farmers in the Hyperledger Fabric blockchain network whose features like hashing and digital signature prevent misuse and ensure trust of the vouchers. Farmers access the digital vouchers through Short Message Service (SMS) in their mobile phones. Evaluation reveals that, the developed system is effective and meets performance demands of Tanzanian farmers. Also, Raft has better performance than Kafka consensus protocol.
-
Suga K., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 178 - 182 2022年1月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
Writing VDM++ specifications is difficult. The existing method can automatically generate type and constant definitions in VDM++ specification from natural language specification using machine learning. This paper proposes a method to generate classes and instance variable definitions in the VDM++ specification from natural language specification to improve the usefulness of the existing method. From the evaluation experiment by using F-values, it has been confirmed that the proposed method can improve the usefulness of the existing method.
-
Muto T., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 183 - 187 2022年1月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
Generating test cases from the VDM++ specification to eliminate ambiguity in the specification is labor-intensive and time-consuming. Therefore, our laboratory developed BWDM, which is an automatic test case generation tool for VDM++ specifications. However, BWDM is not very useful because it has three problems about its narrow scope of application. This paper extends BWDM to solve three problems. In addition, we conducted a comparison experiment with manual test case generation and confirmed a time saving of about 17 minutes.
-
リレーアタック耐性とボット耐性の両立を目指したインタラクティブな動画CAPTCHAの提案と評価 査読あり
油田 健太郎, 臼崎 翔太郎, 山場 久昭, 片山 徹郎, 椋木 雅之, 朴 美娘, 岡崎 直宣
情報処理学会論文誌 62 ( 12 ) 1864 - 1878 2021年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：[出版社不明]
Webサービスへの不正対策としてCAPTCHAが用いられている．CAPTCHAは，人間には容易に解答できるがコンピュータ（ボット）には困難な問題を出題し，正しい解答をした者を人間と判断するシステムである．CAPTCHAはリレーアタックと呼ばれるインターネット上の報酬に誘引された人間を利用してCAPTCHAを解読させる方法に対して脆弱である．そこで，本論文ではリレーアタックを行った場合に生じる通信遅延に着目し，リレーアタックでのCAPTCHAの解答を困難にすることを目指したCAPTCHA方式を提案する．提案手法は，連続的に移動するオブジェクトをマウスカーソルで追跡し，その追跡が成功していた時間が所与の値を超えているか否かで人間かボットかを判別する．提案手法を評価するために，リレーアタックの実験環境を構築して実験を行った．次に，自動プログラムを用いた攻撃に対しても評価を行った．その結果，提案手法はリレーアタックと自動プログラムを用いた攻撃に対してロバストな方式であることを明らかにした．
CAPTCHA can be used to protect Web services against unauthorized access. CAPTCHA is designed to detect automated programs (called bots) by requiring them to perform tasks that are easy for humans but difficult for automations. CAPTCHAs are vulnerable to relay attacks in which the challenges are relayed to remote human-solvers who hope for a reward. Our new CAPTCHA uses delay time between communications to prevent relay attacks. In our CAPTCHA, users have to recognize the target object from a number of randomly appearing decoy objects and tracks it with his/her mouse cursor. To pass the test, the user must track the target for a given amount of time. We constructed an experimental environment in which relay attack can be simulated, made a series of experiments in order to evaluate the performance of the proposed method. Next, we implemented an automated attack for applying to our CAPTCHA and evaluate its resistance to automated attacks. Our results showed the robustness of our proposed method against relay attack and automated attacks.DOI： 10.20729/00214230
-
Proposal for a crop protection information system for rural farmers in Tanzania 査読あり
Tende I.G., Aburada K., Yamaba H., Katayama T., Okazaki N.
Agronomy 11 ( 12 ) 2021年12月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Agronomy
Crop protection information, such as how to control emergent and outbreak crop diseases and pests, as well as the latest research, regulations, and quality control measures for pesticides and fertilizers, is important to farmers. Rural smallholder farmers in Tanzania have traditionally relied on government agricultural officers who visit them in their villages to provide this crop protection information. However, these officers are few and cannot reach all the farmers on time. This means that farmers fail to make critical farming decisions on time, which can lead to low crop productivity. In this study, we aim to provide farmers with reliable and instant crop protection information by developing a system based on the Short Message Service (SMS) and the Web. This system automatically replies to farmers’ requests for the latest crop protection information in the Swahili language through SMS on a mobile phone or a Web system. The findings reveal that our proposed system can provide farmers with crop protection information at lower cost (500 times cheaper) than the existing Tigo Kilimo system. Furthermore, our proposed system’s deep learning model is effective in understanding and processing Swahili natural language SMS queries for crop protection information with an accuracy of 96.43%. This crop protection information will help farmers make better critical farming decisions on time and improve crop productivity.
-
Performance Evaluation of Blockchain Based Agricultural Input Voucher System 査読あり
Tende I.G., Aburada K., Yamaba H., Katayama T., Okazaki N.
2021 IEEE 10th Global Conference on Consumer Electronics, GCCE 2021 637 - 638 2021年10月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：2021 IEEE 10th Global Conference on Consumer Electronics, GCCE 2021
Large portion of rural small-scale farmers in Tanzania can't afford to buy quality agricultural inputs (fertilizers and seeds), therefore the government of Tanzania provides these farmers with paper-based subsidy vouchers which allow them to buy the agricultural inputs at only half price. However, challenges like misuse of the vouchers by some government officials (stealing and favoritism in vouchers' allocation) and lack of trust (difficulty of verifying vouchers' authenticity) have resulted into low crop productivity for the farmers and loss of government funds. In our previous work, we developed agricultural input voucher system which stores and allocates digital subsidy vouchers to farmers in the Hyperledger Fabric blockchain network and we evaluated its performance based on transaction throughput and latency metrics which are important to farmers, who access the system through Short Message Service (SMS) in their mobile phones. The blockchain network's features such as hashing and digital signature prevent misuse and ensure trust of the digital vouchers. In this paper, we evaluate performance of the developed blockchain network based on resources (CPU and memory) consumption metrics which are important in planning resources during system deployment. The evaluation findings reveal that, Raft consensus protocol consumes resources more efficiently than Kafka consensus protocol.
-
シーケンス図とJavaソースコード間のリアルタイムなトレーサビリティ維持のためのRETUSSの改良 査読あり
有馬 薫, 片山 徹郎
宮崎大学工学部紀要 50 213 - 218 2021年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学工学部
Ensuring traceability of software deliverables is one of the methods to ensure software quality. It has two problems: taking much labor and time, and causing mistakes by human handling. In order to solve them, our laboratory developed RETUSS (Real-time Ensure Traceability between UML and Source-code System). RETUSS ensures traceability between UML diagrams and source codes by synchronizing them to each other in real time. However, RETUSS is not useful in ensuring traceability between sequence diagrams and Java source codes because of its limited scope of application. This paper improves the usefulness of RETUSS by extending the scope of application of sequence diagrams and Java source codes. We have measured the time to ensure traceability between sequence diagrams and Java source codes both with the improved RETUSS and manually. The measurement results showed that the improved RETUSS could save 76.5% of the time when sequence diagrams are changed, and 69.0% of the time when Java source codes are changed. Therefore, the usefulness of RETUSS has been improved by extending its scope of application while retaining the benefits of the existing RETUSS.
-
UMLとJavaソースコード間のトレーサビリティを リアルタイムに維持するツールRETUSSの試作 査読あり
有馬 薫, 片山 徹郎
ソフトウェアエンジニアリングシンポジウム2021論文集 242 - 251 2021年9月
担当区分：責任著者 記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Extension of the Function to Ensure Real-time Traceability between UML Sequence Diagram and Java Source Code on RETUSS 査読あり
K. Arima, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, N. Okazaki
Journalof Advances in Artificial Life Robotics (JAALR) 2 ( 1 ) 254 - 258 2021年6月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Measuring test suite reusability based on the usage frequency and coverage of reused test cases 査読あり
Saputra M.C., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Journal of Robotics, Networking and Artificial Life 8 ( 1 ) 24 - 28 2021年6月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Journal of Robotics, Networking and Artificial Life
Test suite reusability measurement is important to obtain the value of reusability as the degree of effectiveness of reused test suite. The measurement in this experiment considers not only the frequency of the successful test suite to examine different objects but also the code coverage as the criteria of a good test suite. The combination of the frequency and code coverage in the measurement reports the current condition of test suite reusability. The research confirms the test suite reusability measurement provides useful information to know the degree of effectiveness of reused test suite, especially in regression testing and automated testing.
-
Measuring redundancy score for test suite evaluation by using test cases matching approach 査読あり
Saputra M.C., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Journal of Robotics, Networking and Artificial Life 8 ( 1 ) 1 - 5 2021年6月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Journal of Robotics, Networking and Artificial Life
Evaluating a test suite that contains redundant test cases is necessary to reduce the cost of testing. The redundant test cases exist when both of the two test cases are executed the same lines of code. This research evaluates the test suite by identifying redundant test cases. Exact match approach is used to investigate the redundant test cases in the test suite. The redundancy score is defined by redundancy formula which is calculated by dividing the number of redundant test cases by numbers of test cases in a test suite. The experiment uses two Java programs. The redundancy scores of the two test suites from each program are 0.37 and 0.67, respectively. It means 37% and 67% redundant test cases are included in the test suites. The redundancy score provides useful information to improve the efficiency of software testing, especially in testing other programs by reusing the same test suite such as regression testing and automated testing.
-
Proposal of a Method to Measure Test Suite Quality Attributes for White-Box Testing 査読あり
Saputra M.C., Katayama T.
International Journal of Advanced Computer Science and Applications 12 ( 5 ) 286 - 294 2021年5月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：International Journal of Advanced Computer Science and Applications
As an important asset in software testing, measuring quality attributes of the test suite is important to describe the quality of software. This research proposes a method to measure the test suite quality attributes for white-box testing. The attributes are usability, efficiency, reliability, functionality, portability, and maintainability that are selected from 28 attributes in software quality. By using the proposed method, the test suite quality attributes are calculated with various results of level of quality. The result of test suite quality attribute measurement then proves the validity of its result by the reliability analysis. It is used Cohen’s kappa coefficient to validating the result of test suite quality attributes measurement based on the level of agreement between the result of measurement and expert assessment. Reliability analysis on test suite quality attribute finds the attribute that strongly related based on the minimum percentage of level of agreement value are usability, reliability and functionality. Hence, our proposed method is useful to measure test suite quality attributes.
-
Development and evaluation of Swahili text based CAPTCHA 査読あり
Tende I.G., Aburada K., Yamaba H., Katayama T., Okazaki N.
LifeTech 2021 - 2021 IEEE 3rd Global Conference on Life Sciences and Technologies 293 - 297 2021年3月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：LifeTech 2021 - 2021 IEEE 3rd Global Conference on Life Sciences and Technologies
CAPTCHA (Completely Automated Public Turing test to tell Computers and Humans Apart) is a test used in computing to determine whether the user is human or not and can be used in websites to offer protection against malicious programs (bots) which run automated tasks such as posting fake comments. Most of the Swahili language based websites in Tanzania still use English language based CAPTCHAs such as Google’s reCAPTCHA v2 which has poor usability for native Swahili users and poor robustness. This paper proposes Swahili CAPTCHA which requires users to recognize and correctly spell the distorted and misspelled Swahili words. Evaluation findings reveal that Swahili CAPTCHA is easier to learn and use and has similar robustness compared to reCAPTCHA v2.
-
Proposal and evaluation for color constancy CAPTCHA 査読あり
Usuzaki S., Aburada K., Yamaba H., Katayama T., Mukunoki M., Park M., Okazaki N.
Artificial Life and Robotics 26 ( 3 ) 291 - 296 2021年3月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Artificial Life and Robotics
© 2021, International Society of Artificial Life and Robotics (ISAROB). CAPTCHAs are technologies that distinguish humans and bot to prevent illegal access. Unfortunately, current CAPTCHAs, even the latest Google reCAPTCHA, have already broken with high accuracy. Although the devices, including emphasizing the distortion of the text and adding noise to the image, improve the machine resistance, they may decrease the accessibility of the web page. The purpose of this study is to propose a new CAPTCHA that can decrease the machine resistance while keeping usability. To achieve this purpose, we focused on color constancy. Color constancy is a human’s characteristic that enables humans to recognize the original color of the object by ignoring the effects of illumination light. Color constancy has not been fully reproduced by the program yet. We proposed color constancy CAPTCHA that the user is required to answer an original color of the object in a specified area on the CAPTCHA image with a color filter. In this paper, we created a prototype of CAPTCHA, applied two kinds of color filters, and then evaluated each case for the human success rate, machine success rate, and usability.
-
Identification of Redundant Test Cases by Using Similarity Measurement Method for Test Suite Evaluation 査読あり
Mochamad Chandra Saputra, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Journalof Advances in Artificial Life Robotics (JAALR) 1 ( 4 ) 186 - 191 2021年3月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Utilizing the Similarity Meaning of Label in Class Cohesion Calculation 査読あり
Bayu Priyambadha, Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Journal of Robotics, Networking and Artificial Life 7 ( 4 ) 270 - 274 2021年3月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Journal of Robotics, Networking and Artificial Life
© 2020 The Authors. Published by Atlantis Press B.V. This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/). The natural language includes ambiguous expressions. Vienna Development Method (VDM) is one of methodology on the formal methods to write the specification without ambiguity. Because VDM++ is written by strict grammar, it is difficult to write a VDM++ specification. This research attempts to generate a VDM++ specification automatically from a natural language specification by machine learning. To generate a VDM++ specification, it is necessary to extract words that consist of predicate corresponding to the function and nouns corresponding to variable from the natural language specification. This paper proposes an approach to generate a VDM++ specification based on its grammar from the classified word list. Identifiers are generated from the classified word list, and then the VDM++ specification can be generated by converting them into VDM++ grammar.
-
Improvement of RETUSS to Ensure Traceability between Sequence Diagram in UML and Java Source Code in Real Time 査読あり
Arima Kaoru, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
ICAROB 2021: PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS 352 - 355 2021年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
The Seven Information Features of Class for Blob and Feature Envy Smell Detection in a Class Diagram 査読あり
Bayu Priyambadha, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
ICAROB 2021: PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS 348 - 351 2021年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Test Suite Reusability Measurement Based on Uses Frequently and Coverage of Reused Test Cases 査読あり
Mochamad Chandra Saputra, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
ICAROB 2021: PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS 344 - 347 2021年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Identification of Redundant Test Cases by Using Similarity Measurement Method for Test Suite Evaluation 査読あり
Saputra Mochamad Chandra, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Advances in Artificial Life Robotics 1 ( 4 ) 187 - 192 2021年
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
Evaluating the test suite that contains redundant test cases is necessary to ensure the efficiency of the testing and reducing the cost of testing. The principle of redundant test cases on this research is any test cases on a similar path executed with a similar high value of normalized Euclidean distance. The first, the similarity calculated between the test cases and path coverage uses Euclidean distance. The value of the Euclidean distance on the test case with the lowest value of distance indicating highly similar and possibly executing similar lines of code. The normalized Euclidean distance is using to normalize the value from Euclidean distance result. The experiment uses two java programs. Each redundancy score is 0.37 and 0.67, respectively. It means 37% and 67% of the test cases should be avoided because there are inefficiency test cases on the test suite. The research confirms redundant test cases can be identified by Euclidean distance and normalized Euclidean distance to evaluate the test suite.
-
Extension of the Function to Ensure Real-time Traceability between UML Sequence Diagram and Java Source Code on RETUSS 査読あり
Arima Kaoru, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Journal of Advances in Artificial Life Robotics 2 ( 1 ) 37 - 41 2021年
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：株式会社 ALife Robotics
Ensuring traceability of software deliverables is one of the methods to ensure software quality. RETUSS (Real-time Ensure Traceability between UML and Source-code System) is a tool that saves labor and time, and eliminates mistakes by human handling in ensuring traceability between UML and source code. However, RETUSS is not useful due to its limited scope of application. This paper improves the usefulness of RETUSS by extending the function to ensure real-time traceability between UML sequence diagrams and Java source code on RETUSS.
-
Katayama T., Shigyo Y., Kita Y., Yamaba H., Aburada K., Okazaki N.
Journal of Robotics, Networking and Artificial Life 7 ( 3 ) 165 - 169 2020年12月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Journal of Robotics, Networking and Artificial Life
© 2020 The Authors. Published by Atlantis Press B.V. This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/). The natural language includes ambiguous expressions. Vienna Development Method (VDM) is one of methodology on the formal methods to write the specification without ambiguity. Because VDM++ is written by strict grammar, it is difficult to write a VDM++ specification. This research attempts to generate a VDM++ specification automatically from a natural language specification by machine learning. To generate a VDM++ specification, it is necessary to extract words that consist of predicate corresponding to the function and nouns corresponding to variable from the natural language specification. This paper proposes an approach to generate a VDM++ specification based on its grammar from the classified word list. Identifiers are generated from the classified word list, and then the VDM++ specification can be generated by converting them into VDM++ grammar.
-
Code Coverage Similarity Measurement Using Machine Learning for Test Cases Minimization 査読あり
Saputra M.C., Katayama T.
2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020 287 - 291 2020年10月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020
© 2020 IEEE. Machine learning approach for minimizing the number of test cases on the test suite is an interesting research area on software testing. The research tries to minimize the number of test cases on the test suite by minimizing redundant test cases based on similarity classification. The Support Vector Machine, K-Nearest Neighbour, and Decision tree classify similar test cases by comparing the lines executed by test cases. The result has shown that the support vector machine is the highest score on accuracy and the lowest score on error rate comparing with K-Nearest Neighbour, and Decision tree. Minimize the redundant test cases increase the quality of the test cases, and reducing time on the testing process.
-
Priyambadha B., Katayama T.
2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020 280 - 284 2020年10月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020
© 2020 IEEE. In software engineering, abstracting the class information from XML based design artifact is important to analyze the design phase. The challenge of this research is the information is embedded inner the XML data structure and the target data is more than one and stored in a non-consecutive XML element position. This paper proposes a search algorithm over the XML file using the tree-based keyword as a composition of information. The experimentation confirms that the proposed algorithm can be used to collect all information that lies on the XML file by using the tree-based keyword consistently. The proposed algorithm's performance shows the linear growth rate of the execution time that inline with the growth of the number of lines. The tree-based keyword searching algorithm is promising used in the analysis of XML based software artifact.
-
Shigyo Y., Katayama T.
2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020 292 - 296 2020年10月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：2020 IEEE 9th Global Conference on Consumer Electronics, GCCE 2020
© 2020 IEEE. A natural language contains ambiguous expressions. The VDM++ is one of the methodotogies on the formal methods to write the specification without ambiguity. It is difficult to write a VDM++ specification, because VDM++ is written by strict grammar. This research proposes an approach to automatically generate the VDM++ specification by machine learning. This approach defines four data structures and has four processes. In this paper, variables and only real type in the VDM++ specification are generated automatically by this approach. In order to generate the variables and real type, it is necessary to extract the noun corresponding to the variable from the natural language specification. Consequently, our proposed approach can generate a VDM++ specification and we have confirmed that the generated VDM++ specification is grammatically correct.
-
機械学習を用いて自然言語仕様書から生成した分類リストを用いたVDM++仕様書生成アプローチの提案 査読あり
執行 泰弘, 片山 徹郎
宮崎大学工学部紀要 49 245 - 250 2020年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学工学部
Specifications are generally written in natural language. Natural language contains ambiguity. As a method of writing a specification without ambiguity, VDM which is a formal method exists. Because it is difficult to write specification languages such as VDM++ because they have strict grammars data types and system invariants that are not found in natural language specifications. This study attempts to generate automatically a VDM++ specification from the natural language specification by using machine learning. For automatic generation of VDM++, it is necessary to extract predicates corresponding to the function names and nouns corresponding to variable names from the natural language specification. However,it is difficult to generate a VDM++ specification by using only the extracted nouns and predicates. This paper proposes an approach to generate automatically a VDM++ specification from extracted words list. An identifier is generated from the extracted words, and the VDM++ specification can be generated by converting this identifier into a VDM++ grammar.
-
主観的輪郭を用いた回転3Dテキスト型CAPTCHAの提案 査読あり
臼崎翔太郎, 油田健太郎, 山場久昭, 片山徹郎, 椋木雅之, 朴美娘i, 岡崎直宣
電子情報通信学会論文誌 B J103-B ( 8 ) 332 - 343 2020年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：電子情報通信学会
テキスト型CAPTCHAは機械の攻撃精度が高く，実用には複雑な妨害が必要である．本研究では，主観的輪郭に着目し，複雑な妨害が必要ないテキスト型CAPTCHAを検討する．本手法では3D空間に縦か横に回転する3D文字を配置し，指定された向きに回転する文字を入力させる．3D文字は側面部のみが視認されるようにしており，人間は主観的輪郭の知覚により側面部分の形状から文字を判読できるが，機械には，配置位置や向きで異なる形状を同じ文字だと認識するのは困難である．また回転運動は，人間には文字認識の手がかりとなるが，機械には回転方向の機械的な認識も必要となる．評価実験の結果，人間成功率は0.91であり，既存のテキスト型CAPTCHAの平均成功率を4ポイント上回った．深層学習手法のCNNによる攻撃プログラムを作成し計1,000問のCAPTCHAに適用した結果，文字の認識率は0.930，機械成功率は0.618であり，今後は他の妨害を検討する必要があることが分かった．またユーザビリティ評価では回答時間とSUSを調査した．平均回答時間は21.4秒と既存手法よりも8.4秒長いが，SUSは73.3であり，画像型CAPTCHAと同等程度の高いユーザビリティを保持していることが分かった．
-
Considering the Semantic Approach to Assess the Class Cohesion 招待あり
Bayu Priyambadha, T. Katayama
Japan Symposium on Software Testing 2020 Tokyo (JaSST'20 Tokyo) 236 - 246 2020年3月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Test Case Redundancy Elimination Uses Similarity Measurement on Quality Assurance Testing 招待あり
Mochamad Chandra Saputra, T. Katayama
Japan Symposium on Software Testing 2020 Tokyo (JaSST'20 Tokyo) 224 - 235 2020年3月
担当区分：責任著者 記述言語：英語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Evaluation of Yubimoji Based Gestures for Realizing User Authentication Method Using s-EMG 査読あり
Yamaba H., Nagatomo Y., Usuzaki S., Takatsuka K., Aburada K., Katayama T., Park M., Okazaki N.
Advances in Intelligent Systems and Computing 1150 AISC 834 - 844 2020年3月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Advances in Intelligent Systems and Computing
© 2020, Springer Nature Switzerland AG. At the present time, since mobile devices such as tablet-type PCs and smart phones have penetrated deeply into our daily lives, an authentication method that prevents shoulder surfing attacks comes to be important. We are investigating a new user authentication method for mobile devices that uses surface electromyogram (s-EMG) signals, not screen touching. The s-EMG signals, which are generated by the electrical activity of muscle fibers during contraction, can be detected over the skin surface, and muscle movement can be differentiated by analyzing the s-EMG signals. Taking advantage of the characteristics, we proposed a method that uses a list of gestures as a password in the previous study. In order to realize this method, we have to prepare a sufficient number of gestures that are used to compose passwords. In this paper, we adopted fingerspelling as candidates of such gestures. We introduced manual kana of the Japanese Sign Language syllabary and selected the candidate gestures based on them. Their performances were evaluated by constructing their identifier using support vector machines.
-
Test Cases Redundant Elimination on Code Coverage Uses Distance and Correlation Measurement Method 査読あり
Mochamad Chandra Saputra, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Nanoubu Okazaki
PROCEEDINGS OF THE 2020 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB2020) 755 - 758 2020年1月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：ALIFE ROBOTICS CO, LTD
The Euclidean distance and correlation measured by comparing the line executed by the test case to find the similarity of the test cases. The test cases have the lowest value of distance means highly similar and possible executing a similar line or path. The research tries to eliminate redundant test cases based on that similarity. Several redundant test cases are eliminated to get the best test cases. By Euclidean distance, the research can eliminate a similar test case on the test suite.
-
The Measurement of Class Cohesion using Semantic Approach 査読あり
Bayu Priyambadha, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Nanoubu Okazaki
PROCEEDINGS OF THE 2020 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB2020) 759 - 762 2020年1月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：ALIFE ROBOTICS CO, LTD
The cohesion is one of the design quality indicators that can be measured by focusing on the correlation between elements inner the class. In Direct Distance Design Class Cohesion (D3C2) metrics, elements are assumed correlated if they have a similar type. In this research, the correlation between elements' inner class is not only based on type similarity but also on the meaning of the element's name. The results confirm that the value of cohesion increases in line with the similarity of meaning.
-
Identification of Manual Alphabets Based Gestures Using s-EMG for Realizing User Authentication 査読あり
Yamaba H., Usuzaki S., Takatsuka K., Aburada K., Katayama T., Park M., Okazaki N.
Lecture Notes on Data Engineering and Communications Technologies 47 323 - 333 2020年1月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Lecture Notes on Data Engineering and Communications Technologies
© 2020, Springer Nature Switzerland AG. At the present time, since mobile devices such as tablet-type PCs and smart phones have penetrated deeply into our daily lives, an authentication method that prevents shoulder surfing attacks comes to be important. We are investigating a new user authentication method for mobile devices that uses surface electromyogram (s-EMG) signals, not screen touching. The s-EMG signals, which are generated by the electrical activity of muscle fibers during contraction, can be detected over the skin surface, and muscle movement can be differentiated by analyzing the s-EMG signals. Taking advantage of the characteristics, we proposed a method that uses a list of gestures as a password in the previous study. In order to realize this method, we have to prepare a sufficient number of gestures that are used to compose passwords. In this paper, we adopted fingerspelling as candidates of such gestures. We introduced manual kana of the Japanese Sign Language syllabary and compared the identification performance of some candidate sets of feature values with adopting support vector machines.
-
Proposal of an Algorithm to Generate VDM++ by Using Words Extracted from the Natural Language Specification 査読あり
Yasuhiro Shigyo, Tetsuro Katayama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
PROCEEDINGS OF THE 2020 INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS (ICAROB2020) 763 - 766 2020年1月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：ALIFE ROBOTICS CO, LTD
The natural language includes ambiguous expressions. VDM is one of methodology on the formal methods to write the specification without ambiguity. Because VDM++ is written by strict grammar, it is difficult to write a VDM++ specification. This research attempts to generate a VDM++ specification automatically from a natural language specification by machine learning. To generate a VDM++ specification, it is necessary to extract words which consist of predicate corresponding to the function and nouns corresponding to variable from the natural language specification. This paper proposes an approach to generate a VDM++ specification from the extracted words list. Identifiers are generated from the extracted words list, and then the VDM++ specification can be generated by converting them into VDM++ grammar.
-
Evaluation of manual alphabets based gestures for a user authentication method using s-emg
Yamaba H., Usuzaki S., Takatsuka K., Aburada K., Katayama T., Park M., Okazaki N.
Advances in Intelligent Systems and Computing 1036 570 - 580 2020年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Advances in Intelligent Systems and Computing
© Springer Nature Switzerland AG 2020. At the present time, since mobile devices such as tablet-type PCs and smart phones have widely penetrated into our daily lives, an authentication method that prevents shoulder surfing attacks comes to be important. We are investigating a new user authentication method for mobile devices that uses surface electromyogram (s-EMG) signals, not screen touching. The s-EMG signals, which are generated by the electrical activity of muscle fibers during contraction, can be detected over the skin surface, and muscle movement can be differentiated by analyzing the s-EMG signals. Taking advantage of the characteristics, we proposed a method that uses a list of gestures as a password in the previous study. In order to realize this method, we have to prepare a sufficient number of gestures that are used to compose passwords. In this paper, we adopted fingerspelling as candidates of such gestures. We measured s-EMG signals of manual kana of The Japanese Sign Language syllabary and evaluated their potential as the important element of the user authentication method.
-
Blockchain-based malware detection method using shared signatures of suspected malware files
Fuji R., Usuzaki S., Aburada K., Yamaba H., Katayama T., Park M., Shiratori N., Okazaki N.
Advances in Intelligent Systems and Computing 1036 305 - 316 2020年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Advances in Intelligent Systems and Computing
© Springer Nature Switzerland AG 2020. Although rapid malware detection is very important, the detection is difficult due to the increase of new malware. In recent years, blockchain technology has attracted the attention of many people due to its four main characteristics of decentralization, persistency, anonymity, and auditability. In this paper, we propose a blockchain-based malware detection method that uses shared signatures of suspected malware files. The proposed method can share the signatures of suspected files between users, allowing them to rapidly respond to increasing malware threats. Further, it can improve the malware detection by utilizing signatures on the blockchain. In the evaluation experiment, we perform a more real simulation compared with our previous work to evaluate the detection accuracy. Compared with heuristic methods or behavior-based methods only, the proposed system which uses these methods plus signature-based method using shared signatures on the blockchain improved the false negative rate and the false positive rate.
-
The measurement of class cohesion using semantic approach 査読あり
Priyambadha B., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 2020 759 - 762 2020年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
The cohesion is one of the design quality indicators that can be measured by focusing on the correlation between elements inner the class. In Direct Distance Design Class Cohesion (D3C2) metrics, elements are assumed correlated if they have a similar type. In this research, the correlation between elements' inner class is not only based on type similarity but also on the meaning of the element’s name. The results confirm that the value of cohesion increases in line with the similarity of meaning.
-
Test cases redundant elimination on code coverage uses distance and correlation measurement method 査読あり
Saputra M.C., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 2020 755 - 758 2020年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
The Euclidean distance and correlation measured by comparing the line executed by the test case to find the similarity of the test cases. The test cases have the lowest value of distance means highly similar and possible executing a similar line or path. The research tries to eliminate redundant test cases based on that similarity. Several redundant test cases are eliminated to get the best test cases. By Euclidean distance, the research can eliminate a similar test case on the test suite.
-
Shigyo Y., Katayama T., Kita Y., Yamaba H., Aburada K., Okazaki N.
Proceedings of International Conference on Artificial Life and Robotics 2020 763 - 766 2020年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of International Conference on Artificial Life and Robotics
The natural language includes ambiguous expressions. VDM is one of methodology on the formal methods to write the specification without ambiguity. Because VDM++ is written by strict grammar, it is difficult to write a VDM++ specification. This research attempts to generate a VDM++ specification automatically from a natural language specification by machine learning. To generate a VDM++ specification, it is necessary to extract words which consist of predicate corresponding to the function and nouns corresponding to variable from the natural language specification. This paper proposes an approach to generate a VDM++ specification from the extracted words list. Identifiers are generated from the extracted words list, and then the VDM++ specification can be generated by converting them into VDM++ grammar.
-
On a user authentication method to realise an authentication system using s-EMG 査読あり
Yamaba H., Usuzaki S., Takatsuka K., Aburada K., Katayama T., Park M., Okazaki N.
International Journal of Grid and Utility Computing 11 ( 5 ) 725 - 734 2020年
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：International Journal of Grid and Utility Computing
© 2020 Inderscience Enterprises Ltd. To prevent shoulder-surfing attacks, we proposed a user authentication method using surface electromyogram (s-EMG) signals, which can be used to identify who generated the signals and which gestures were made. Our method uses a technique called 'pass-gesture', which refers to a series of hand gestures, to achieve s-EMG-based authentication. However, it is necessary to introduce computer programs that can recognise gestures from the s-EMG signals. In this paper, we propose two methods that can be used to compare s-EMG signals and determine whether they were made by the same gesture. One uses support vector machines (SVMs), and the other uses dynamic time warping. We also introduced an appropriate method for selecting the validation data used to train SVMs using correlation coefficients and cross-correlation functions. A series of experiments was carried out to confirm the performance of those proposed methods, and the effectiveness of the two methods was confirmed.
-
State transition tuple coverage criterion for extended place/transition net-based testing 査読あり
Takagi T., Kurozumi R., Katayama T.
Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2019-December 29 - 30 2019年12月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC
© 2019 IEEE. This paper shows a STT (State Transition Tuple) coverage criterion for extended place/transition net-based testing. A STT as a measuring object consists of state transitions whose execution may trigger a target failure. The test efficiency is evaluated based on the ratio of STTs executed by test cases.
-
Implementation of CAPTCHA suitable for mobile devices 査読あり
Aburada Kentaro, Usuzaki Shotaro, Yamaba Hisaaki, Katayama Tetsuro, Mukunoki Masayuki, Park Mirang, Okazaki Naonobu
IEICE Communications Express 8 ( 12 ) 601 - 605 2019年12月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人 電子情報通信学会
CAPTCHA is a technology designed to prevent automated programs (known as bots) from acquiring access to on-line accounts to send spam mail, manipulate vote numbers in on-line polls, or take other malicious actions. In addition, access to Web services has been incorporated into mobile devices, such as smartphones. However, because most CAPTCHAs are not designed for mobile devices, user-friendly CAPTCHA for mobile devices is required. Thus, we implemented CAPTCHA on mobile devices and evaluated its resistance to bots. Our CAPTCHA showed robustness against bots, with good usability.
-
An evaluation of the interactive video CAPTCHA method against automated attack 査読あり
Aburada Kentaro, Usuzaki Shotaro, Yamaba Hisaaki, Katayama Tetsuro, Mukunoki Masayuki, Park Mirang, Okazaki Naonobu
IEICE Communications Express 8 ( 12 ) 453 - 457 2019年12月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人 電子情報通信学会
CAPTCHA is designed to detect automated programs (called bots) by requiring them to perform tasks that are easy for humans but difficult for automations. CAPTCHAs are vulnerable to relay attacks in which the challenges are relayed to remote human-solvers. In our previous paper, we proposed an interactive video type CAPTCHA that is strongly resistant to relay attacks. However, a quantitative evaluation of resistance to automated attacks still has not been carried out. Herein, we implement an automated attack for applying to our CAPTCHA and evaluate its resistance to automated attacks. Our results show the robustness of our proposed method against mean shift algorithm.
-
Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification 査読あり
Tetsuro Katayama, Futa Hirakoba, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 6 ( 3 ) 143 - 147 2019年12月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
回路上の電圧値可視化による回路設計支援ツールADVISの開発 査読あり
西田 龍登, 片山 徹郎
組込みシステムシンポジウム2019論文集 1 - 4 2019年9月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Implementation of Tamias to Check Production Rules for Parsing Expression Grammar 査読あり
Tetsuro Katayama, Toshihiro Miyaji, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 6 ( 2 ) 123 - 127 2019年9月
-
VDM++仕様を対象としたテストケース自動生成ツールBWDMへのドメイン分析テストの適用 査読あり
平木場 風太, 片山 徹郎
ソフトウェアエンジニアリングシンポジウム2019論文集 ( 2019 ) 126 - 134 2019年8月
-
マルウェア検知システムにおけるブロックチェーンベースのマルウェア情報共有手法の検討
藤竜成, 臼崎翔太郎, 油田健太郎, 山場久昭, 片山徹郎, PARK Mirang, 白鳥則郎, 岡崎直宣
電子情報通信学会技術研究報告 119 ( 140(ISEC2019 12-61) ) 293‐298 2019年7月
-
VDM++仕様を対象としたテストケース自動生成ツールBWDMへのPICTの適用
平木場風太, 片山徹郎
宮崎大学工学部紀要 2019年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
回路設計支援を目的としたArduinoシミュレータADVISの現状と課題
西田龍登, 片山徹郎
宮崎大学工学部紀要 2019年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
解析表現文法を対象とした構文ファイルのチェックツールTamiasの開発
宮地俊宏, 片山徹郎
宮崎大学工学部紀要 2019年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
Introduction of Fingerspelling for Realizing a User Authentication Method Using s-EMG 査読あり
Hisaaki Yamaba, Shimpei Inotani, Shotaro Usuzaki, Kayoko Takatsuka, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Advances in Intelligent Systems and Computing 927 693 - 701 2019年3月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Advances in Intelligent Systems and Computing
© 2019, Springer Nature Switzerland AG. At the present time, mobile devices such as tablet-type PCs and smart phones have widely penetrated into our daily lives. Therefore, an authentication method that prevents shoulder surfing is needed. We are investigating a new user authentication method for mobile devices that uses surface electromyogram (s-EMG) signals, not screen touching. The s-EMG signals, which are detected over the skin surface, are generated by the electrical activity of muscle fibers during contraction. Muscle movement can be differentiated by analyzing the s-EMG. Taking advantage of the characteristics, we proposed a method that uses a list of gestures as a password in the previous study. In order to realize this method, we have to prepare many gestures that are used to compose passwords. In this paper, we adopted fingerspelling as candidates of such gestures. We measured s-EMG signals of manual kana of The Japanese Sign Language syllabary and examined their ability for the use of passwords of the authentication method.
-
Investigation on sharing signatures of suspected malware files using blockchain technology 査読あり
Fuji R., Usuzaki S., Aburada K., Yamaba H., Katayama T., Park M., Shiratori N., Okazaki N.
Lecture Notes in Engineering and Computer Science 2239 94 - 99 2019年3月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Lecture Notes in Engineering and Computer Science
© 2019 Turkiye Klinikleri Journal of Medical Sciences. All rights reserved. In recent years, the amount of new malware has been rapidly increasing. Because malware has an adverse effect on the Internet, upon which modern society is increasingly dependent, its detection is very important. In addition, blockchain technology has attracted the attention of many people in recent years due to its four main characteristics of decentralization, persistency, anonymity, and auditability. In this paper, we propose a system for sharing the signatures of suspected malware files using blockchain technology. The proposed system can share the signatures of suspected files between users, allowing them to rapidly respond to increasing malware threats. Further, it improves the accuracy of detection and removal of malware by utilizing signatures recorded by the blockchain. In the evaluation experiment, we created a prototype of the proposed system and investigated its effect on the accuracy of detection and removal of malware. Compared with heuristic methods or behavior-based methods only, the proposed system which uses these methods plus signature-based method using shared signatures on the blockchain improved the false negative rate by about 4% and the false positive rate by about 2.5%.
-
CHAMSIN: CaptcHA by caMouflaged StrINg 査読あり
Mukunoki Masayuki, Yamaba Hisaaki, Usuzaki Shotaro, Aburada Kentaro, Katayama Tetsuro, Park Mirang, Okazaki Naonobu
IEICE COMMUNICATIONS EXPRESS 8 ( 3 ) 55 - 60 2019年3月
-
Implementation of Arduino Simulator ADVIS Visualizing the Value of Voltage on the Circuit 査読あり
Tetsuro Katayama, Tatsumi Nishida, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life 5 ( 4 ) 249 - 252 2019年3月
-
Interactive Video CAPTCHA for Better Resistance to Automated Attack 査読あり
Shotaro Usuzaki, Kentaro Aburada, Hisaaki Yamaba, Tetsuro Katayama, Masayuki Mukunoki, Mirang Park, Naonobu Okazaki
2018 Eleventh International Conference on Mobile Computing and Ubiquitous Network 2019年2月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：2018 11th International Conference on Mobile Computing and Ubiquitous Network, ICMU 2018
© 2018 IPSJ. A 'Completely Automated Public Turing Test to Tell Computers and Humans Apart' (CAPTCHA) widely used online services so that prevents bots from automatic getting a large of accounts. Interactive video type CAPTCHAs that attempt to detect this attack by using delay time due to communication relays have been proposed. However, these approaches remain insufficiently resistant to bots. We propose a CAPTCHA that combines resistant to automated and relay attacks. In our CAPTCHA, the users recognize a moving object (target object) from among a number of randomly appearing decoy objects and tracks the target with mouse cursor. The users pass the test when they were able to track the target for a certain time. Since the target object moves quickly, the delay makes it difficult for a remote solver to break the CAPTCHA during a relay attack. It is also difficult for a bot to track the target using image processing because it has same looks of the decoys. We evaluated our CAPTCHA's resistance to relay and automated attacks. Our results show that, if our CAPTHCA's parameters are set suitable value, a relay attack cannot be established economically and false acceptance rate with bot could be reduced to 0.01% without affecting human success rate.
-
Tamias: a Syntax File Checker for Parsing Expression Grammar 査読あり
Miyaji Toshihiro, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Proceedings of International Conference on Artificial Life and Robotics (ICAROB2019) 169 - 172 2019年2月
-
Implementation of an Arduino Simulator to Support Circuit Design 査読あり
Nishida Tatsumi, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Proceedings of International Conference on Artificial Life and Robotics (ICAROB2019) 173 - 176 2019年2月
-
Development of Library Fescue Extracting Elements of Attributes and Operations of Class Diagram in UML 査読あり
Mori Keisuke, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Proceedings of International Conference on Artificial Life and Robotics (ICAROB2019) 165 - 168 2019年2月
-
Application of Pairwise Testing to Test Cases by Boundary Value Analysis in BWDM 査読あり
Hirakoba Futa, Katayama Tetsuro, Kita Yoshihiro, Yamaba Hisaaki, Aburada Kentaro, Okazaki Naonobu
Proceedings of International Conference on Artificial Life and Robotics (ICAROB2019) 161 - 164 2019年2月
-
Use of access characteristics to distinguish legitimate user traffic from DDoS attack traffic 査読あり
Kentaro Aburada, Yuki Arikawa, Shotaro Usuzaki, Hisaaki Yamaba, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
Artificial Life and Robotics 2019年1月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Artificial Life and Robotics
© 2019, International Society of Artificial Life and Robotics (ISAROB). Distributed denial of service attacks are a serious threat in the current information society, where the Internet plays an important role as infrastructure. We have been studying ways to mitigate these attacks using a method that distinguishes between legitimate users and attacks. Our previous method was not sufficient because it only analyzed access logs after the attack. In this study, we propose a new method that can distinguish between legitimate users and attacks while the services are running. When the IDS detects an attack, a quarantine server distinguishes legitimate users using access characteristics. The access characteristics are: (1) user follows links, (2) sender accessed a popular page, and (3) the sender’s current average transmission interval. Our experiments confirmed that the proposed method can distinguish between legitimate users and attacks.
-
RETUSS: Ensuring Traceability System between Class Diagram in UML and Java Source Code in Real Time 査読あり
Tetsuro Katayama, Keisuke Mori, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada and Naonobu Okazaki
Journal of Robotics, Networks and Artificial Life, Atlantis Press 5 ( 2 ) 114 - 117 2018年9月
-
Evaluation of User Identification Methods for Realizing an Authentication System Using s-EMG 査読あり
Hisaaki Yamaba, Kentaro Aburada, Tetsuro Katayama, Mirang Park, and Naonobu Okazaki
Advances in Network-Based Information Systems, Lecture Notes on Data Engineering and Communications Technologies, Springer 22 733 - 742 2018年9月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス） 出版者・発行元：Lecture Notes on Data Engineering and Communications Technologies
© 2019, Springer Nature Switzerland AG. At the present time, mobile devices such as tablet-type PCs and smart phones have widely penetrated into our daily lives. Therefore, an authentication method that prevents shoulder surfing is needed. We are investigating a new user authentication method for mobile devices that uses surface electromyogram (s-EMG) signals, not screen touching. The s-EMG signals, which are detected over the skin surface, are generated by the electrical activity of muscle fibers during contraction. Muscle movement can be differentiated by analyzing the s-EMG. Taking advantage of the caracteristics, we proposed a method that uses a list of gestures as a password in the previous study. In this paper, we employed support vector machines and attempted to improve the gesture recognition method by introducing correlation coefficient and cross-correlation. A series of experiments was carried out in order to evaluate the performance of the method.
-
UMLとソースコードの間でトレーサビリティをリアルタイムに維持するツールRETUSSの現状と課題
森敬介, 片山徹郎
宮崎大学工学部紀要 2018年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
Java プログラムのデータ遷移可視化ツール TFVIS の開発 査読あり
佐藤 拓弥、片山徹郎、喜多 義弘、山場久昭、油田健太郎、岡崎 直宣
情報処理学会論文誌 59 ( 4 ) 1137 - 1149 2018年4月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
ソフトウェア開発におけるデバッグは，手間のかかる工程である．プログラムの欠陥を効率良く特定するためには，プログラム実行時の挙動を把握することが重要である．しかし，プログラム実行時の挙動は一般的に不可視であり，その挙動がどこまで正しかったのかを把握することは困難である．そこで，本研究では，Javaプログラムのデバッグの効率化を目的として，プログラムの欠陥特定を支援するデータ遷移可視化ツールTFVIS（Transitions and Flow VISualization）を開発した．TFVISは，プログラム実行時のデータ遷移と実行フローの可視化を行う．評価実験では，TFVISを活用することで欠陥特定に要する時間を約35%削減できることを確認した．このことから，TFVISによる可視化がデバッグ効率の向上に効果的であるといえる．It takes much time in debugging process. To find bugs effectively, it's important to understand the dynamic behavior of programs. But it's difficult since the dynamic behavior of the program is generally invisible. To support understanding the dynamic behavior, we have developed TFVIS (Transitions and Flow VISualization). It provides visualization of data transitions and data flow of Java programs. In the evaluation experiment, we confirmed that by using TFVIS we can reduce the time required to identify defects by about 35%. Hence, it can be said that visualization by TFVIS is effective to improve debugging efficiency.
-
An examination of the interactive video CAPTCHA method to resist relay attack 査読あり
Tatsuda Ryohei, Aburada Kentaro, Yamaba Hisaaki, Katayama Tetsuro, Mukunoki Masayuki, Park Mirang, Okazaki Naonobu
IEICE Communications Express 7 ( 4 ) 136 - 141 2018年4月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人 電子情報通信学会
CAPTCHA is a kind of challenge response test, which is used to distinguish human users from malicious computer program such as bots. However, the attack technique called relay attack as a method to avoid the CAPTCHA has been devised. This attack relays the CAPTCHA challenges to remote human-solvers, let them to decode CAPTCHA challenges. We used delay time that is caused by communications needed in relay attack. Our new CAPTCHA uses this delay time between communications to prevent relay attacks. We constructed an experimental environment in which relay attack can be simulated, made a series of experiments in order to evaluate the performance of the proposed method.
-
Yamaba H., Kurogi T., Aburada K., Kubota S., Katayama T., Park M., Okazaki N.
Artificial Life and Robotics 23 ( 1 ) 87 - 93 2018年3月
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Artificial Life and Robotics
© 2017, ISAROB. At present, mobile devices such as tablet-type PCs and smart phones have widely penetrated into our daily lives. Therefore, an authentication method that prevents shoulder surfing is needed. We are investigating a new user authentication method for mobile devices that uses surface electromyogram (s-EMG) signals, not screen touching. The s-EMG signals, which are detected over the skin surface, are generated by the electrical activity of muscle fibers during contraction. Muscle movement can be differentiated by analyzing the s-EMG. Taking advantage of the characteristics, we proposed a method that uses a list of gestures as a password in the previous study. In this paper, we introduced support vector machines (SVM) for improvement of the method of identifying gestures. A series of experiments was carried out to evaluate the performance of the SVM based method as a gesture classifier and we also discussed its security.
-
A Study on a User Identification Method Using Dynamic Time Warping to Realize an Authentication System by s-EMG 査読あり
Tokiyoshi Kurogi, Hisaaki Yamaba, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Naonobu Okazaki
The 6th International Conference on Emerging Internet, Data & Web Technologies 17 889 - 900 2018年3月
-
An Examination of CAPTCHA for Tolerance of Relay Attacks and Automated Attacks 査読あり
Ryohei Tatsuda, Hisaaki Yamaba, Kentaro Aburada, Tetsuro Katayama, Mirang Park, Norio Shiratori, Naonobu Okazaki
The 6th International Conference on Emerging Internet, Data & Web Technologies 17 870 - 879 2018年3月
-
Implementation of RETUSS to Ensure Traceability between Class Diagram in UML and Java Source Code in Real Time 査読あり
K. Mori, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proceedings of International Conference on Artificial Life and Robotics (ICAROB2018) 522 - 525 2018年2月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Prototype of a Tool to Defect Specific Comments 査読あり
S. Tanoue, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proceedings of International Conference on Artificial Life and Robotics (ICAROB2018) 526 - 529 2018年2月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Negative Test Case Generation from an Extended Place/Transition Net-Based Mutants 査読あり
T. Takagi and T. Katayama
Proc. 2018 Int’l Conf. on Artifical Life and Robotics (ICAROB2018) 513 - 516 2018年2月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
A study on user identification method using cross-correlation and SVM to realize an authentication system by s-EMG 査読あり
T. Kurogi, H.Yamaba, K.Aburada, T.Katayama, M. Park, N.Okazak
International Symposium on Artificial Life and Robotics 462 - 467 2018年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Introduction of traffic characteristics to distinguish legitimate user traffic from DDoS attack traffic 査読あり
Y. Arikawa, H.Yamaba, K.Aburada, T.Katayama, M. Park, N.Okazak
International Symposium on Artificial Life and Robotics 484 - 489 2018年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Heuristic test case generation technique using extended place/transition nets 査読あり
Takagi T., Akagi A., Katayama T.
Studies in Computational Intelligence 727 103 - 115 2018年
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Studies in Computational Intelligence
© Springer International Publishing AG 2018. This paper shows a novel heuristic test case generation technique using an extended PN (place/transition net). A guard and action are introduced to improve the representation power of a PN. Also, a weight that represents the degree of testing priority is given to each transition of a PN. Our algorithm that heuristically searches the extended PN generates a specified number of feasible test cases that focus on parts of higher testing priority.
-
Evaluation of Index Poisoning Method in Large Scale Winny Network
Aburada Kentaro, Kita Yoshihiro, Yamaba Hisaaki, Katayama Tetsuro, Park Mirang, Okazaki Naonobu
ADVANCES IN INTERNET, DATA & WEB TECHNOLOGIES 17 999 - 1006 2018年
-
Development of a Monitoring System Based on Power Consumption 査読あり
Kentaro Aburada, Kengo Todaka, Hisaaki Yamaba, Tetsuro Katayama, Mirang Park, Norio Shiratori and Naonobu Okazaki
ADVANCES IN NETWORK-BASED INFORMATION SYSTEMS, NBIS-2017 7 363 - 372 2018年
-
Automated Generation of Decision Table and Boundary Values from VDM++ Specification 査読あり
H. Tachiyama, T. Katayama, and T. Oda
the 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering 95 - 103 2017年10月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++ 査読あり
Tetsuro Katayama, Hiroki Tachiyama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki
Journal of Robotics, Networking and Artificial Life 4 ( 2 ) 110 - 113 2017年9月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Development of a Tool for Extended Place/Transition Net-Based Mutation Testing and Its Application Example 査読あり
T. Takagi, S. Morimoto, and T. Katayama
Journal of Robotics, Networking and Artificial Life (JRNAL) 4 ( 2 ) 168 - 174 2017年9月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
VDM++仕様を用いたテストケース自動生成ツールBWDMにおけるif-then-else式の構造認識手法の提案 査読あり
立山博基, 片山徹郎
情報処理学会 ソフトウェアエンジニアリングシンポジウム2017(SES2017) 130 - 137 2017年8月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
VDM++仕様を用いたデシジョンテーブル自動生成ツール VDTableにおける複合条件式への対応 査読あり
黄一諾, 片山徹郎
情報処理学会 ソフトウェアエンジニアリングシンポジウム2017(SES2017) 175 - 181 2017年8月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
テストケース自動生成ツールBWDMの現状と課題
立山博基, 片山徹郎
宮崎大学工学部紀要 ( 46 ) 269 - 273 2017年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
Early Detection of Lung Cancer by Artificial Neural Network and Fuzzy Inference System
Khaing Zin Htwe, K. Yamamori, T. Katayama, and Tin Mar Kyi
宮崎大学工学部紀要 ( 46 ) 321 - 326 2017年7月
記述言語：英語 掲載種別：研究論文（大学，研究機関等紀要）
-
Improving Software Development in Business Operation Effectively Approached by CMMI
Hnin Thandar Tun, T. Katayama, K. Yamamori, and Khine Khine Oo
宮崎大学工学部紀要 ( 46 ) 285 - 289 2017年7月
記述言語：英語 掲載種別：研究論文（大学，研究機関等紀要）
-
例外処理を含むJavaプログラムへの適用を目的としたデータ遷移可視化ツールTFVISの拡張
佐藤拓弥, 片山徹郎
宮崎大学工学部紀要 ( 46 ) 279 - 283 2017年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
変数名に着目したリファクタリング支援ツールMCCの現状と課題
田上諭, 片山徹郎
宮崎大学工学部紀要 ( 46 ) 275 - 278 2017年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
VDM++仕様を対象にしたテストケース自動生成ツールBWDMにおける if式の構造認識に基づいたテストケース生成手法の提案 査読あり
立山博基, 片山徹郎
ソフトウェア・シンポジウム2017 (SS2017) 13 - 21 2017年6月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
ソースコードに存在する不適切なコメントの検出手法適用事例 査読あり
甲斐秀一, 田上諭, 片山徹郎
ソフトウェア・シンポジウム2017 (SS2017) 65 - 65 2017年6月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
ソースコードの品質向上を目的とした特定のコメントを検出するツール 査読あり
田上諭, 甲斐秀一, 片山徹郎
ソフトウェア・シンポジウム2017 (SS2017) 56 - 64 2017年6月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
例外処理を含むJavaプログラムを対象とした データ遷移可視化ツールTFVISの適用範囲の拡大 査読あり
佐藤拓弥, 片山徹郎, 水久保直哉, 田中伸英
ソフトウェア・シンポジウム2017 (SS2017) 28 - 35 2017年6月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
Evaluation of feature values of surface electromyograms for user authentication on mobile devices
Yamaba H., Kurogi A., Kubota S., Katayama T., Park M., Okazaki N.
Artificial Life and Robotics 22 ( 1 ) 108 - 112 2017年3月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Artificial Life and Robotics
© 2016, ISAROB.At the present time, mobile devices, such as tablet-type PCs and smart phones, have widely penetrated into our daily lives. Therefore, an authentication method that prevents shoulder surfing is needed. We are investigating a new user authentication method for mobile devices that use surface electromyogram (s-EMG) signals, not screen touching. The s-EMG signals, which are generated by the electrical activity of muscle fibers during contraction, are detected over the skin surface. Muscle movement can be differentiated by analyzing the s-EMG. In this paper, a method that uses a list of gestures as a password is proposed. And also, results of experiments are presented that was carried out to investigate the performance of the method extracting feature values from s-EMG signals (using the Fourier transform) adopted in this research. MyoTM, which is the candidate of s-EMG measurement device used in a prototype system for future substantiative experiments, was used in the experiment together with the s-EMG measuring device used in the previous research to investigate its performance.
-
Development of a Tool to Keep Consistency between a Model and a Source Code in Software Development Using MDA 査読あり
T. Katayama, Y. Kikkawa, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 3 ( 4 ) 231 - 235 2017年3月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Development of a Tool for Extended Place/transition Net-Based Mutation Testing 査読あり
T. Takagi, S. Morimoto, and T. Katayama
Proc. 2017 Int’l Conf. on Artifical Life and Robotics (ICAROB2017) 266 - 270 2017年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Automatically Business Decision Making System for Software Development by using CMMI 査読あり
Hnin Thandar Tun, T. Katayama, K. Yamamori, and Khine Khine Oo
Proc. 2017 Int’l Conf. on Artifical Life and Robotics (ICAROB2017) 288 - 291 2017年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Improvement of Transitions and Flow Visualization TFVIS for Exception Handling 査読あり
T. Sato, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. 2017 Int’l Conf. on Artifical Life and Robotics (ICAROB2017) 283 - 287 2017年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Prototype of Refactoring Support Tool MCC Focusing on the Naming of Variables 査読あり
S. Tanoue, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. 2017 Int’l Conf. on Artifical Life and Robotics (ICAROB2017) 279 - 282 2017年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Prototype of Test Cases Automatic Generation Tool BWDM Based on Boundary Value Analysis with VDM++ 査読あり
H. Tachiyama, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. 2017 Int’l Conf. on Artifical Life and Robotics (ICAROB2017) 275 - 278 2017年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Improvement of Decision Table Automatic Generation Tool VDTable for let in Statement 査読あり
Y. Huang, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. 2017 Int’l Conf. on Artifical Life and Robotics (ICAROB2017) 271 - 274 2017年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Automated lung nodule classification by artificial neural network and fuzzy inference system
Htwe K., Yamamori K., Katayama T., Kyi T.
2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016 2016年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016
© 2016 IEEE.Lung cancer is the most cause of death from all cancers being less survival rate according to various online cancer societies. The former medical studies showed that the early diagnosis of lung cancer with screening program is the way to decline mortality rate. Radiological examination takes a tremendous time and need many medical experts having a large number of images per patient. Consequently, the accuracy of examination results mainly depends on the skills of physicians. Computer-aided Detection (CAD) in radiology can provide a functional and advantageous way to physicians aiming at improving accuracy and assisting in early detection of cancer, saving the time of radiologists in exam evaluation of cancers. Our proposed CAD system has fulfilled these all tasks combining image processing and Artificial Neuro-Fuzzy Inference System (ANFIS); with 98% sensitivity of finding true lung nodules, 94.4% sensitivity and 85% accuracy of removing false detectives, and 87% sensitivity and 78% accuracy for cancerous nodules detection.
-
Business goals monitoring and control measures in CMMI
Tun H., Katayama T., Yamamori K., Oo K.
2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016 2016年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：2016 IEEE 5th Global Conference on Consumer Electronics, GCCE 2016
© 2016 IEEE.Business goals monitoring and control measures are important process to achieve the target of business systematically in specified business area or project. Monitoring and control provide business goals with a measurable index to align directly in a specific area or project. In this paper, we generate all of the business process improvement goals by Capability Maturity Model Integration (CMMI) model. This procedure that is used to establish the business goals of an effective business area or related project work scope applied by Goal Question Metric (GQM) approach. This approach will be defined all of the business process goals and measurable index to perform business operation functionality. The metric program framework that is used in this paper to generate the metric plan is described, followed by a complete metric plan, which includes GQM Analysis to monitor and control measurements of defined goals systematically.
-
VDM++仕様に対する境界値分析を用いたテストケース自動生成 査読あり
立山博基, 片山徹郎
ソフトウェアテストシンポジウム2016九州(JaSST'16 Kyushu) 32 - 32 2016年11月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
不吉な臭いがするコメントとその検出方法 査読あり
田上諭, 片山徹郎
ソフトウェアテストシンポジウム2016九州(JaSST'16 Kyushu) 32 - 32 2016年11月
記述言語：日本語 掲載種別：研究論文（研究会，シンポジウム資料等）
-
An Attempt to Use a Gesture Control Armband for a User Authentication System Using Surface Electromyograms 査読あり
H. Yamaba, K. Kurogi, S. Kubota, T. Katayama, M. Park, and N. Okazaki
The 21st International Sysmposium on Artifical Life and Robotics 2016 (AROB 21st 2016) 342 - 345 2016年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Development of a Tool to Keep Consistency between a Model and a Source Code in Software Development Using MDA 査読あり
Y. Kikkawa, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2016 Int'l Conf. on Artificial Life and Robotics (ICAROB 2016) 340 - 344 2016年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Proposal of an Authentication Method using Two Types of Machine Learning and Mouse Operation Trajectory 査読あり
Y. Kita, K. Aburada, T. Katayama, M. Park, and N. Okazaki
The 21st International Sysmposium on Artifical Life and Robotics 2016 (AROB 21st 2016) 346 - 349 2016年1月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Countermeasure against fingerprinting attack in Tor by separated contents retrieval
N. Okazaki, K. Toyoda, E. Yokoyama, H. So, T. Katayama, and M. Park
IEICE Communications Express 4 ( 12 ) 370 - 375 2015年12月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Prototype of a Decision Table Generation Tool from the Formal Specification 査読あり
T. Katayama, K. Nishikawa, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 2 ( 3 ) 205 - 208 2015年12月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
TFVIS: a Supporting Debugging Tool for Java Programs by Visualizing Data Transitions and Execution Flows 査読あり
T. Katayama, H. Nakamura, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 2 ( 3 ) 177 - 181 2015年12月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Winnyネットワークにおけるクラスタリングを用いたインデックスポイゾニングシステムの実相と評価
油田健太郎, 山場久昭, 片山徹郎, 朴美娘, 岡崎直宣
情報処理学会論文誌 56 ( 12 ) 2395 - 2405 2015年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
MDAを用いたソフトウェア開発におけるモデルとソースコード間の整合性維持ツールの試作 査読あり
吉川裕基, 片山徹郎
情報処理学会 ソフトウェアエンジニアリングシンポジウム2015(SES2015) 145 - 152 2015年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
MDAにおけるモデルの変更に対するソースコード修正手法の提案
吉川裕基, 片山徹郎
宮崎大学工学部紀要 ( 44 ) 203 - 208 2015年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
A Web-Based Software Testing Tool with Visualization for Java Programs
M. C. Saputra, T. Katayama, H. Suyono, and A. Basuki
宮崎大学工学部紀要 ( 44 ) 209 - 220 2015年7月
記述言語：英語 掲載種別：研究論文（大学，研究機関等紀要）
-
Code Coverage Visualization on Web-Based Testing Tool for Java Programs 査読あり
M. Chandra Saputra and T. Katayama
Journal of Robotics, Networking and Artificial Life (JRNAL) 2 ( 2 ) 89 - 93 2015年6月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Modification Method of a Source Code to Correspond with a Modified Model in MDA 査読あり
T. Katayama, Y. Kikkawa, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 2 ( 2 ) 135 - 139 2015年6月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal and Its Evaluation of Neighbors Based Routing for ad hoc networks 査読あり
K. Aburada, H. Yamaba, S. Kubota, T. Katayama, M. Park, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 2 ( 2 ) 120 - 124 2015年6月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
山場 久昭, 長友 想, 油田 健太郎, 久保田 真一郎, 片山 徹郎, 朴 美娘, 岡崎 直宣
情報処理学会研究報告. CSEC, [コンピュータセキュリティ] 2015 ( 32 ) 1 - 6 2015年5月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人情報処理学会
近年,スマートフォンやタブレットのようなモバイル端末の普及に伴い,覗き見によって認証に必要な情報が第三者に取得されてしまてしまうことが問題となってきている.これを解決する技術として,指紋などの生体情報を用いた生体認証が注目されている.本論文では,そのひとつである筋電位を用いた個人認証について検討を行う.具体的には,前腕部の筋電位の波形が手首から先の手の動き (ジェスチャー) によって異なる波形を示すことを利用し,そのジェスチャーを組み合わせてパスワードとして用いる手法を提案する.今回は,個人認証に用いる生体認証として筋電位が利用可能であるのか,筋電位の波形からジェスチャーを判断することができるのか,また,それを計算機上に行わせるのが可能かどうかについて検討を行ったので,報告する.
-
Prototype of a Supporting Tool to Generate Testing Communication Diagram 査読あり
T. Katayama, S. Urata, Y. Ogata, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 2 ( 1 ) 9 - 12 2015年4月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
An Authentication Method Independent of Tap Operation on the Touchscreen of a Mobile Device 査読あり
H. Yamaba, S. Nagatomo, K. Aburada, S. Kubota, T. Katayama, M. Park, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 2 ( 1 ) 60 - 63 2015年4月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
文字認識攻撃に耐性を持つランダム妨害図形を用いた画像ベースCAPTCHA方式の提案
田村 拓己, 久保田 真一郎, 油田 健太郎, 片山 徹郎, 朴 美娘, 岡崎 直宣
情報処理学会論文誌 56 ( 3 ) 808 - 818 2015年3月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人情報処理学会
ボットによるWebサービスの不正利用対策として，CAPTCHAと呼ばれる反転チューリングテストが利用されている．Webサイトへの導入のしやすさや回答方式の理解のしやすさから，文字列の画像を用いたCAPTCHA方式が広く普及している．しかし，ボットによる文字認識技術の発展が著しく，高い確率でテストが突破されるなど，その脆弱性が指摘されている．高度化するボットの文字認識技術に対抗し，解読難度を高くしたCAPTCHAや画像識別などの人間の高度な能力を利用するCAPTCHAが提案されているが，利便性が低いことや特定の攻撃に弱い点が問題となっている．本稿では，人間特有の画像認識能力を利用することで，利便性を保ち十分な堅牢性を持つ新たなCAPTCHA方式を提案する．提案手法は，判定に利用する提示画像に正答の文字列を含まないようにすることで文字認識攻撃に耐性を持たせた．また，提示画像には，人間が画像を補完して認識できる程度の妨害図形を付加し，堅牢性を向上させた．提案手法の有効性を確認するため，画像CAPTCHA方式において考えられる攻撃への耐性を考察し，利便性の評価としてアンケートによるユーザビリティ評価を行った．その結果，システム実装に必要な妨害図形の量に関する閾値を明らかにし，提案手法が攻撃に対して十分な耐性を持ち，ユーザビリティが優れていることを示した．A reversal turing test called CAPTCHA is used in many webservice sites to prevent the automatic program called bots from making unauthorized accounts. The CAPTCHA with images of correct answer string, called as the text-based CAPTCHA, is widely prevalent because of an ease implementing in the website. The optical character recognition technologies enable bots solve the text-based CAPTCHA automatically. Any researchers have pointed out the vulnerability of the text-based CAPTCHA. Absorbing the vulnerability of the text-based CAPTCHA, the image-based CAPTCHA is proposed, which use the human abilities to discern objects in images. However, the existing image-based CAPTCHAs also have problems about usability and robustness. In this paper, we propose a new image-based CAPTCHA using images without a correct answer string and with obstruction figures, to achieve high usability and robustness. In order to confirm a effectiveness of the proposed method, we argue to absorb some considerable attacks in the image-based CAPTCHA, and conduct assessment of usability through our questionnaire. The results show that the proposed system absorb the attacks adequately and has usability.
-
文字認識攻撃に耐性を持つランダム妨害図形を用いた画像ベース CAPTCHA方式の提案
田村拓己, 久保田真一郎, 油田健太郎, 片山徹郎, 朴美娘, 岡崎直宣
情報処理学会論文誌 56 ( 3 ) 808 - 818 2015年3月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs 査読あり
T. Katayama, S. Kitano, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 1 ( 4 ) 299 - 302 2015年3月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Prototype of a Decision Table Generation Tool from the Formal Specification 査読あり
K. Nishikawa, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 388 - 391 2015年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Modification Method of a Source Code to Correspond with a Modified Model in MDA 査読あり
Y. Kikkawa, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 384 - 387 2015年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Testing Method Using Similarity of Interleaving for Java Multi-threaded Programs 査読あり
S. Kitano, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 380 - 383 2015年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
TFVIS: a Supporting Debugging Tool for Java Programs by Visualizing Data Transitions and Execution Flows 査読あり
H. Nakamura, T. Katayama, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 376 - 379 2015年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Code Coverage Visualization on Web-Based Testing Tool for Java Programs 査読あり
M. Chandra Saputra and T. Katayama
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 372 - 375 2015年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Prototype of a Supporting Tool to Generate Testing Communication Diagram 査読あり
T. Katayama, S. Urata, Y. Ogata, Y. Kita, H. Yamaba, K. Aburada, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 368 - 371 2015年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Evaluation of Neighbors Based Routing for ad hoc networks 査読あり
K. Aburada, H. Yamaba, S. Kubota, T. Katayama, M. Park, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 335 - 339 2015年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
An Authentication Method for Mobile Devices that is Independent of Tap-Operation on a Touchscreen 査読あり
H. Yamaba, S. Nagatomo, K. Aburada, S. Kubota, T. Katayama, M. Park, and N. Okazaki
Proc. 2015 Int'l Conf. on Artificial Life and Robotics (ICAROB 2015) 327 - 330 2015年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Countermeasure against fingerprinting attack in Tor by separated contents retrieval
Okazaki Naonobu, Toyoda Kentaroh, Yokoyama Emiri, So Hirofumi, Katayama Tetsuro, Park Mirang
IEICE Communications Express 4 ( 12 ) 370 - 375 2015年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：The Institute of Electronics, Information and Communication Engineers
Tor (The Onion Router) realizes that anonymous web surfing without revealing the user's identity. However, A. Panachenko et al. reveals that an onion router that directly communicates with a user can infer which website a user accesses by leveraging site-specific traffic features, e.g., volume and time, and this attack is called the fingerprinting attack. In this paper, we propose a countermeasure against the fingerprinting attack by obfuscating site-specific traffic features. The idea is to establish two distinct Tor connections and to separately request text-based contents and image-based one through them. We show the effectiveness of our scheme with experiments.
-
Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-net 査読あり
T. Katayama, S. Kitano, Y. Kita, H. Yamaba, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 1 ( 3 ) 207 - 211 2014年12月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification 査読あり
T. Katayama, K. Nishikawa, Y. Kita, H. Yamaba, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 1 ( 3 ) 174 - 178 2014年12月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems 査読あり
T. Katayama, Z. Zhao, Y. Kita, H. Yamaba, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 1 ( 2 ) 120 - 124 2014年9月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs 査読あり
T. Katayama, H. Nakamura, Y. Kita, H. Yamaba, and N. Okazaki
Journal of Robotics, Networking and Artificial Life (JRNAL) 1 ( 2 ) 111 - 115 2014年9月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Javaプログラム実行時のデータ遷移可視化によるデバッグ支援 査読あり
中村紘人, 片山徹郎, 喜多義弘, 山場久昭, 岡崎直宣
情報処理学会 ソフトウェアエンジニアリングシンポジウム2014(SES2014) 125 - 130 2014年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
形式仕様を用いたデシジョンテーブル生成手法の提案 査読あり
西川拳太, 片山徹郎, 喜多義弘, 山場久昭, 岡崎直宣
情報処理学会 ソフトウェアエンジニアリングシンポジウム2014(SES2014) 39 - 44 2014年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Javaマルチスレッドプログラム向けの拡張ペトリネットを用いた実行の再現を利用したデバッグ支援ツールの試作
北野 翔一郎, 片山 徹郎
研究報告ソフトウェア工学（SE） 2014 ( 23 ) 1 - 8 2014年7月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人情報処理学会
マルチスレッドのプログラムはその実行の非決定性のために，バグを発見した時の状況を再現することが難しい．そのため，バグを発見した時のプログラムの挙動を，正確に把握するための情報を得ることが難しく，バグの原因の特定が困難になってしまう．そこで本論文では，ペトリネットを用いて Java 言語で書かれたマルチスレッドのプログラムの動作の可視化を行い，マルチスレッドのプログラムに再現性を持たせることでバグの原因の発見を支援する手法を提案する．従来のペトリネットではマルチスレッドの複雑な挙動を表現するには不十分である．そのため，本論文ではペトリネットの拡張も行う．提案手法を実現したツールを試作し，提案手法とツールの有効性を検証した．検証実験を行った結果は，本ツールを使用すると，本ツールを使用しない場合の約 33.6%の時間で，バグの原因を特定できた．このことから，本提案手法およびそれを実現したツールは，マルチスレッドプログラムのデバッグ作業効率を向上させることに有効であることがわかる．In multi-threaded programs, it is difficult to reproduce the situation when existing bugs are discovered because execution of the multi-threaded programs is usually non-deterministic. Therefore, it is difficult to obtain the information for understanding the behavior of the program when bugs are discovered. And, to identify the cause of bags becomes difficult. This paper proposes a supporting method for debugging to reproduce Java multi-threaded programs by visualizing the behavior of the programs with Petri-net. Conventional Petri-net cannot enough express the complicated behavior of the multi-threaded programs. Therefore, we extend Petri-net. We have confirmed the effectiveness of our method by implementing a prototype of a debugging supporting tool based on our method. In experiment for confirmation, to use our tool could identify the cause of the bug in about 33.6% of the time it takes without our tool. This result shows that our method and tool can improve efficiency in debugging for the multi-threaded programs.
-
形式手法を用いたテスト設計時におけるデシジョンテーブル生成支援手法の提案
西川拳太, 片山徹郎
宮崎大学工学部紀要 ( 43 ) 257 - 262 2014年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
データ遷移の可視化手法によるバグの原因特定支援について
中村紘人, 片山徹郎
宮崎大学工学部紀要 ( 43 ) 249 - 256 2014年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
ペトリネットを用いたJavaマルチスレッドプログラムの実行を再現することによるデバッグ支援手法の提案
北野翔一郎, 片山徹郎
宮崎大学工学部紀要 ( 43 ) 243 - 248 2014年7月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
Proposal of a Supporting Method to Generate a Decision Table from the Formal Specification 査読あり
K. Nishikawa, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. Int'l Conf. on Artificial Life and Robotics (ICAROB 2014) 222 - 225 2014年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Supporting Method for Debugging to Reproduce Java Multi-threaded Programs by Petri-Net 査読あり
S. Kitano, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. Int'l Conf. on Artificial Life and Robotics (ICAROB 2014) 218 - 221 2014年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Method to Build Markov Chain Usage Model from UML Diagrams for Communication Delay Testing in Distributed Systems 査読あり
Z. Zhao, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. Int'l Conf. on Artificial Life and Robotics (ICAROB 2014) 214 - 217 2014年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of a Visualizing Method of Data Transitions to Support Debugging for Java Programs 査読あり
H. Nakamura, T. Katayama, Y. Kita, H. Yamaba, and N. Okazaki
Proc. Int'l Conf. on Artificial Life and Robotics (ICAROB 2014) 210 - 213 2014年1月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Combinatorial test architecture design using viewpoint diagram
Nishi Y., Katayama T., Yoshizawa S.
Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013 295 - 300 2013年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013
Software test has recently been a large-scale and complicated artifact, as is the software itself. It is necessary to reduce huge combinatorial test cases. This paper focuses on reduction of test parameters and combinations in test architectural design. First we will mention the test architecture design phase in TDLC: Test Development Life Cycle. Second we will introduce NGT: Notation for Generic Testing, which is a set of concepts or notation for design of software test architecture. This paper shows four examples of test architecture design patterns: Interaction-Viewpoint Conversion pattern, Interaction Cluster Partitioning Pattern, Interaction Demotion Pattern and Interaction Necessity Analysis. © 2013 IEEE.
-
Proposal of testing diagrams for visualizing test cases
Urata S., Katayama T.
Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013 483 - 484 2013年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation, ICST 2013
A software system becomes a large scale in recent years. As a result, test cases used in software testing have become a large scale. It is difficult to understand where the software system is tested by a large quantity of test cases. For this reason, testing diagrams to visualize test cases are proposed. To generate the testing diagrams, the test case and UML (Unified Modeling Language) diagram are compared and their common information is added to the UML diagram. This paper uses communication diagram and state machine diagram. Generating the testing diagrams can overlook the whole test cases. As a result, we can easily understand where the software system is tested by test cases. Moreover, the testing diagrams support that you find faults in the test cases and/or UML diagrams. © 2013 IEEE.
DOI： 10.1109/ICST.2013.81
-
テストケースの可視化を実現するテスト用ダイアグラムの提案 査読あり
浦田聖也, 片山徹郎
情報処理学会 ソフトウェアエンジニアリングシンポジウム2013(SES2013) 2013年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
A conversion method from an ETSC to a timed Petri net to improve the matrix-based discrete event controller and its unified support system 査読あり
H. Yamaba, S. Kitano, K. Takatsuka, T. Katayama, N. Okazaki, and S. Tomita
Proc. 17th Int'l Conf. on Knowledge-Based and Intelligent Information and Engineering Systems (KES2013) 660 - 669 2013年9月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
テストケースの可視化を目的としたテスト用ダイアグラムの提案
浦田聖也, 片山徹郎
宮崎大学工学部紀要 ( 42 ) 263 - 269 2013年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
''Matrix-Bases Discrete-Event System Controller''を閣僚するためのETSCから時間ペトリネットへの変換手法とその統一的支援システム
北野翔一郎, 山場久昭, 高塚佳代子, 片山徹郎, 岡崎直直, 冨田重幸
火の国情報シンポジウム2013 CD-ROM 2013年3月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Combinatorial Test Architecture Design Using Viewpoint Diagram 査読あり
Y. Nishi, T. Katayama, and S. Yoshizawa
2nd Int'l Works. on Combinatorial Testing (IWCT 2013) 2013年3月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Proposal of Testing Diagrams for Visualizing Test Cases 査読あり
S. Urata and T. Katayama
6th Int'l Conf. on Software Testing, Verification and Validation (ICST2013) 2013年3月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
テスト実施状況のリアルタイムな可視化を行う単体テスト可視化ツール"Jvis" の開発 (ソフトウェアサイエンス)
松岡 慎吾, 片山 徹郎
電子情報通信学会技術研究報告 : 信学技報 112 ( 373 ) 37 - 42 2013年1月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
本稿では、ソフトウェア開発における単体テストの実施状況をリアルタイムに可視化することによる、テスト実施状況の理解および確認に費やす手間の削減を目的としている。目的達成のアプローチとして、テスト実施状況のリアルタイムな可視化を行う単体テスト可視化ツール"Jvis"(Tool for Java programs to visualize unit testing)を開発した。Jvisは、テスト対象コードに対して、ステートメントカバレッジ(CO)とブランチカバレッジ(C1)に基づいた自動テストを実施し、現在のテスト実施状況をリアルタイムに提示する。欠陥を含むJavaプログラムをJvisに適用する実験を行った結果、各被験者は、短時間でプログラム中の欠陥に気付くことができた。この実験結果から、テスト実施状況のリアルタイムな可視化によって、テスト実施状況の理解および確認に費やす手間を削減できることを示した。
-
DDoS攻撃者によるIPトレースバックに対する妨害手法とその対策に関する検討 査読あり
川端良樹, 喜多義弘, 山場久昭, 油田健太郎, 朴美娘, 片山徹郎, 岡崎直宣
日本セキュリティ・マネジメント学会誌 26 ( 3 ) 15 - 32 2013年1月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Yamaba H., Kitano S., Takatsuka K., Katayama T., Okazaki N., Tomita S.
Procedia Computer Science 22 467 - 476 2013年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Procedia Computer Science
The matrix-based discrete-event system controller (MDEC) framework, which is a sophisticated framework proposed by Jose Mireles et al., is a promising method for designing control systems for discrete manufacturing systems. In a previous study, we improved the MDEC framework by introducing a timed Petri net and an expanded timed-state-chart (ETSC) that was developed in our laboratory in order to describe complex behavior of discrete manufacturing systems. In the present study, a computer system supporting the design of such control systems was implemented based on the improved framework (MDEC2). ETSC models, which users draw through a GUI, are converted into timed Petri nets in the form of matrices, and such matrices are embedded into controllers of MDEC2. Through a series of experiments, we confirmed that the obtained controllers functioned well. © 2013 The Authors.
-
Javaプログラムのための単体テスト並列実行ツールの試作 査読あり
西川拳太, 松岡慎吾, 片山徹郎
ソフトウェアテストシンポジウム2012九州(JaSST'12 Kyushu) 30 - 33 2012年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
テストケースの可視化を目的としたテスト用状態マシン図作成手法の提案 査読あり
浦田聖也, 片山徹郎
ソフトウェアテストシンポジウム2012九州(JaSST'12 Kyushu) 30 - 33 2012年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Javaプログラムを対象とした単体テスト可視化ツール``Jvis''の開発 査読あり
松岡慎吾, 喜多義弘, 片山徹郎
情報処理学会 ソフトウェアエンジニアリングシンポジウム2012(SES2012) 2012年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
シミュレータ作成の手間を削減可能な 二部構成シミュレータ設計手法の提案
川元卓, 喜多義弘, 片山徹郎
宮崎大学工学部紀要 ( 41 ) 269 - 276 2012年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
Javaプログラムを対象とした単体テスト自動実行および 可視化ツール``Jvis''の開発
松岡慎吾, 喜多義弘, 片山徹郎
宮崎大学工学部紀要 ( 41 ) 261 - 268 2012年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
Java プログラム読解支援のためのプログラム自動可視化ツール Avis の実装と評価
喜多 義弘, 片山 徹郎, 冨田 重幸
電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems (Japanese edition) 95 ( 4 ) 855 - 869 2012年4月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
近年,システムの肥大化並びに複雑化に伴い,ソフトウェア開発は大規模になり,プログラムのコードを読む機会が増えている.プログラムのコードを読む際,プログラムの内部構造を理解することは必要不可欠である.この論文では,プログラム読解支援を目的とした,Java言語を対象としたプログラム自動可視化ツールAvisを実装する.AvisはJavaプログラムのソースコードを入力として,フローチャート,逐次型実行経路図,及び,モジュール遷移型実行経路図を同時に出力する.これらの図により,プログラムの流れ,振舞い,及び,モジュール間のつながりを同時に理解することができる.すなわち,Avisをプログラムを読む際に利用することによって,プログラムの読解を支援することが可能になる.Avisを使用することによって既存の可視化ツール使用時よりも早く,かつ,正確にプログラムを読解できることを確認した.この結果,Avisはプログラム読解支援において有用であるといえる.
-
Javaプログラム読解支援のためのプログラム可視化ツールAvisの実装と評価 査読あり
喜多義弘, 片山徹郎, 冨田重幸
電子情報通信学会論文誌 J95-D ( 4 ) 855 - 869 2012年4月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Prototype of an Automatic Unit Testing Tool with Random Testing for Java Programs 査読あり
S. Matsuoka, Y. Kita, and T. Katayama
Proc. 22nd Int'l Sympo. on Softw. Reliability Eng. (ISSRE2011) 2011年12月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Formal Verification of Software Designs in Hierarchical State Transition Matrix with SMT-based Bounded Model Checking 査読あり
W. Kong, N. Katahira, M. Watanabe, T. Katayama, K. Hisazumi, and A. Fukuda
Proc. 2011 Asia-Pacific Softw. Eng. Conf. (APSEC 2011) 81 - 88 2011年12月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Motivation to Establish a Concept of Test Architecture 招待あり
T. Katayama
Proc. International Workshop on Software Test Architecture (InSTA) 2011年12月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Kong W., Katahira N., Watanabe M., Katayama T., Hisazumi K., Fukuda A.
Proceedings - Asia-Pacific Software Engineering Conference, APSEC 81 - 88 2011年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - Asia-Pacific Software Engineering Conference, APSEC
Hierarchical State Transition Matrix (HSTM) is a table-based modeling language for developing designs of software systems. Although widely used and adopted by (particularly Japanese) software industry, there is still lack of mechanized formal verification supports for conducting rigorous and automatic analysis to improve reliability of HSTM designs. In this paper, we first present a formalization of HSTM designs as state transition systems. Consequentially, based on this formalization, we propose a symbolic encoding approach, through which correctness of a HSTM design with respect to LTL properties could be represented as Bounded Model Checking (BMC) problems that could be determined by Satisfiability Modulo Theories (SMT) solving. We have implemented our encoding approach in a tool called Garakabu2 with the state-of-the-art SMT solver CVC3 as its back-ended solver. Furthermore, in our preliminary experiments, a conceptually simple but steadily effective way of accelerating SMT solving for HSTM designs is investigated and reported. © 2011 IEEE.
-
Proposal of an Execution Paths Indication Method for Integration Testing by Using an Automatic Visualization Tool `Avis' 査読あり
Y. Kita, T. Katayama, and S. Tomita
Proc. 5th World Congress for Softw. Quality(5WCSQ) 2011年11月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
コーディングとテストの並列開発手法実現のための一考察 査読あり
大久保暢人, 松岡慎吾, 喜多義弘, 片山徹郎
ソフトウェアテストシンポジウム2011九州(JaSST'11 Kyushu) 30 - 32 2011年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
An SMT-based approach to bounded model checking of designs in communicating state transition matrix
Kong W., Katahira N., Qian W., Watanabe M., Katayama T., Fukuda A.
Proceedings - 2011 International Conference on Computational Science and Its Applications, ICCSA 2011 159 - 167 2011年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - 2011 International Conference on Computational Science and Its Applications, ICCSA 2011
State Transition Matrix (STM) is a table-based modeling language for developing designs of software systems. Although widely accepted and used in software industry, there is lack of formal verification supports for conducting rigorous analysis to improve reliability of STM designs. In this paper, we present a symbolic encoding approach for STM designs that employ message passing as the means of communication, through which correctness of a STM design with respect to invariant properties could be Bounded Model Checked (BMC) by using Satisfiability Modulo Theories (SMT) solving techniques. We have built a prototype implementation of the proposed encoding and the state-of-the-art SMT solver - Yices, is used in our experiments as a back-end tool to evaluate the effectiveness of our approach. In addition, two approaches for accelerating SMT solving by introducing additional knowledge are proposed and their effectiveness is shown by our preliminary experimental results. © 2011 IEEE.
-
ソフトウェア要求仕様書に基づいたテスト項目作成手法の提案 査読あり
喜多義弘, 鈴木三紀夫, 秋山浩一, 片山徹郎, 西康晴
情報処理学会 ソフトウェアエンジニアリングシンポジウム2011(SES2011) 2011 ( 2 ) 1 - 6 2011年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
組込みソフトウェア開発支援のための命令セットシミュレータ(ISS)作成支援ツールの試作
東園修平, 片山徹郎
宮崎大学工学部紀要 ( 40 ) 263 - 268 2011年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
ランダムテスト手法を用いたJava プログラム単体テスト自動実行ツールの試作 査読あり
松岡慎吾, 喜多義弘, 片山徹郎
ソフトウェア・シンポジウム SS2011 2011年6月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
An SMT-based Approach to Bounded Model Checking of Designs in Communicating State Transition Matrix 査読あり
W. Kong, N. Katahira, W. Qian, M. Watanabe, T. Katayama, and A. Fukuda
11th Int'l Conf. on Computational Sci. and Its Application (ICCSA 2011) 159 - 167 2011年6月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
An SMT-Based Approach to Bounded Model Checking of Designs in State Transition Matrix 査読あり
W. Kong, T. Shiraishi, N. Katahira, M. Watanabe, T. Katayama, and A. Fukuda
IEICE Trans. on Info. & Sys. E94-D ( 5 ) 946 - 957 2011年5月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
An SMT-based approach to bounded model checking of designs in state transition matrix
Kong W., Shiraishi T., Katahira N., Watanabe M., Katayama T., Fukuda A.
IEICE Transactions on Information and Systems E94-D ( 5 ) 946 - 957 2011年5月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：IEICE Transactions on Information and Systems
State Transition Matrix (STM) is a table-based modeling language that has been frequently used in industry for specifying behaviors of systems. Functional correctness of a STM design (i.e., a design developed with STM) could often be expressed as invariant properties. In this paper, we first present a formalization of the static and dynamic aspects of STM designs. Consequentially, based on this formalization, we investigate a symbolic encoding approach, through which a STM design could be bounded model checked w.r.t. invariant properties by using Satisfiability Modulo Theories (SMT) solving technique. We have built a prototype implementation of the proposed encoding and the state-of-the-art SMT solver - Yices, is used in our experiments to evaluate the effectiveness of our approach. Two attempts for accelerating SMT solving are also reported. © 2011 The Institute of Electronics.
-
検証技法としてのモデル検証、その検証結果のフィードバックについて 査読あり
片平典幸, 孔維強, 渡辺政彦, 片山徹郎, 福田晃
ソフトウェアテストシンポジウム2010九州(JaSST'10 Kyushu) 44 - 45 2010年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Javaプログラム単体テスト自動実行ツール開発に向けた一考察 査読あり
松岡慎吾, 片山徹郎
ソフトウェアテストシンポジウム2010九州(JaSST'10 Kyushu) 40 - 43 2010年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
状態遷移構文とテスト構文を導入した組込みソフトウェア向けプログラミング言語開発 査読あり
岡山直樹, 片山徹郎
情報処理学会 組込みシステムシンポジウム2010(ESS2010) 43 - 48 2010年10月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
信頼性向上を目的とした組込みソフトウェア向けプログラミング言語の開発
岡山直樹, 片山徹郎
宮崎大学工学部紀要 ( 39 ) 301 - 306 2010年9月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
プログラム自動可視化ツールAvisを利用した結合テスト実施のための実行経路抽出手法の提案 査読あり
喜多義弘, 片山徹郎, 冨田重幸
情報処理学会論文誌 51 ( 9 ) 1859 - 1872 2010年9月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Model Checking of Software Design in State Transition Matrix 査読あり
T. Shiraishi, W. Kong, Y. Mizushima, N. Katahira, M. Matsumoto, M. Watanabe, T. Katayama, and A. Fukuda
Proc. 2010 Int'l Conf. Softw. Eng. Research and Practice (SERP'10) 507 - 513 2010年7月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
結合テストのためのプログラム自動可視化ツールAvisによる実行経路表示手法の提案
喜多義弘, 片山徹郎, 冨田重幸
火の国情報シンポジウム2010 CD-ROM 2010年3月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
白石 知弘, 孔 維強, 松本 充広, 片山 徹郎, 福田 晃, 水島 祐紀, 片平 典幸, 渡辺 政彦
全国大会講演論文集 72 ( 0 ) 283 - 284 2010年3月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Extension and evaluation of an automatic visualization tool "Avis" for programming education
Kita Y., Tokunaga T., Katayama T., Tomita S.
Proceedings of the IASTED International Conference on Software Engineering, SE 2009 31 - 36 2009年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of the IASTED International Conference on Software Engineering, SE 2009
As the demand for software is increasing more rapidly than ever, demand for educating novice programmers are increasing in order to increase the population of programmers to cope with this issue. We developed an automatic visualization tool "Avis" that generates a flowchart and execution paths from source codes of a Java programs for supporting programming education. This paper describes extension of Avis for generating sequence diagrams together with the evaluation of practical use in education to aids novice programmers to understand source code of programs.
-
古殿 知之, 坂本 憲昭, 峯 恒憲, 日下部 茂, 菅沼 明, 金子 邦彦, 中西 恒夫, 深瀬 光聡, 大森 洋一, ウッディン モハマッドメバ, 乃万 司, 末吉 敏則, 片山 徹郎, 森元 逞, 荒木 啓二郎, 福田 晃, 安浦 寛人
研究報告情報システムと社会環境（IS） 2009 ( 32 ) 171 - 176 2009年3月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人情報処理学会
高度情報化社会の基礎である情報技術の発達は我々の生活を一変させるものであり，その進歩の速度は目覚しい．一方で産業界からは次世代の情報技術を担うべき人材の不足が指摘されている．このような技術の進歩と社会的要請に応えるため、九州大学大学院システム情報科学府では新しい修士課程教育コースである 「社会情報システム工学コース」 を設置した．本コースでは，文部科学省の支援，日本経団連傘下企業との大規模な連携体制の下で，高度な技術力と社会的倫理観を兼ね備えた世界に通用するリーダーの育成を目的とした実践的教育を実施している．本論文では，当コースの教育内容・方法と，コース設立後約 2 年間における実績と評価，及び今後の課題について述べる．The progress of Information Technology, which is the infrastructure of an advanced information society, is remarkable and has the enormous impact on our daily life. On the other hand, it has been pointed out by the industry that there is a lack of highly skilled ICT personnel who can lead the next generation. In order to address this issue, the Graduate School of Information Science and Electrical Engineering in Kyushu University has established Social Information System Engineering Course. In this education course, we have been running the practical education program with an objective to foster world class leader who has extraordinary technical skill and sense of ethics. This program is supported by various companies through Nippon Keidanren and by Ministry of Education, Culture, Sports, Science and Technology. This paper describes the content, method, result and evaluation for our two years experience. We also discuss the issues and concerns that need to be resolved
-
Extension and Evaluation of an Automatic Visualization Tool ``Avis'' for Programming Education 査読あり
Y. Kita, T. Tokunaga, T. Katayama, S. Tomita
Proc. Int'l Association of Sci. and Tech. for Development(IASTED) Int'l Conf. on Softw. Eng. (SE 2009) 31 - 36 2009年2月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
プログラム自動可視化ツール Avis における実行パスの3次元表示手法の提案
徳永 友樹, 喜多 義弘, 片山 徹郎
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 108 ( 242 ) 55 - 60 2008年10月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
Avisは,プログラミング教育支援のためのプログラム自動可視化ツールである.Javaのソースコードを構文解析し,その解析結果を用いて,コントロールフローグラフ,プログラムの実行パス,および,実行パスを表すUMLのシーケンス図を作成する.しかし,現在の表示方法の問題点の1つとして,実行パスと実行パスを表すシーケンス図の表示には,解析データの読み込みや表示後のタブ操作などで別々の操作が必要であるため,また,異なるウィンドウ上で表示するため,これらの間の対応関係が分かり難いという点が存在する.そこで本論文では,Avisが作成する実行パスとシーケンス図との対応関係を分かりやすくすることを目的とし,実行パスの3次元表示手法を提案する.改良後のAvisにおいて,3次元表示を用いて直方体を描画し,直方体の前面に実行パスを,右側面にシーケンス図をそれぞれ表示する.同一のウィンドウ上で直方体を動かしながら,実行パスと実行パスを表すシーケンス図を同時に表示して見比べることができるため,これらの間の対応関係が分かりやすくなったと言える.
-
ライントレースカーを対象としたシミュレータのマルチウィンドウ表示について 査読あり
池田健太郎, 片山徹郎
情報処理学会 組込みシステムシンポジウム2008(ESS2008)論文集 222 - 223 2008年10月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
池田 健太郎, 片山 徹郎
宮崎大學工學部紀要 37 317 - 324 2008年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学
In embedded systems, it is necessary to confirm behavior of embedded softwares on a real machine. This work takes much time when some bugs exist in the software and it is corrected many times. Then, a simulator to reduce the time is introduced. In this paper, a prototype of a simulator for a line trace car has implemented. By using the simulator, the behavior of the line trace car is reproduced on the simulator and the speed value in the code is read and reflected in the simulator. The improvement of productivity in the embedded system development is expected because the simulator can reduce the time to confirm the behavior of the embedded software on a real machine.
-
プログラミング教育支援のためのプログラム自動可視化ツール Avis における実行パス表示手法の改良
徳永 友樹, 片山 徹郎
宮崎大學工學部紀要 37 325 - 332 2008年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学
Recently, the demand for programmers is increasing. The programmer shortage is a serious problem. It is important to educate novice programmers as a solution for the problem. This research improves a method of displaying paths in program visualization tool "Avis" for Java programs to Support Programming Education. First, to make the behavior of the program comprehensible, the display of the source code is improved. Second, SD-Generator that displays paths using a sequence diagram of UML is implemented. Consequently, it has been confirmed that the behavior of the programs and the communication between objects become comprehensible.
-
ライントレースカーの動作を反映するシミュレータの試作
池田健太郎, 片山徹郎
宮崎大学工学部紀要 ( 37 ) 317 - 324 2008年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
プログラミング教育支援のためのプログラム自動可視化ツール Avisにおける実行パス表示手法の改良
徳永友樹, 片山徹郎
宮崎大学工学部紀要 ( 37 ) 325 - 332 2008年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
片山 徹朗, 高橋 寿一
情報処理 49 ( 2 ) 154 - 161 2008年2月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：情報処理学会
近年，エンジニアの言う「タイミング依存のバグ」が現場では多くなっているのではないか．昨今の大きなシステム障害を見ると，「あるまれなタイミングと，あるまれなタイミングが同時に起こると障害が発生する」という記事をよく見かける．また，その障害に対する記者会見では「単独製品としては起こりえない」，もしくは，「弊社製品単独の機能としては問題ないのだが，他社製品と統合した場合に問題が発生する」という言葉をよく聞く．現代のソフトウェアやシステムは，単独機能として大きな問題を起こすことは少なくなってきている．それは各社の品質保証システムや部門が成熟した成果であろう．しかし，そのソフトウェアやシステムの堅牢性を維持するために多重化したり，あるいは，高速な処理性能を求めるために並列化することによる起こるバグについては，逆に増える傾向がある．本稿では，前述したような並列に処理されるプログラムやシステムについて，テストの難しさの原因とテスト手法について述べる．また，並列プログラムの特性と誤りの分類について述べ，その中から特に，デッドロックの検出手法と競合状態のテスト手法について述べる．
-
シーケンス図を利用した組込みシステム開発のためのテストケース生成手法の提案について
井上 陽, 片山 徹郎
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 107 ( 392 ) 85 - 90 2007年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
組込みシステム開発では、製品の品質を保つための効率の良いテストが、強く求められている。しかし、テストケースの作成は、未だテスターの経験と技量に依存した手作業で行われていることが多い。そこで、UML (Unified Modeling Language)を用いた組込みシステム開発におけるテスト作業の効率化を目的として、システム開発の上流の過程における、テストケース生成手法を提案する。具体的には、シーケンス図から、テストケースを自動生成するためのテストケース生成手法め提案をするとともに、上流工程での、仕様の抜けを発見するための、ユーザアクションのタイミングを示すタイミング確認表を作成する。今回提案する手法によって、テスト作業の生産性向上と、ユーザアクションに対する処理の抜けの発見とが期待出来る。
-
Implementation and evaluation of an automatic visualization tool "PGT" for programming education
Kita Y., Katayama T., Tomita S.
Proceedings - SERA 2007: Fifth ACIS International Conference on Software Engineering Research, Management, and Applications 213 - 220 2007年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - SERA 2007: Fifth ACIS International Conference on Software Engineering Research, Management, and Applications
As the demand for software is increasing more rapidly than ever, demand for programmers is increasing. It is important to educate novice programmers in order to increase the population of programmers. They have to read source codes of various programs, when they learn programming. But, it is not easy task for them to understand the behavior of a program only by reading the source code. This paper describes implementation and evaluation of an automatic visualization tool "PGT(Path Generation Tool)" for aiding programs in reading the source code of a Java program. PGT generates paths from a source code by visualizing the paths corresponded to the statements of the source code so that understand the meaningof the program easily. © 2007 IEEE.
DOI： 10.1109/SERA.2007.92
-
UMLを用いた組込みシステム開発におけるシーケンス図を利用したテストケース作成手法の提案 査読あり
井上陽, 片山徹郎
ソフトウェアテストシンポジウム2007九州(JaSST'07 Kyushu) 53 - 55 2007年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Prototype of a Simulator to Reflect a Speed Value in a Code of a Line Trace Car 査読あり
K. Ikeda and T. Katayama
Joint Works. on Embedded Softw. Development (JWSD2007) 43 - 52 2007年10月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
MDAにおけるPIM作成支援を目的としたUMLダイアグラム洗練手法の提案
井上 陽, 片山 徹郎
宮崎大學工學部紀要 36 313 - 320 2007年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学
Recently, the development of software has come to be able to construct complex and large-scale systems. However, it has problems about productivity, portability, interoperability, and maintainability. In order to solve these problems, OMG (Object Management Group) has defined MDA (Model Driven Archicture). But, even if experts of modeling, it is difficult to make the models used in MDA called PIM (Platform Independent Model) or PSM (Platform Specific Model). In this paper, to reduce the burden in making PIM, it proposes a refinement method of UML (Unified Modeling Language) diagrams to support making PIM. The proposed method makes a more detailed UML class diagram from an original one by adding elements extracted from other behavioral UML diagrams in OCL (Object Constraint Language). The detailed class diagram can make PIM more easily. Consequently, it leads to improve productivity of software.
-
Javaを対象としたテスト駆動開発における初回テストパス自動化支援ツールの試作
篠 晃朗, 片山 徹郎
宮崎大學工學部紀要 36 305 - 312 2007年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学
Test Driven Development is a technique in code development that uses practices of eXtreme Programming, and features of Test Driven Development are Test First and Automatic Test.### This paper aims at supporting Test Driven Development and prototypes a tool of supporting automation to pass a first test in Test Driven Development for Java programs. The prototype extracts data on a target code for testing from a test code of JUnit, constructs other data of the target code such as method or class names from the extracted data, and outputs a code to be test as a file from the constructed data. The prototype has been applied to a sample test code, and it has confirmed that the output code can be passed the first test. Thus, the prototype is effective in Test Driven Development for Jave programs.
-
MDAにおけるPIM作成支援を目的としたUMLダイアグラム洗練手法の提案
井上陽, 片山徹郎
宮崎大学工学部紀要 ( 36 ) 313 - 320 2007年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
Javaを対象としたテスト駆動開発における初回テストパス自動化支援ツールの試作
篠晃朗, 片山徹郎
宮崎大学工学部紀要 ( 36 ) 305 - 312 2007年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
プログラミング教育支援のためのプログラム自動可視化ツールAvisの試作 査読あり
喜多義弘, 徳永友樹, 片山徹郎, 冨田重幸
情報処理学会 ソフトウェアエンジニアリングシンポジウム2007(SES2007) 223 - 226 2007年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
Implementation and Evaluation of an Automatic Visualization Tool ``PGT'' for Programming Education 査読あり
Y. Kita, T. Katayama, and S. Tomita
Proc. 5th Int'l Conf. on Softw. Eng. Research, Management & Applications(SERA2007) 213 - 220 2007年8月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
池田 健太郎, 片山 徹郎
電気関係学会九州支部連合大会講演論文集 2007 ( 0 ) 514 - 514 2007年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：電気・情報関係学会九州支部連合大会委員会
-
プログラム可視化ツールAvisにおけるシーケンス図を用いた実行パス表示手法の提案
徳永 友樹, 片山 徹郎
電気関係学会九州支部連合大会講演論文集 2007 ( 0 ) 517 - 517 2007年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：電気・情報関係学会九州支部連合大会委員会
-
Java プログラム自動可視化ツール Avis における大規模プログラム適用のための拡張
喜多 義弘, 片山 徹郎, 冨田 重幸
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 106 ( 426 ) 37 - 42 2006年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
ソフトウェアの需要の急速な増加に伴い,プログラマの需要も増加している.プログラマの数を増加させるためにプログラマを教育することは重要である.本研究では,以前にプログラミング教育支援のためにプログラムを読みやすくすることを目的として,Javaプログラム自動可視化ツール"Avis"を試作した.Avisは"Parser,""CF-Generator"および"P-Generator"の3つの部分から構成する.しかし,以前のP-Generatorは,その実行中にメモリ不足に陥りやすく,小規模なプログラムにしか適用できなかった.そこで本論文では,大規模なプログラムにも適用できるように,P-Generatorのデータ構造を改良する.この改良により,多くのJavaプログラムがAvisに適用可能となったため,Avisの実用性が向上したと言える.また,今回改良したAvisを,本学の学生に実際に使ってもらい,その有用性を確認した.
-
シーケンス図を用いた実行履歴の可視化による Java プログラムの理解支援に関する考察
竹下 彰人, 片山 徹郎
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 106 ( 426 ) 43 - 48 2006年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
Javaなどのオブジェクト指向のプログラムでは、プログラムを実行する際に生成されるオブジェクト間をメッセージが送受信されることによってシステムが動作する。しかし、ソースコードのみでオブジェクトが実際にどのようなメッセージ通信を行うかを理解することは困難である。本研究では、Javaプログラムの信頼性向上とJavaプログラムの動作の理解支援を目的とし、Javaプログラムの実行履歴をシーケンス図を利用して可視化する。Javaプログラムの動的解析を行い、得られた実行履歴をもとにオブジェクト間のメソッド呼び出し関係をシーケンス図上に表す。その際に、メソッド呼び出しが発生した時の引数や返り値の値も、同じシーケンス図上に表示する。その結果、オブジェクトが行うメッセージ通信のやりとりを視覚的に示すことができるので、プログラムの動作の理解を促進し、プログラムの信頼性の向上へもつながる。
-
JavaCCを利用したJavaプログラムの実行履歴表示について
竹下 彰人, 片山 徹郎
宮崎大學工學部紀要 35 321 - 328 2006年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学
Abstract ###Recently, Java programs are widely diffused to society. The improvement of the ###reliability of Java programs is needed. Detecting errors in programs leads to the im-###provement of the reliability. of the programs. In this research, the execution history for ###Java programs is displayed by using a syntax analyzer in order to improve the relia-###bility of the programs. The syntax analyzer which consists of statically analyzing part ###and probe embedding part is implemented. Java programs are applied to the syntax ###analyzer actually. Consequently, it has been confirmed that the execution history can ###be displayed correctly.
-
JavaCCを利用したJavaプログラムの実行履歴表示について
竹下彰人, 片山徹郎
宮崎大学工学部紀要 ( 35 ) 321 - 328 2006年8月
記述言語：日本語 掲載種別：研究論文（大学，研究機関等紀要）
-
Java プログラム自動可視化ツール Avis におけるクラス構造可視化のための拡張
喜多 義弘, 川添 貴議, 片山 徹郎
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 105 ( 490 ) 7 - 12 2005年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
ソフトウェアの需要の急速な増加に伴い, プログラマの需要も増加している.熟練したプログラマの数を増加させるために初心者プログラマを教育することは重要である.本研究では, 以前に初心者プログラマのプログラミング教育支援を目的として, 初心者プログラマのためのJavaプログラム自動可視化ツール"Avis"を試作した.しかし, 現段階のAvisはクラス構造を適用できないため.Javaプログラムの適用範囲が狭い. Avisは"Parser, " "FC-Generator"および"P-Generator"の3つの部分から構成し, このうち, ParserおよびFC-Generatorについては, 既にクラス構造を適用できるように改良を行っている.そこで本論文では, AvisがJavaのクラス構造を適用できるように, P-Generatorの拡張を行う.この改良により多くのJavaプログラムをAvisに適用でき, 初心者プログラマは既存のJavaプログラムをより理解しやすくなると考えられる.
-
UMLから Java ソースコードへの変換規則の抽出と変換ツールの試作
下村 希世人, 片山 徹郎
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 105 ( 490 ) 13 - 18 2005年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
UML(Unified Modeling Language)は要求分析, および, 設計の段階で用いられることが多い.しかし, モデルからコードを作成する作業は手間がかかるうえに, 人為的なミスも発生する.そこで本研究では, 以前に, プログラミングの支援を目的として, UMLからJavaソースコードへの変換規則の抽出をおこなった.この変換規則をプログラミングの際に用いることにより, ソフトウェアの生産性, および, 信頼性の向上が見込まれる.本論文では, 新たな変換規則を抽出するとともに, 抽出した変換規則に基づいてUMLをJavaソースコードへ自動生成するツールを試作し, この変換規則の有用性を検証した.
-
Proposal of a Method to Support Testing for Java Programs with UML 査読あり
共著者：T. Katayama and Y. Yabuya
Proc. 2005 Asia-Pacific Softw. Eng. Conf. (APSEC 2005), 533-540 2005年12月
記述言語：英語 掲載種別：研究論文（国際会議プロシーディングス）
-
Prototype of an automatic visualization tool for java to educate novice programmers
Kita Y., Kawasoe T., Katayama T.
Proceedings of the IASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005 307 - 312 2005年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of the IASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005
The demand for software is increasing more rapidly than ever. The demand for the programmers is increasing. It is important to educate novice programmers in order to increase the number of skillful programmers. This paper describes a prototype of an automatic visualization tool "Avis" for Java programs to educate the novice programmers to the programming. "Avis" generates a flowchart and paths, from the source code. Since "Avis" visualizes correspondence of the statements of the source code to the flowchart and paths, the novice programmers can understand the behavior of Java programs easily.
-
Proposal of a method to support testing for Java programs with UML
Katayama T., Yabuya Y.
Proceedings - Asia-Pacific Software Engineering Conference, APSEC 2005 533 - 540 2005年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - Asia-Pacific Software Engineering Conference, APSEC
There is an increasing need for effective testing of software for complex safety-critical applications. This paper proposes a supporting method of testing for Java programs by using Unified Modeling Language (UML) in order to improve the reliability of them. The correspondences of source codes in Java and elements of a class diagram, a sequence diagram, and a statechart diagram have been extracted. By using the extracted correspondences as test items in testing, it becomes possible to test effectively the specification of software, the structure of Java programs, the flows of processing of a system, and the flow of transition between states. Moreover, in order to confirm the validity of the proposed method, a prototype tool to support testing for Java programs is implemented. The inputs of this prototype are three diagrams, and the outputs are test items generated from, the extracted correspondences. As an example, a source code of blackjack game in Java has been tested by using the test items outputted from the prototype. It has been possible to test 67.2% of the number of lines in the whole source code. © 2005 IEEE.
-
Java プログラムを対象としたオブジェクト間の呼び出し関係情報を含んだコントロールフローグラフの生成について
川添 貴議, 片山 徹郎
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 105 ( 331 ) 1 - 6 2005年10月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
Javaではオブジェクトとして、他のクラスなどのメソッドや変数が呼び出される場合があり、オブジェクトが呼び出されると、それがメソッドである場合にはそのメソッドに制御が移る。この呼び出し関係が、プログラムの動作を理解することを困難にしている。そこで本研究では、Javaプログラムの動作への理解を促進することを目的として、オブジェクトの呼び出し関係情報を含んだコントロールフローグラフを生成する。コントロールフローグラフを用いて、プログラムを可視化することにより、プログラムの動作を理解するために必要な時間の軽減を目指す。
-
組込みシステムの性能に応じたUMLの変形について
共著者：佐々木心也, 片山徹郎
情報処理学会組込みソフトウェアシンポジウム2005 (ESS2005), 140-143頁 2005年10月
-
JavaParserを利用したプログラム可視化のための静的解析部の作成
川添 貴議, 片山 徹郎
宮崎大學工學部紀要 34 249 - 256 2005年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学
Abstract ###Recently, Java programs are widely diffused to society. It is thought that opportunity ###to have to understand source codes of the Java programs described by others increases in ###order to maintain them. In that case, the time needed to understand their behavior can ###be reduced by introducing program visualization. This research aims at implementing ###a syntax analyzer to understand the behavior. It composes a result display part and a ###static analytical part. In this paper, a static analytical part is implemented by using ###JavaParser. As examples, Java programs are applied to the static analytical part. As ###a result, it has confirmed that the part can output analytical data correctly. However, ###the programs cannot be visualized because the result display part is not improved.
-
Extraction of Transformation Rules from UML Diagrams to SpecC
KATAYAMA Tetsuro
IEICE transactions on information and systems 88 ( 6 ) 1126 - 1133 2005年6月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：電子情報通信学会
Embedded systems are used in broad fields. They are one of the indispensable and fundamental technologies in a highly informative society in recent years. As embedded systems are large-scale and complicated, it is prosperous to design and develop a system LSI (Large Scale Integration). The structure of the system LSI has been increasing complexity every year. The degree of improvement of its design productivity has not caught up with the degree of its complexity by conventional methods or techniques. Hence, an idea for the design of a system LSI which has the flow of describing specifications of a system in UML (Unified Modeling Language) and then designing the system in a system level language has already proposed. It is important to establish how to convert from UML to a system level language in specification description or design with the idea. This paper proposes, extracts and verifies transformation rules from UML to SpecC which is one of system level languages. SpecC code has been generated actually from elements in diagrams in UML based on the rules. As an example to verify the rules, "headlights control system of a car" is adopted. SpecC code has been generated actually from elements in diagrams in UML based on the rules. It has been confirmed that the example is executed correctly in simulations. By using the transformation rules proposed in this paper, specification and implementation of a system can be connected seamlessly. Hence, it can improve the design productivity of a system LSI and the productivity of embedded systems.
-
Extraction of Transformation Rules from UML Diagrams to SpecC 査読あり
T. Katayama
IEICE Trans. on Info. & Sys., Vol.E88-D, No.6, 1126-1133 E88-D ( 6 ) 1126 - 1133 2005年6月
記述言語：英語 掲載種別：研究論文（学術雑誌）
-
Prototype of an Automatic Visualization Tool for Java to Educate Novice Programmers
共著者：Y. Kita, T. Kawasoe, and T. Katayama
Proc. Int'l Conf. on Softw. Eng. (SE 2005), as part of the 23rd Int'l Association of Sci. and Tech. for Development (IASTED) Int'l Multi-Conf. on Applied Informatics, 307-312 2005年2月
-
プログラミング支援のためのUMLから Java ソースコードへの変換規則の抽出
下村 希世人, 片山 徹郎
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 104 ( 570 ) 25 - 30 2005年1月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
近年, UMLを用いたオブジェクト指向開発事例が増えている.また, マーケットの競争が激化しソフトウェアを非常に短期間にリリースしなければならない.本論文では, プログラミング支援を目的とし, UMLおよびJavaの仕様の範囲内で, クラス図, アクティビティ図, シーケンス図, および, コラボレーション図の4つのダイアグラムの要素からJavaソースコードへの変換規則を抽出する.本論文が提案する変換規則とは, ダイアグラムの要素とJavaソースコードとの対応関係に着目することにより, Javaソースコードの生成支援を行う際の規則を指す.この規則を用いることにより, UMLからJavaソースコードを部分的に生成できることを確認した.
-
初心者を対象とした Java プログラム自動可視化ツールの実現に向けて
喜多 義弘, 川添 貴議, 片山 徹郎
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 104 ( 570 ) 19 - 24 2005年1月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
ソフトウェアの需要の急速な増加に伴い, プログラマの需要も増加している.熟練したプログラマの数を増加させるために初心者プログラマを教育することは重要である.この論文では, 初心者プログラマのプログラミング教育を支援することを目的として, Javaを対象としたプログラムの自動可視化ツール"Avis"の実現について述べる.Avisは既存のプログラムのソースコードから, フローチャートおよび実行パスを生成する.Avisが生成するフローチャートおよび実行パスによって, ソースコードの実行の流れを視覚的に確認でき, 初心者プログラマは既存のJavaプログラムの振る舞いを容易に理解することができる.
-
UMLの複数のダイアグラムを用いた Java プログラムのテスト手法に関する一考察
藪谷 悠介, 下村 希世人, 片山 徹郎
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス 104 ( 466 ) 7 - 12 2004年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：一般社団法人電子情報通信学会
ソフトウェア開発設計において,オブジェクト指向技術を用いた開発の増加に伴い,UML(Unified Modeling Language)が注目されている.一方で,システム稼動前のテストを十分に実施できず,そのために障害発生を防げなかった事件が増えてきている.本研究は,テストの際にUMLを利用することにより,オブジェクト指向プログラミング言語Javaで記述されたプログラムの信頼性を向上させることを目的としている.本稿では,UMLのクラス図,シーケンス図,ステートチャート図の3つのダイアグラムとJavaソースコードとの対応関係を抽出した.抽出した対応関係をテスト設計の際に利用することにより,Javaプログラムの構造や,システムの処理の流れと状態間の遷移の流れ,および,ソフトウェアの仕様を効果的にテストすることが可能になると考えられる.
-
藪谷 悠介, 片山 徹郎
宮崎大學工學部紀要 33 375 - 382 2004年10月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学
Abstract ###In software development, UML(Unified Modeling Language) is used more as the ###development by using object-oriented technology increases. And, the case in which ###system troubles have occurred owing to insufficient testing has been increasing. This ###research aims at increasing reliability of programs written in Java object-oriented lan-###guage by testing them with UML class diagram. As a preparatory research, this paper ###extracts relations between elements of UML class diagram and source codes in Java. By ###testing source codes with the extracted relations, it becomes possible to check whether ###the structure of the program is implemented as it is designed.
-
LinuxのUSBデバイスドライバのコード分割による抽象化に関する研究
水川 晶太, 片山 徹郎
宮崎大學工學部紀要 33 367 - 374 2004年10月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学
Abstract ###Writing device drivers spends much time and makes efforts because it needs much ###knowledge of the target operating system(OS) and device. And, many device drivers ###must be written. This research aims at reducing the burdens of programmers who ###write device drivers by abstracting device drivers. As a preparatory research, this ###paper adopts Linux as a target OS and USB(Univarsal Serial Bus) device as a target ###device, and defines an algorithm for PROBE function of USB device drivers on Linux. ###USB device drivers on Linux are abstracted with dividing source codes of the device ###drivers by the algorithm. It assists the programmers in understanding structure or ###behavior of device drivers.
-
水川 晶太, 片山 徹郎
情報処理学会研究報告システムソフトウェアとオペレーティング・システム（OS） 2004 ( 82 ) 9 - 16 2004年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：情報処理学会
デバイスドライバの作成には，オペレーティングシステム(OS)やデバイスに関する多大な知識を必要とする．またデバイスドライバは各OS，各デバイスごとに作成しなければならない為，デバイスドライバの開発者にかかる負担は大きいものとなっている．本研究では，デバイスドライバの開発にかかる負担を軽減し，デバイスドライバ開発者の作業の分担化を目的として，デバイスドライバのソースコードの抽象化を行う．本稿では，抽象化につなげる為の事前研究として，LinuxのUSBデバイスを対象とし，複数のデバイスドライバのソースコードを解析し，デバイスドライバの一関数であるPROBE関数のアルゴリズムを定義し，そのアルゴリズムに従ってコードを分割する．またDISCONNECT open close関数の分割についての考察も行う．この結果，デバイスドライバのひな型と呼べるものができ，デバイスドライバのコードを書く上での指針を示すことが出来た．Writing device drivers spends much time and makes efforts because it needs much knowledge of the target operating system(OS) and device. And, many device drivers must be written. This research aims at reducing the burdens of programmers who write device drivers by abstracting device drivers. As a preparatory research, this paper adopts Linux as a target OS and USB (Universal Serial Bus) device as a target device, and defines an algorithm for PROBE function of USB device drivers on Linux. USB device drivers on Linux are abstracted with dividing source codes of the device drivers by the algorithm. In addition, this paper tries dividing source codes of DISCONNECT, open, and close functions. It can assist the programmers in understanding structure or behavior of device drivers.
-
A Study of Co-design for Systems with Interfaces of USB Devices in SpecC,
Proc. 7th World Multiconference on Systemics, Cybernetics and Informatics (SCI2003), Vol.7, 234-240 2003年7月
-
SpecCを用いたUSBデバイスのデバイスドライバとファームウェアの協調設計
片山 徹郎
宮崎大學工學部紀要 32 357 - 364 2003年7月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学
Abstract ###This rcsearch aims at increasing productivity of design for systems used ###USB(Universal Serial Bus) by co-design with SpecC, which is one of system level lan-###guages. As a preparatory research, this paper attempts co-design of device driver and ###firmware which are softwares of USB. First, specification of USB device driver and ###firmware of Linux are described with SpecC, and the specification was verified with ###simulation. Next, a decoder which transforms the specification into the source codes ###of device driver and firmware which can be compiled is implemented in Perl language. ###Executing the both source codes which are generated by the decoder confirmed that ###they satisfied the specification.
-
Proposal of a Supporting Method for Diagrams Generation with the Transformation Rules in UML
Proc. 2002 Asia-Pacific Softw. Eng. Conf. (APSEC 2002), 475-484 2002年12月
-
USBデバイスのソフトウェアを対象としたSpecCによる協調設計
片山 徹郎, 福元 善之
情報処理学会研究報告システムソフトウェアとオペレーティング・システム（OS） 2002 ( 79 ) 39 - 46 2002年8月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：情報処理学会
本研究は、システム・レベル言語 SpecC を用いて、USB(Universal Serial Bus) デバイスを使用したシステムの協調設計を行ない、設計生産性を向上させることを目標としている。本稿では、その予備研究として、USBのソフトウェア側であるデバイスドライバとファームウェアの協調設計を試みた。まず、Linux のUSBデバイスドライバとファームウェアの仕様をSpecCで記述し、その仕様をシミュレーションで検証した。次に、SpecCで記述した仕様から、コンパイル可能なデバイスドライバとファームウェアのソースコードに変換するデコーダを、言語Perlで製作した。デコーダが生成した2つのソースコードを実行し、仕様どおりに動作することを確認した。This research aims at increasing productivity of design for systems used USB(Universal Serial Bus) by co-design with SpecC, which is one of system level languages. As a preparatory research, this paper attempts co-design of device driver and firmware which are softwares of USB. First, specification of USB device driver and firmware of Linux are described with SpecC, and the specification was verified with simulation. Next, a decoder which transforms the specification into the source codes of device driver and firmware which can be compiled is implemented in Perl language. Executing the both sourcecodes which are generated by the decoder confirmed that they satisfied the specification.
-
Javaを対象としたプログラムの基本制御構造を受理する構文解析器の作成
片山 徹郎, 岩城 吉幸
宮崎大學工學部紀要 31 385 - 391 2002年7月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：宮崎大学
-
Proposal of a supporting method for diagram generation with the transformation rules in UML
Katayama T.
Proceedings - Asia-Pacific Software Engineering Conference, APSEC 2002-January 475 - 484 2002年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - Asia-Pacific Software Engineering Conference, APSEC
© 2002 IEEE.Various object-oriented methodologies have been advocated in recent years. Unified Modeling Language (UML) for such notation is becoming increasingly popular. This paper proposes a supporting method for diagram generation with transformation rules in UML to draw diagrams which eliminated contradiction in a short time by using common elements which other diagrams have. The validity of the proposed method is confirmed by implementing a diagram transformation editor and verifying part of the rules on the editor. The rules are extracted and used without any extension or semantics. Consequently, diagrams without contradiction can be generated in a short time. Transformation of diagrams which show the same character as the sequence diagram and collaboration diagram expressing the interaction of an object has generated a near-complete diagram.
-
Abstraction of Device Drivers and Inputs of the Device Driver Generation System for UNIX-like Operating Systems
共著者：T. Katayama, K. Saisho, and A. Fukuda
Proc. 2001 Int'l Association of Sci. and Tech. for Development (IASTED) Int'l Conf. on Applied Informatics (AI'2001), 489-495 2001年2月
-
組み込み向けOSにおけるタイミング制御の必要なデバイスドライバの自動生成について
共著者：村上智一, 片山徹郎, 最所圭三,福田晃
情報処理学会コンピュータシステムシンポジウム論文集, 115-122頁 2000年11月
-
組み込み用マイクロカーネルOSの自動生成に向けて
共著者：久住憲嗣, 森若和雄, 中西恒夫, 片山徹郎, 最所圭三, 福田晃
情報処理学会コンピュータシステムシンポジウム論文集, 107-113頁 2000年11月
-
Prototype of the Device Driver Generation System for UNIX-like Operating System
共著者：T. Katayama, K. Saisho, and A. Fukuda
Proc. Int'l Symp. on Principles of Software Evolution (ISPSE2000), 302-310 2000年11月
-
Memory Conscious Scheduling for Cluster-based NUMA Multi-processors
共著者：T. Koita, T. Katayama, K. Saisho, and A. Fukuda
J. of Supercomputing, Kluwer academic publishers, Vol.16, No.3, 217-235 2000年7月
-
Memory conscious scheduling for cluster-based NUMA multiprocessors
Koita T., Katayama T., Saisho K., Fukuda A.
Journal of Supercomputing 16 ( 3 ) 217 - 235 2000年7月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Journal of Supercomputing
For Non-Uniform Memory Access (NUMA) multiprocessors, memory access overhead is crucial to system performance. Processor scheduling and page placement schemes, dominant factors of memory access overhead, are closely related. In particular, if the processor scheduling scheme is dynamic space-sharing, it should be considered together with the page placement scheme for efficient process execution. Most research in this area, however, has focused exclusively on either the processor scheduling scheme or the page placement scheme alone without considering the interaction between the two. This paper proposes several policies for cluster-based NUMA multiprocessors that are combinations of a processor scheduling scheme and a page placement scheme and investigates the interaction between them. The simulation results show that policies that cooperate to employ the home-cluster concept achieve the best performance. The paper also compares the best of the proposed policies with other existing dynamic processor scheduling policies. Based on our study reported here, the best policy is found to perform better than other existing policies.
-
UNIX系OSにおけるデバイスドライバの抽象化と生成システムの実現
共著者：奥野幹也, 片山徹郎, 最所圭三, 福田晃
情報処理学会論文誌, 41巻, 6号, 1755-1765頁 2000年6月
-
Performance Evaluation of Home-Cluster Based Scheduling for NUMA Multiprocessors
共著者：T. Koita, T. Katayama, K. Saisho, and A. Fukuda
Proc. 2000 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'2000) Vol.4, 1939-1945 2000年6月
-
Performance Evaluation of Memory Conscious Scheduling for NUMA Multiprocessors
共著者：T. Koita, T. Katayama, K. Saisho, and A. Fukuda
Proc. 2000 Int'l Association of Sci. and Tech. for Development (IASTED) Int'l Conf. on Applied Informatics (AI'2000), 855-861 2000年2月
-
Prototype of the device driver generation system for unix-like operating systems
Katayama T., Saisho K., Fukuda A.
International Workshop on Principles of Software Evolution (IWPSE) 2000-January 302 - 310 2000年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：International Workshop on Principles of Software Evolution (IWPSE)
© 2001 IEEE.Writing device drivers spends much time and makes efforts because it needs knowledge of the target device and operating system (OS). In order to lighten the burden, the authors have proposed a model to generate device drivers and a device driver generation system before. The system generates a source code of a device driver from three inputs: device driver specification, OS dependent specification, and device dependent specification. The device drivers generated in the model are evolutionary because they can be expanded their features easily. They, however, are not always effective because the burden in describing the device dependent specification, which is one of the inputs, is nearly as same as the traditional method. In this paper, to aim at more reduction of the burden, device drivers are abstracted again, each input is defined afresh, and then a prototype of the system is implemented. As an example of the generation, an interrupt handler of a network device, FreeBSD and Linux as the target OS, and Etherlink XL as the target device are chosen. The OS dependent specification and the device dependent specification can be reused in each OS and device, respectively. As a result, an identical device dependent specification can be applied to the both OSs. The burden in generating new device drivers or porting ones to other OSs can be reduced.
-
Proposal of a Support System for Device Driver Generation
共著者：T. Katayama, K. Saisho, and A. Fukuda
Proc. 1999 Asia-Pacific Softw. Eng. Conf. (APSEC'99), 494-497 1999年12月
-
Test-case Generation for Concurrent Programs with the Testing Criteria Using Interaction Sequences
共著者：T. Katayama, E. Itoh, Z. Furukawa, and K. Ushijima
Proc. 1999 Asia-Pacific Softw. Eng. Conf. (APSEC'99), 590-597 1999年12月
-
デバイスドライバ生成システムにおける入力の改良
共著者：奥野幹也, 片山徹郎, 最所圭三, 福田晃
情報処理学会コンピュータシステムシンポジウム論文集, 137-144頁 1999年11月
-
Home-cluster Based Processor Scheduling with Page Placement for NUMA Multiprocessors
共著者：T. Koita, T. Katayama, K. Saisho, and A. Fukuda
Proc. 1999 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), Vol.1, 539-545 1999年6月
-
Generating a Device Driver with a Formal Specification Language
共著者：T. Katayama, K. Saisho, and A. Fukuda
Proc. 1999 Int'l Association of Sci. and Tech. for Development (IASTED) Int'l Conf. on Applied Informatics (AI'99), 638-643 1999年2月
-
Proposal of a support system for device driver generation
Katayama T., Saisho K., Fukuda A.
Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999 494 - 497 1999年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999
© 1999 IEEE. Writing device drivers is one of the most difficult tasks to develop or port operating systems (OSs). A device driver needs to be described according to the target device and OS. In the description, programmers must know information about hardware such as specifications of devices and carefully describe complex parts such as timing control. This paper proposes a support system for device driver generation. The inputs for the system are device driver specification which shows operations of the device, OS dependent specification which shows dependent parts on the OS, and device dependent specification which shows dependent parts on the device. As an example, network devices are adopted. The inputs to generate device drivers by the proposed system are described.
-
Test-case generation for concurrent programs with the testing criteria using interaction sequences
Katayama T., Itoh E., Furukawa Z., Ushijima K.
Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999 590 - 597 1999年
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - 6th Asia Pacific Software Engineering Conference, APSEC 1999
© 1999 IEEE. Test-cases play an important roll for high quality software testing. Inadequate test-cases may cause bugs remaining after testing. Overlapped test-cases lead to increases in testing costs. The paper proposes a test-case generation method with the EIAG (Event InterActions Graph) and the ISTC (Interaction Sequences Testing Criteria). The EIAG represents behavior of concurrent programs. It consists of Event Graphs and Interactions. An Event Graph is a control flow graph of a program unit in a concurrent program. The Interactions represent interactions (synchronizations, communications and waits) between the program units. The ISTC proposed are based on sequences of Interactions. The cooperated paths (copaths) on the EIAG as test-cases satisfying the ISTC are generated. The generated copaths can detect dead (unreachable) statements which concern interactions, and they can find some communication errors and deadlocks in testing. It is, however, necessary to validate feasibility of the generated copaths.
-
Design and Implementation of Test-case Generation for Concurrent Programs
共著者：T. Katayama, Z. Furukawa, and K. Ushijima
Proc. 1998 Asia-Pacific Softw. Eng. Conf. (APSEC'98), 262-269 1998年12月
-
Processor Scheduling with Page Placement for Cluster-based NUMA Multiprocessors
共著者：T. Koita, T. Katayama, K. Saisho, and A. Fukuda
Proc. 1998 Int'l Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'98), Vol.2, 851-858 1998年7月
-
タスク型を含む並行処理プログラムのテストケース生成法について
共著者：片山徹郎, 古川善吾, 牛島和夫
電子情報通信学会論文誌, j81-D-1巻, 6号, 809-818頁 1998年6月
-
A Method for Automatic Generation of Device Drivers with a Formal Specification Language
共著者：T. Katayama, K. Saisho, and A. Fukuda
Proc. Int'l Workshop on Principles of Software Evolution (IWPSE98), 183-187 1998年4月
-
Performance Evaluation of Two-level Processor Scheduling in Collaboration with Memory Management for NUMA Multiprocessors
共著者：T. Koita, T. Katayama, K. Saisho, and A. Fukuda
Proc. The 1998 Int'l Association of Sci. and Tech. for Development (IASTED'98), 265-272 1998年2月
-
Design and implementation of test-case generation for concurrent programs
Katayama T., Furukawa Z., Ushijima K.
Proceedings - 1998 Asia Pacific Software Engineering Conference, APSEC 1998 1998-December 262 - 269 1998年1月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - 1998 Asia Pacific Software Engineering Conference, APSEC 1998
© 1998 IEEE. Test-cases play an important role for high quality of software testing. Inadequate test-cases may cause bugs remaining after testing. Overlapped ones lead to the increases in testing costs. This paper proposes the Event InterActions Graph (EIAG) representing behavior of concurrent programs including any task-type and the cooperated paths (copaths) on the EIAG as test-cases, and describes the test-case generation tool (TCgen) for concurrent programs written in Ada programming language. The EIAG consists of Event Graphs and Interactions. An Event Graph is a control flow graph of a program unit in a concurrent program. The interactions represent interactions such as synchronizations between the program units. TCgen generates test-cases as copaths from an Ada concurrent program. The generated copaths satisfy given testing criteria. They can find some communication errors in testing and detecting unreachable statements which concern interactions. It is, however, necessary to validate feasibility of the generated copaths.
-
A Test-case Generation Method for Concurrent Programs Including Task-types
共著者：T. Katayama, Z. Furukawa, and K. Ushijima
Proc. Joint 1997 Asia-Pacific Softw. Eng. Conf. and Int'l Comp. Sci. Conf. (APSEC'97/ICSC'97), 485-494 1997年12月
-
Test-case generation method for concurrent programs including task-types
Katayama T., Furukawa Z., Ushijima K.
Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC 485 - 494 1997年12月
記述言語：日本語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
A task-type in concurrent programs is a template of task-instances which are dynamically generated in execution of the programs. The number of the generated task-instances may not be statically determined. Therefore, test-cases generated by our previously proposed method may not be realized in execution of the programs. This paper proposes an enhanced test-case generation method. Concurrent programs are classified into four kinds under two viewpoints: whether the number of task-instances generated from a task-type can be determined statically or dynamically, and whether or not the task-instances communicate with each other. The enhanced method uses a modified Event InterActions Graph(EIAG). The EIAG consists of Event Graphs and Interactions. An Event Graph is an abstract control flow graph of a program unit. The Interactions represent interactions between the units. Because the modified EIAG represents more accurate behavior of a program than the EIAG does, test-cases generated by the enhanced method increase the possibility of realizing themselves. The test-cases in the method increase in number. The method, however, is practical in the sense that the number of task-instances generated from a task-type is restricted.
-
デバイスドライバの仕様記述に適した言語の開発について
共著者：片山徹郎, 最所圭三, 福田晃
情報処理学会コンピュータシステムシンポジウム '97 論文集, 53-58頁 1997年11月
-
移動計算機のためのWWW情報発信システムの構築 査読あり
共著者：田頭茂明, 片山徹郎, 最所圭三, 福田晃
情報処理学会コンピュータシステムシンポジウム '97 論文集, 17-24頁 1997年11月
記述言語：日本語 掲載種別：研究論文（学術雑誌）
-
A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph
共著者：T. Katayama, Z. Furukawa, and K. Ushijima
Proc. 1996 Asia-Pacific Softw. Eng. Conf. (APSEC'96), 355-364 1996年12月
-
A method for structural testing of Ada concurrent programs using the Event Interactions Graph 査読あり
Katayama T., Furukawa Z., Ushijima K.
Proceedings - Asia-Pacific Software Engineering Conference, APSEC 355 - 364 1996年
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - Asia-Pacific Software Engineering Conference, APSEC
© 1996 IEEE. Software testing generally proceeds as follows: generating test-cases, selecting test-data, executing a test target program, inspecting execution result and evaluating whether testing has already been sufficient or not yet. As for methods for structural testing of programs, the way using a coverage, where the coverage means what extent given testing criteria are satisfied, is noted. At the evaluating step, whether or not we finish the testing is determined in view of the coverage. This paper proposes a method for structural testing of concurrent programs written in Ada programming language, especially, test-case generation and execution of the programs. The Event InterActions Graph (EIAG) is used as a model for concurrent programs. The EIAG consists of Event Graphs and Interactions. An Event Graph is a control flow graph of a program unit in a concurrent program. The Interactions represent interactions between the program units. Program units are such as procedures, functions and task-Types. After generating test-cases on the EIAG, a method for selecting test-data is described and measures to cope with infeasible test-cases with which are generated in this step is clarified. And a forced execution of a test target concurrent program in order to solve the nondeterministic execution is investigated. The nondeterministic execution is characteristic of concurrent programs.
-
Event Interactions Graph for Test-case Generation of Concurrent Programs
共著者：T. Katayama, Z. Furukawa, andK. Ushijima
Proc. 1995 Asia-Pacific Softw. Eng. Conf. (APSEC'95), 29-37 1995年12月
-
動的に生成されたプロセス間で通信・同期を行なう並行処理プログラムのテスト法について
共著者：片山徹郎, 古川善吾, 牛島和夫
ソフトウェア・シンポジウム '95 論文集, 172-180頁 1995年6月
-
Event interactions graph for test-case generations of concurrent programs 査読あり
Katayama T., Furukawa Z., Ushijima K.
Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995 29 - 37 1995年
記述言語：英語 掲載種別：研究論文（学術雑誌） 出版者・発行元：Proceedings - 1995 Asia Pacific Software Engineering Conference, APSEC 1995
© 1995 IEEE. Test cases play an important role for high-quality software testing. Inadequate test-cases may cause bugs to remain after testing. Overlapped test cases may increase costs. This paper proposes an event interactions graph (EIAG), representing the behavior of concurrent programs and the cooperated paths (copaths) on the EIAG as test cases. The EIAG consists of event graphs and interactions. An event graph is a control flow graph of a program unit in a concurrent program. The interactions are synchronizations, communications and waits between the program units. Copaths can be generated automatically by the algorithms which are presented in this paper. The generated copaths can detect dead (unreachable) statements and can find some communication errors in testing. However, it is necessary to validate the feasibility of the generated copaths.
-
並行処理プログラムにおけるテストケースの定義と生成ツールの試作
共著者：片山徹郎, 菰田敏行, 古川善吾, 牛島和夫
情報処理学会論文誌, 34巻, 11号, 2223-2232頁 1993年11月
-
Event-Constraint Model of a Concurrent Program for Test-Case Generation
共著者：T. Katayama, Z. Furukawa, andK. Ushijima
Proc. 1992 Joint Conf. of Softw. Eng. (JCSE'92), 285-292 1992年3月