今回の発表国は講演順に中国、韓国、マレーシア、日本の4カ国です。中国から1名、韓国から2名、マレーシアから2名、日本からは電気通信大の西先生が講演を行いました。カンファレンススケジュールのように、13時から始まり17時まで発表があり、カンファレンス後には、情報交換や親交を深めるための「ネットワーキング」が東洋大学のカフェテリアで行われました。

野中先生のオープニングはASQNの目的やこれまでの活動の紹介の後、日本のITトレンドとして「2025年の崖」や、頻発するソフトウェア障害を挙げソフトウェア品質の重要性を述べました。 中国のYang先生の発表は、通訳デバイスを使って中国語で話した内容を英語に翻訳し音声で伝える、”ひとり逐次通訳”という斬新なスタイル。内容は中国のIT産業の現状と課題を挙げました。例えば、上海のソフトウェア産業の市場は2000年からの18年間で118倍にもなり、2018年に中国全体ではソフトウェア会社が37,800社あり、市場規模は6.3 兆元(約96兆円)とのこと。この急激な拡大の中、ソフトウェア開発を担う人材の需要と供給のミスマッチが起き、人材育成が課題なっています。今後のチャレンジとして、CPUなどのハードウェア、OSなどの基本ソフト、さらにその上で稼働するアプリケーションのエコシステムを構築していくことを挙げていました。 韓国のChon氏からは、自動運転支援やドローンに代表されるCyber-Physical-System (CPS)に対するテストメソッドの発表がありました。CPSを対象にしたテストでは、実際のPhysical-Systemを用いてテストを行う際に、実環境の制約が出てきます。その際に、現実の制約に依存せずにソフトウェアをテストする方法をChonさんは開発しました。そのメソッドでは、Diversity (多様性)、Efficiency (効率性)、Safety (安全性)の3つに着目し、実環境を仮想化した環境でのソフトウェアテストを行っています。 韓国のKim氏からもCPSに関係する発表がありました。自身のプロジェクト経験からIndustry 4.0時代におけるソフトウェア品質の考察です。まず、Industry 4.0の説明があり、CPSの自動化レベルの考え方や最適化されたスマートファクトリーの例が共有されました。さらに、ケーススタディーとして自身のプロジェクト経験から、製鉄プロセスの保守支援システムや、大規模建築物のシミュレーションシステムの事例を用いて、安全性、多様性のソフトウェア品質の考察を紹介していました。 マレーシアのAmir(アミール)氏からは、ソフトウェア信頼性に対して、独立検証と妥当性確認(Independent Verification and Validation, IV&V)の取り組みの紹介がありました。彼らはIV&Vハンドブックを作成し、ソフトウェア品質向上に取り組んでいます。そのIV&Vハンドブックではエビデンス(証跡)を重要視し、作業を詳細に定義することによりプロジェクトリスクを低減しています。 マレーシアのHalizawati氏から、ソフトウェア開発プロセスに対するメトリクスを用いた品質向上の取り組みについて発表がありました。一般的にメトリクスといっても、プロダクトメトリクスやプロセスメトリクスなど様々なメトリクスがあり、実際のプロジェクトで使うには取捨選択が必要です。Halizawatiさんの組織では、継続的にメトリクスを使用することによりメトリクス項目を取捨選択し、その結果をProcess Capability Baseline (PCB)として組織で共有するという取り組みをしています。 発表の最後は、日本から西先生(電気通信大学)のAIプロダクト品質保証ガイドラインの紹介です。このガイドラインは、AI プロダクト品質保証コンソーシアム（英⽂名：Consortium of Quality Assurance for Artificial-Intelligence-based products and services, 略称：QA4AI コンソーシアム）で作成され、AIプロダクトの品質保証上の課題とそれらに対する調査と検討がまとめられています。例えば、AIは間違うこともあるので、それをどこまで間違わないようにするのか、または許容するのか、さらに、間違わないようにするための方法は、などを検討しています。対象を具体的な４つの領域、コンテンツ生成システム、スマートスピーカー、産業用プロセス、自動運転に関して現時点の検討結果をまとめています。 クロージングの中で、今回初参加のタイのSuwipa氏から、カンファレンスの感想と次回のASQNはタイで開催を予定していることの挨拶があり、閉会となりました。

次回ASQNカンファレンスの2020年にタイで開催する方向で現在調整中です。

時間
13:00-13:15	Opening Makoto Nonaka，Toyo University，Japan 発表資料
13:15-13:45	The Trend of China's Software Industry Development Yang Genxing East China University of Science and Technology, China Abstract: The Trend of China's Software Industry Development (1) General Situation of Software Industry Development in China and Shanghai in 2018 (2) Key Areas of Software Industry Development in China (3) Development of Software Engineering and Software Quality Standards (4) Training of Software Talents with High Skills (5) Opportunities and Challenges of Software Industry
13:45-14:15	Suggestion of Testing Method for Industrial Level Cyber-Physical System Sunil Chon ThinkforBL , Korea 発表資料 Abstract: As CPS becomes important, a new testing environment is needed. Because CPS is affected by the external environment, it is important to actually reproduce and test the external environment. CPS's new testing environment requires resolution of the following constraints: (Diversity) It is difficult to create constraints on various external environments (natural environment, temperature, humidity, etc.). (Safety) Actual test environment such as explosion detection, fire detection, accident detection is dangerous. (Efficiency) It takes too much time. In this presentation, we introduce CPS testing method in a virtual test environment that solves the above three constraints, focusing on cases.
14:15-14:30	Break
14:30-15:00	Consideration for SW quality Factor in the era of industry 4.0 （Focusing on CPS operational environment） Yong Gyu Kim Apexsoft , Korea Abstract: - Sharing the factors to be considered and the experience of applying quality verification method to secure the quality of the SW system in the industrial field adopting the CPS concept in the era of the fourth industrial revolution centered on artificial intelligence technology.) - Explanation of the available reference architectures according to the case studies and analysis based on experience with CPS application systems or similar systems in areas such as SCADA and ICS. - Introduction of risk factors such as potential obstacles and performance degradation when applying the latest technology, and examples of ways to mitigate it.
15:00-15:30	Quantifying Confidence Using Metrics – an IV&V Perspective Amiruddin Jaafar Sidek Malaysian Software Testing Board , Malaysia Abstract: Independent Verification and Validation (IV&V) practices involve multiple types of activities – review, testing, auditing etc – and produce various reports and readings. - How do we review/analyze these reports and readings leveraging measurements and metrics? - What are the tell-tale signs that the product/project is not in the pink of health? - What does it take to ensure stakeholders have high confidence in software products and services offered?
15:30-16:00	Software Process Metrics Halizawati MOHD HALID Custommedia Sdn Bhd, Malaysia Abstract: The software industry uses metrics to quantify the development, operation and maintenance of software. Software metrics are broadly classified as product metrics, process metrics and project metrics. - Product metrics define the product characteristics for example size, design features, complexity, performance, and quality level. - Process metrics are metrics pertaining to Process Quality that can be used to improve software development and maintenance. Software process metrics are associated to the effort to complete the project, the use of project resources, and the methodology to abide by. Process metrics are collected across all projects and over long periods of time. Examples of software process metrics are cost of quality, testing efficiency and defect removal efficiency. - Project metrics define the characteristics and execution of the project and are used to monitor and control the project. Examples include the values of human effort, cost, and project schedule. The above metrics are captured to establish and maintain a baseline. This baseline is known as the Process Capability Baseline (PCB) which represents a quantitative understanding of the performance of an organization's set of standard processes in support of quality and process-performance objectives. PCB contains measures which are made available so that current and future projects are able to use them to plan, predict outcomes and manage effort and results.
16:00-16:15	Break
16:15-16:45	Guidelines of Quality Assurance for Artificial-Intelligence-based products　and services（QA4AI） Yasuharu Nishi The university of Electro-Communications, Japan Abstract: Consortium of QA4AI published the guidelines for quality assurance of machine learning-based artificial intelligence on 17th May 2019. In this presentation, he will discuss about overview and methodology of the guidelines that includes axes of quality evaluation and technical catalog for ML-bases systems. The guidelines cover some specific ML-based systems such as generative systems, operational data in process systems, voice user interface and autonomous driving.
16:45-17:00	Closing Makoto Nonaka，Toyo University，Japan
17:10-18:15	Networking talks with drinks and snacks

• 英語による講演です。同時通訳はありません。