Lab Head Dr. Hironori Washizaki became full professor of Waseda University on Apr 1st.

研究室代表 鷲崎弘宜が早稲田大学理工学術院 教授に就任いたしました。

7 undergraduates newly joined our laboratory. Welcome!

We successfully organized the pattern promotion workshop ‪#‎PPAP2016‬ in Osaka, collocated with SANER. We successfully identified important research questions in pattern promotion and anti-pattern prevention! Results will be posted on the website later. http://ppap.soccerlab.polymtl.ca/

7 graduate students + six undergraduates graduated. Congratulations! Moreover Yusuke received Dept Award!

当研究グループから7名の大学院修士院生、および、6名の学部生が無事修了・卒業となりました。おめでとう！さらに、M2須永君が大学院専攻賞 本賞を受賞しました。おめでとう！

Thanks to many contestants, sponsors, supporters and staffs, SamurAI Coding 2015-16: IPSJ International AI Programming Contest World Final Round was successfully over! See details at Final. Video is available at Nico Nico Live: http://live.nicovideo.jp/watch/lv253878684

Pablo Alejandro Quezada-Sarmiento, Juan Garbajosa, Liliana Pacheco-Jara, Hironori Washizaki, Liliana Enciso, “Curricular Design based in Bodies of Knowledge: Engineering Education for the Innovation and the Industry,” SAI Computing Conference 2016, July 13-15, 2016, London, UK. (to appear)

システム・ソフトウェアの品質要求および評価の国際規格SQuaREシリーズのISO/IEC 25051:2014の日本版JIS X 25051:2016「既製ソフトウェア製品に対する品質要求事項及び試験に対する指示」（予定）のリリースを記念して、グローバルスタンダードに基づいてソフトウェア製品の品質を体系的に測定評価する方法とその基準を、同国際規格策定エディタ・プロジェクトリーダより詳しくご紹介するセミナーを3月29日に開催します。またセミナーでは、IPA RISE委託研究として早稲田大学がCSAJとの協力のもとで製品募集を開始したISO/IEC 25051:2014（JIS X 25051:2016）に基づくソフトウェア製品の品質実態調査について詳しくご紹介します。同品質実態調査は、CSAJにおけるPSQ認証も兼ねるものとなっています。さらにパネル討論では、今後の世界最高基準を目指した日本のソフトウェア製品の品質のあり方を、会場と共に議論します。参加費無料です。ぜひご参加ください。

セミナーサイト: http://www.washi.cs.waseda.ac.jp/?page_id=2636

以下の日程で63号館5階0523室にてオープンハウスを開催しますので興味があればぜひ遊びに来てください。また期間中に限らず研究内容や生活等に関して疑問点があれば気軽にwashizaki[at]waseda.jpまで質問してください。期間外の立ち寄りもOKです。配属決定後の顔合わせは31日13:00以降を予定しています。

研究キーワード: プログラミング言語・環境、ソフトウェア要求・設計・モデリング・再利用、ソフトウェア品質保証・セキュリティ、IoT/クラウドシステム分析・設計・実装、組織目標・戦略、システム・ソフトウェア開発マネジメント、情報システム・プログラミング教育

3月21日(月)14:40-18:30
3月22日(火)10:00-18:00
3月23日(水)10:00-18:00
3月25日(金)10:00-18:00

AsianPLoP 2016: 5th Asian Conference on Pattern Languages of Programs was successfully held in Taipei on Feb 24-26. YC and I as co-organizers organized the conference. Thanks to the organizer YC, all shepherds/reviewers, supporters, sponsors, authors and participants! At the conference, we had two great keynotes, one invited talk, three focused groups, and Writer’s Workshops! 17 pattern and pattern language papers have been successfully workshopped. Moreover we had nice social events including games and banquet for meeting together, strengthening our network, and having fun! See you next time 2017, at somewhere in Asia.

Koji Tsumura, Hironori Washizaki, Yoshiaki Fukazawa, Keishi Oshima, Ryota Mibe, “Pairwise Coverage-based Testing with Selected Elements in a Query for Database Applications,” 5th International Workshop on Combinatorial Testing (IWCT 2016), collocated with ICST 2016, Chicago, USA, April 10, 2016. (to appear)

Because program behaviors of database applications depend on the data used, code coverages do not effectively test database applications. Additionally, test coverages for database applications that focus on predicates in Structured Query Language (SQL) queries are not useful if the necessary predicates are omitted. In this paper, we present two new database applications using Plain Pairwise Coverage (PPC) and Selected Pairwise Coverage (SPC) for SQL queries called Plain Pairwise Coverage Testing (PPCT) and Selected Pairwise Coverage Testing (SPCT), respectively. These coverages are based on pairwise testing coverage, which employs selected elements in the SQL SELECT query as parameters. We also implement a coverage calculation tool and conduct case studies on two open source software systems. PPCT and SPCT can detect many bugs, which are not detected by existing test methods based on predicates in the query. Furthermore, the case study suggests that SPCT can detect bugs more efficiently than PPCT and the costs of SPCT can be further reduced by ignoring records filtered out by the conditions of the query.