Asako Katayama
Fujitsu
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Asako Katayama.
Innovations in Systems and Software Engineering | 2011
Shoichiro Fujiwara; Kazuki Munakata; Yoshiharu Maeda; Asako Katayama; Tadahiro Uehara
In this paper, we report on our current work toward efficient and effective verification of web application’s basic design. We use a UML class diagram with Object Constraint Language (OCL) to describe the application behaviors and data constraints. Then we generate test data from the formally represented specifications. We make the observation that key web application behaviors can be captured through table size constraints as well as data constraints like foreign key constraints. Based on the observation, we translate the OCL specification into the equivalent constraints using table size expressions. We present a scheme to generate test data from the translated constraints using a Satisfiability Modulo Theories solver. We employ two techniques to reduce constraints. The first is string handling and the other is decomposition of table structures. We also report on an experimental result of test data generation. The result indicates a potential that our scheme works well for real applications in reasonable times.
ACM Sigsoft Software Engineering Notes | 2014
Supasit Monpratarnchai; Shoichiro Fujiwara; Asako Katayama; Tadahiro Uehara
Program testing requires a series of tasks such as preparing drivers and stubs, creating test cases, and executing unit tests. To reduce manual effort of performing such tasks for testing Java programs, we developed a tool that fully integrates and automates all of these processes, by using JPF with extensions as a symbolic execution engine for automatically generating unit test cases. In this paper, we present this tool and its application to real projects to evaluate its efficacy. The evaluation results demonstrate that the tool performs well in terms of the test time reduction compared with manual test as it eliminates the total amount of manual effort, while largely preserving a high coverage of greater than 90 % as our expected borderline.
Archive | 2007
Toshihiro Kodaka; Rieko Yamamoto; Tadahiro Uehara; Asako Katayama
Archive | 2005
Kyoko Ohashi; Tadahiro Uehara; Asako Katayama; Rieko Yamamoto; Toshihiro Kodaka
Archive | 2004
Asako Katayama; Takahide Matsutsuka
Archive | 2008
Toshihiro Kodaka; Rieko Yamamoto; Tadahiro Uehara; Asako Katayama
Archive | 2006
Tadahiro Uehara; Kyoko Ohashi; Asako Katayama; Rieko Yamamoto; Toshihiro Kodaka
Archive | 2006
Asako Katayama; Toshihiro Odaka; Tadahiro Uehara; Rieko Yamamoto; 忠弘 上原; 敏裕 小高; 里枝子 山本; 朝子 片山
Archive | 2010
Shoichiro Fujiwara; Asako Katayama; Yoshiharu Maeda; Kazuki Munakata; Tadahiro Uehara; 忠弘 上原; 芳晴 前田; 一樹 宗像; 朝子 片山; 翔一朗 藤原
Archive | 2010
Shoichiro Fujiwara; Asako Katayama; Yoshiharu Maeda; Kazuki Munakata; Kenji Oki; Tadahiro Uehara; 忠弘 上原; 芳晴 前田; 憲二 大木; 一樹 宗像; 朝子 片山; 翔一朗 藤原