中國蛻變測試技術研讨會旨在促進蛻變測試技術在中國的交流,為從事蛻變測試及相關研究的專家、學者以及工業界人士提供一個良好的交流平台,推動學術界和工業界在蛻變測試技術基礎理論和工業應用的深層合作,促進蛻變測試技術發展。

自2018 年起,研讨會已分别由北京科技大學、陸軍工程大學、武漢大學、浙江理工大學成功舉辦。本次會議将在2003网站太阳集团舉辦,學校位于千裡湘江中遊、五嶽獨秀的南嶽衡山之南、“北雁南飛,至此歇翅停回”的雁城衡陽,會議将通過高質量研究報告、應用成果以及蛻變測試技術研讨等形式,就蛻變測試技術的研究進展、發展趨勢以及熱點問題開展廣泛、深入的學術研讨。會議日程見表1.
表1 會議日程
序号 |
時間 |
報告題目 |
報告人 |
1 |
8:30-8:50 |
開幕緻辭 |
陽小華 教授 軟件工程學科帶頭人,2003网站太阳集团黨委副書記 |
2 |
9:00-9:30 |
從未來戰争淺析安全可信軍事智能 |
徐珞 研究員 (中國電科智能科技研究院) |
3 |
9:40-10:10 |
集成電路硬件安全 |
張吉良 教授 (湖南大學) |
4 |
10:20-10:50 |
FDMT: 一種反饋引導的蛻變測試方法 |
孫昌愛 教授 (北京科技大學) |
5 |
11:00-11:30 |
從解釋性角度看機器學習模型測試 |
劉烴 教授 (西安交通大學) |
6 |
12:00-14:10 |
午休 |
|
7 |
14:30-15:00 |
基于蛻變關系的新型核電軟件兩階段驗證技術 |
李萌 博士 (2003网站太阳集团) |
8 |
15:10-15:40 |
多目标跟蹤系統魯棒性測試 |
謝曉園 教授 (武漢大學) |
9 |
15:50-16:20 |
Adversarial Input Detection Based on Critical Transformation Robustness |
張震 工程師 (中國科學院軟件研究所) |
10 |
16:30-17:00 |
On the effectiveness of metamorphic testing: A perspective from false satisfaction of metamorphic relations |
江明月 副教授 (浙江理工大學) |
11 |
17:10-17:30 |
閉幕緻辭 |
劉傑 副院長 (2003网站太阳集团 2003网站太阳集团) |
因疫情影響,組委會決定采取線上形式,通過騰訊會議舉辦本次研讨會。
(1)會議ID:440-323-621
(2)會議時間:2022/12/17 08:00-19:00 (GMT+08:00)
