ТД Це
ТД Це | |
---|---|
Занятие | Почетный профессор |
Академическое образование | |
Альма-матер | Лондонская школа экономики |
Докторантура | Фрэнк Лэнд ; Ян Энджелл |
Академическая работа | |
Дисциплина | Программная инженерия |
Учреждения | Университет Гонконга |
Веб-сайт | хку |
Т.Х. Цзе ( китайский : 謝俊謙 ) — академик из Гонконга, профессор и исследователь в области программ тестирования и отладки . В международном рейтинге он считается вторым по плодовитости автором в области метаморфических исследований . [1] По мнению Брюэля и др., [2] «Исследование интегрированных формальных и неформальных техник уходит своими корнями в работы Т.Х. Це в середине восьмидесятых». Области применения его исследований включают объектно-ориентированное программное обеспечение , сервисные вычисления , всеобъемлющие вычисления , параллельные системы , программное обеспечение для обработки изображений и числовые программы . Кроме того, он создает графический дизайн для неправительственных организаций . [3]
Цзе получил докторскую степень в Лондонской школе экономики в 1988 году под руководством Фрэнка Лэнда и Яна Энджелла. [4] Он был приглашенным научным сотрудником в Оксфордского университета 1990 и 1992 годах. В настоящее время он является почетным профессором компьютерных наук в Университете Гонконга после ухода с должности профессора его степенью MBE. в 2014 году. Королева Елизавета II наградила Соединенное Королевство . [5] [6] : 87
проведено международное мероприятие под названием « инженерным Симпозиум . по испытаниям » на « выхода было В 2013 году в Нанкине, Китай, в честь пенсию Т.Х. Це» [7] Аббревиатура . симпозиума была «TSE-TH»
В 2017–2020 годах Цзе выступал посредником в сборе средств в размере 140 миллионов долларов для Университета Гонконга для создания инновационных крыльев Tam Wing Fan Innovation Wings I и II на инженерном факультете. [8] [9]
В 2019 году Це и его команда применили метаморфическое тестирование для проверки надежности сервисов индексирования цитирования , включая Scopus и Web of Science . Инновационный метод, известный как «метаморфическое тестирование на устойчивость», показал, что наличие простых дефисов в названиях научных статей отрицательно влияет на количество цитирований и импакт-факторы журналов , независимо от качества публикаций. [10] [11] Это «причудливое новое открытие», [12] а также о опровержении Web of Science и разъяснении Це, сообщило издание ScienceAlert , [12] природы Индекс , [13] Коммуникации АКМ , [14] Психология сегодня , [15] и австралиец . [16]
В 2021 году Цзе и его команда были выбраны главным чемпионом премии «Самая влиятельная бумага». [17] Журналом систем и программного обеспечения за статью 2010 года. [18] По данным Google Scholar , журнал занимает первое место. 3-е место в среди 5-индексе международных площадок публикаций по программным системам. [19]
В 2024 году Цзе успешно номинировал Цонг Юэ Чена из Технологического университета Суинберна , Мельбурн , Австралия, на получение премии ACM SIGSOFT за выдающиеся исследования 2024 года «за вклад в тестирование программного обеспечения посредством изобретения и разработки методов метаморфического тестирования ». [20] [21] Эта награда вручается лицам, которые внесли значительный и продолжительный исследовательский вклад в теорию и практику разработки программного обеспечения . [22] Лауреатам предлагается выступить с основным докладом на конференции ICSE . [22] Среди прошлых победителей - Гейл Мерфи 2023, Лайонел Бриан 2022, Марк Харман 2019, Джексон Дэниел 2017, Карло Гецци 2015, Александр Вольф 2014, Дэвид Ноткин 2013, Лори Кларк 2012, Дэвид Гарлан и Мэри Шоу 2011, Эрих Гамма , Ричард Хелм , Ральф Джонсон и Джон Влиссидес , 2010 г., Аксель ван Ламсверде, 2008 г., Элейн Дж. Вейкер, 2007 г., Дэвид Харел, 2006 г., Нэнси Левесон, 2004 г., Леон Дж. Остервейл, 2003 г., Джерард Хольцманн , 2002 г., Майкл Джексон (2001 г.), Виктор Базили (2000 г.), Харлан Миллс ( 1999 г.), Никлаус Вирт ( 1999 г.), Дэвид Парнас (1998 г.) и Барри Бём (1997 г.). [22]
В июле 2024 года Це был выбран лучшим рецензентом месяца по версии журнала ACM Computing Reviews . [23]
Книги
[ редактировать ]- В. Эрик Вонг; Т.Х. Це, ред. (2023). Справочник по локализации неисправностей программного обеспечения: основы и достижения . Хобокен , Нью-Джерси, США: Wiley-IEEE Press . ISBN 978-1-119-29180-0 .
- Т.Х. Це, Унифицированная структура для моделей структурированного анализа и проектирования: подход с использованием начальной семантики алгебры и теории категорий , Cambridge Tracts in Theoretical Computer Science, vol. 11, Издательство Кембриджского университета , Кембридж . Электронное издание (2010 г.). Издание в мягкой обложке (2009 г.). Издание в твердом переплете (1991 г.).
Избранные публикации
[ редактировать ]- Цонг Юэ Чен; ТД Це (2021). Новые взгляды на метаморфические испытания спустя четверть века с момента создания . Трек «Идеи, видение и размышления», материалы совместной европейской конференции ACM по разработке программного обеспечения и симпозиума по основам программной инженерии (ESEC/FSE '21). ACM , Нью-Йорк, штат Нью-Йорк, США. стр. 1487–1490. дои : 10.1145/3468264.3473136 .
- Чжи Цюань Чжоу; ТД Це; Мэтт Уитеридж (2021). «Тестирование метаморфической устойчивости: выявление скрытых дефектов в статистике цитирования и импакт-факторах журналов» . Транзакции IEEE по разработке программного обеспечения . 47 (6): 1164–1183. дои : 10.1109/TSE.2019.2915065 .
- Цонг Юэ Чен; Фей-Цзин Го; Хуай Лю; Пак-Лок Пун; Дэйв Тауи; ТД Це; Чжи Цюань Чжоу (2018). «Метаморфические испытания: обзор проблем и возможностей» . Обзоры вычислительной техники ACM . 51 (1): 4:1–4:27. hdl : 10722/254895 .
- Хо Янь Чен; ТД Це (2013). «Равенство равным и неравным: новый взгляд на критерии эквивалентности и неэквивалентности при тестировании объектно-ориентированного программного обеспечения на уровне классов» . Транзакции IEEE по разработке программного обеспечения . 39 (11): 1549–1563. дои : 10.1109/TSE.2013.33 . hdl : 10722/187124 . S2CID 8694513 .
- Цонг Юэ Чен; ТД Це; Чжи Цюань Чжоу (2010). «Полудоказательство: интегрированный метод проверки, тестирования и отладки программ». Транзакции IEEE по разработке программного обеспечения . 37 (1): 109–125. дои : 10.1109/TSE.2010.23 . .
- Цонг Юэ Чен; Фей-Цзин Го; Роберт Г. Меркель; ТД Це (2010). «Адаптивное случайное тестирование: ИСКУССТВО разнообразия тестовых примеров» . Журнал систем и программного обеспечения . 83 (1): 60–66. дои : 10.1016/j.jss.2009.02.022 . hdl : 10722/89054 .
Ссылки
[ редактировать ]- ^ С. Сегура, Г. Фрейзер, А. Б. Санчес и А. Руис-Кортес, «Обзор метаморфического тестирования», IEEE Transactions on Software Engineering 42 (9): 805-824 (2016). дои: https://doi.org/10.1109/TSE.2016.2532875 .
- ^ Ж.-М. Брюэль; БХК Ченг; С. Истербрук; РБ Франция; Б. Румпе (1998). «Интеграция формальных и неформальных методов спецификации: почему? Как?» (PDF) . Материалы 2-го семинара IEEE по методам формальных спецификаций промышленной прочности. Лос-Аламитос, Калифорния: Компьютерное общество IEEE. стр. 50–57. дои : 10.1109/WIFT.1998.766297 .
- ^ «Графические проекты проф. Т.Х. Це» . Университет Гонконга . Проверено 1 января 2018 г.
- ^ Т.Х. Це (1988). На пути к унификации моделей разработки структурированных систем (доктор философии). Лондонская школа экономики.
- ^ «Профессор Т.Х. Це» . Университет Гонконга . Проверено 17 февраля 2020 г.
- ^ «Совет и комитеты» (PDF) , Годовой отчет за 2015/2016 гг . , Общественный фонд Гонконга , 2016 г. , получено 9 февраля 2021 г.
- ^ «Симпозиум по инженерным испытательным устройствам» . Сайты Google . 2013 . Проверено 15 декабря 2021 г.
- ^ «Открытие инновационного крыла Tam Wing Fan в HKU: производственное пространство, объединяющее междисциплинарных студентов с инновационными идеями и передовыми технологиями» . Университет Гонконга . 1 декабря 2020 г. Проверено 19 февраля 2023 г.
- ^ «Глубокие корни инноваций: крыло инноваций Tam Wing Fan смотрит в будущее» . Информационный бюллетень о созыве . Лето 2018 года . Проверено 19 февраля 2023 г.
- ^ ZQ Чжоу; ТД Це; М. Уитеридж (2021). «Тестирование метаморфической устойчивости: выявление скрытых дефектов в статистике цитирования и импакт-факторах журналов» . Транзакции IEEE по разработке программного обеспечения . 47 (6): 1164–1183. дои : 10.1109/TSE.2019.2915065 .
- ^ ZQ Чжоу; ТД Це; М. Уитеридж (2020). «Расширенное резюме статьи «Тестирование метаморфической устойчивости: выявление скрытых дефектов в статистике цитирования и импакт-факторах журналов»» . IEEE/ACM 42-я Международная конференция по разработке программного обеспечения ( ICSE '20 ).
- ^ Jump up to: а б Докрилл, Питер (9 июня 2019 г.). «Исследование утверждает, что один знак препинания исказил нашу научную систему ранжирования» . НаукаАлерт . Проверено 27 января 2020 г.
- ^ Крю, Бек (7 августа 2019 г.). «Исследования предлагают 5 способов увеличить количество цитирований» . природы Индекс . Проверено 27 января 2020 г.
- ^ «Один знак препинания исказил всю нашу систему научных рейтингов» . Коммуникации АКМ . 10 июня 2019 г. Проверено 27 января 2020 г.
- ^ Бергланд, Кристофер (3 июня 2019 г.). «Один маленький дефис в названии может снизить академическую успеваемость» . Психология сегодня . Проверено 27 января 2020 г.
- ^ «Дефисы портят цитаты из исследований: Исследование» . Австралиец . 5 июня 2019 года . Проверено 27 января 2020 г.
- ^ «Журнал систем и программного обеспечения: главный обладатель награды за самую влиятельную бумагу» . Ютуб . Проверено 16 июля 2021 г.
- ^ Тай Чен; Ф.-К. Куо; Р.Г. Меркель; ТД Це (2010). «Адаптивное случайное тестирование: ИСКУССТВО разнообразия тестовых примеров» . Журнал систем и программного обеспечения . 83 (1): 60–66. дои : 10.1016/j.jss.2009.02.022 . hdl : 10722/89054 .
- ^ «Лучшие публикации: Программные системы» . Google Академик . Проверено 27 февраля 2023 г.
- ^ Дэвид Ло (председатель SIGSOFT Awards); Томас Циммерманн (председатель SIGSOFT) (17 января 2024 г.). «SIGSOFT Awards 2024» . ACM SIGSOFT Блог . Проверено 1 апреля 2024 г.
- ^ «Достижение персонала» . Инженерный факультет Гонконгского университета . Проверено 1 апреля 2024 г.
- ^ Jump up to: а б с «Награда за выдающиеся исследования» . СИГСОФТ . Проверено 1 апреля 2024 г.
- ^ «ТД Це». Рекомендуемый рецензент: текущий профиль . Обзоры вычислений ACM . Июль 2024.