相關主題
商品描述
What the experts have to say about Model-Based Testing for Embedded Systems:
"This book is exactly what is needed at the exact right time in this fast-growing area. From its beginnings over 10 years ago of deriving tests from UML statecharts, model-based testing has matured into a topic with both breadth and depth. Testing embedded systems is a natural application of MBT, and this book hits the nail exactly on the head. Numerous topics are presented clearly, thoroughly, and concisely in this cutting-edge book. The authors are world-class leading experts in this area and teach us well-used and validated techniques, along with new ideas for solving hard problems.
"It is rare that a book can take recent research advances and present them in a form ready for practical use, but this book accomplishes that and more. I am anxious to recommend this in my consulting and to teach a new class to my students."
--Dr. Jeff Offutt, professor of software engineering, George Mason University, Fairfax, Virginia, USA
"This handbook is the best resource I am aware of on the automated testing of embedded systems. It is thorough, comprehensive, and authoritative. It covers all important technical and scientific aspects but also provides highly interesting insights into the state of practice of model-based testing for embedded systems."
--Dr. Lionel C. Briand, IEEE Fellow, Simula Research Laboratory, Lysaker, Norway, and professor at the University of Oslo, Norway
"As model-based testing is entering the mainstream, such a comprehensive and intelligible book is a must-read for anyone looking for more information about improved testing methods for embedded systems. Illustrated with numerous aspects of these techniques from many contributors, it gives a clear picture of what the state of the art is today."
--Dr. Bruno Legeard, CTO of Smartesting, professor of Software Engineering at the University of Franche-Comt , Besan on, France, and co-author of Practical Model-Based Testing
商品描述(中文翻譯)
專家對於《嵌入式系統的模型基測試》有何評價：
「這本書正是這個快速成長領域所需的，恰逢其時。從十多年前從UML狀態圖衍生測試開始，模型基測試已經發展成為一個具有廣度和深度的主題。測試嵌入式系統是MBT的自然應用，而這本書正中要害。書中清晰、徹底且簡潔地呈現了許多主題，這是一本前沿的書籍。作者是這個領域的世界級專家，教導我們經過良好使用和驗證的技術，以及解決困難問題的新思路。」
——美國維吉尼亞州喬治梅森大學軟體工程教授 Jeff Offutt 博士
「一本書能夠將最近的研究進展以實用的形式呈現出來是非常罕見的，但這本書做到了這一點，甚至更多。我迫不及待想在我的諮詢中推薦這本書，並為我的學生開設一門新課程。」
——挪威Lysaker的Simula研究實驗室IEEE Fellow Lionel C. Briand 博士，以及挪威奧斯陸大學教授
「這本手冊是我所知道的關於嵌入式系統自動化測試的最佳資源。它徹底、全面且權威。它涵蓋了所有重要的技術和科學方面，還提供了對嵌入式系統模型基測試實踐狀態的非常有趣的見解。」
——法國Besançon的Franche-Comté大學軟體工程教授、Smartesting首席技術官 Bruno Legeard 博士，以及《實用模型基測試》的共同作者
「隨著模型基測試進入主流，這樣一本全面且易於理解的書籍對於任何尋求有關嵌入式系統改進測試方法的資訊的人來說都是必讀之作。書中展示了來自許多貢獻者的這些技術的多個方面，清晰地描繪了當前的技術狀態。」
——法國Besançon的Franche-Comté大學軟體工程教授、Smartesting首席技術官 Bruno Legeard 博士，以及《實用模型基測試》的共同作者
作者簡介
Justyna Zander is a postdoctoral research scientist at Harvard University (Harvard Humanitarian Initiative) in Cambridge (Boston Area) MA, USA (since 2009) and Project Manager at the Fraunhofer Institute for Open Communication Systems in Berlin, Germany (since 2004).
She holds Ph.D. (2008) and M.Sc. (2005), both in the fields of Computer Science and Electrical Engineering from Technical University Berlin in Germany, B.Sc. (2004) in Computer Science, and B.Sc. in Environmental Protection and Management from Gdansk University of Technology in Poland (2003).
She graduated from the Singularity University, Mountain View, CA, USA as one of the forty participants selected from 1200 applications in 2009. For her scientific efforts Dr. Zander received grants and scholarships from such institutions as Polish Prime Ministry (1999-2000), Polish Ministry of Education and Sport awarded to 0.04% students in Poland (2001-2004), German Academic Exchange Service (2002), European Union (2003-2004), Hertie Foundation (2004-2005), IFIP TC6 (2005), IEEE (2006), Siemens (2007), Metodos y Tecnologia (2008), Singularity University (2009), and Fraunhofer Gesellschaft (2009-2010). Her doctoral thesis on model-based testing was supported by the German National Academic Foundation with a grant awarded to 0.31% students in Germany (2005-2008).
Ina Schieferdecker studied Mathematical Computer Science at Humboldt-University Berlin and did her Ph.D. in 1994 at Technical University Berlin on performance-extended specifications and analysis of Quality of Service characteristics. Since 1997, she is heading the Competence Center for Testing, Interoperability and Performance (TIP) at the Fraunhofer Institute on Open Communication Systems (FOKUS), Berlin and is heading now the Competence Center Modelling and Testing for System and Service Solutions (MOTION).She is Professor on Engineering and Testing of Telecommunication Systems at Technical University Berlin since 2003.
Prof. Schieferdecker works since 1994 in the area of design, analysis, testing and evaluation of communication systems using specification-based techniques like Unified Modeling Language, Message Sequence Charts and Testing and Test Control Notation (TTCN-3). Prof. Schieferdecker authored many scientific publications in the area of system development and testing. She is co-founder of the Testing Technologies IST GmbH, Berlin and member of the German Testing Board. She received in 2004 the Alfried Krupp von Bohlen und Halbach Award for Young Professors and became member of the German Academy of Technical Sciences in 2009. Her work on this book has partially being supported by the Alfried Krupp von Bohlen und Halbach Stiftung.
Pieter J. Mosterman is a Senior Research Scientist at MathWorks in Natick, MA where he works on core Simulink(R) simulation and code generation technologies and an Adjunct Professor at the School of Computer Science of McGill University. Before, he was a Research Associate at the German Aerospace Center (DLR) in Oberpfaffenhofen. He has a Ph.D. degree in Electrical and Computer Engineering from Vanderbilt University in Nashville, TN, and a M.Sc. degree in Electrical Engineering from the University of Twente, Netherlands. His primary research interests are in Computer Automated Multiparadigm Modeling (CAMPAM) with principal applications in design automation, training systems, and fault detection, isolation, and reconfiguration. He designed the Electronics Laboratory Simulator, nominated for The Computerworld Smithsonian Award by Microsoft Corporation in 1994. In 2003, he was awarded the IMechE Donald Julius Groen Prize for a paper on HyBrSim, a hybrid bond graph modeling and simulation environment. Prof. Mosterman received the The Society for Modeling and Simulation International (SCS) Distinguished Service Award in 2009 for his services as Editor-in-Chief of SIMULATION: Transactions of SCS. Dr. Mosterman is or was involved as Associate Editor with the International Journal of Critical Computer Based Systems, the Journal of Defense Modeling and Simulation, the International Journal of Control and Automation, Applied Intelligence, and IEEE Transactions on Control Systems Technology (TCST).
作者簡介(中文翻譯)
Justyna Zander 是哈佛大學（Harvard Humanitarian Initiative）的一名博士後研究科學家，位於美國麻薩諸塞州劍橋（波士頓地區），自2009年以來擔任此職位，同時也是德國柏林弗勞恩霍夫開放通信系統研究所的專案經理，自2004年以來擔任此職位。
她擁有德國柏林工業大學的計算機科學和電氣工程領域的博士學位（2008年）和碩士學位（2005年），以及波蘭格但斯克科技大學的計算機科學學士學位（2004年）和環境保護與管理學士學位（2003年）。
她於2009年從奇點大學（Singularity University）畢業，當時是從1200份申請中選出的四十名參與者之一。因其科學努力，Zander博士獲得了來自多個機構的獎助金和獎學金，包括波蘭總理辦公室（1999-2000年）、波蘭教育與體育部（2001-2004年，頒發給波蘭0.04%的學生）、德國學術交流服務（2002年）、歐洲聯盟（2003-2004年）、赫爾蒂基金會（2004-2005年）、IFIP TC6（2005年）、IEEE（2006年）、西門子（2007年）、Metodos y Tecnologia（2008年）、奇點大學（2009年）和弗勞恩霍夫協會（2009-2010年）。她的博士論文關於基於模型的測試，得到了德國國家學術基金會的支持，該基金會的獎助金頒發給德國0.31%的學生（2005-2008年）。
Ina Schieferdecker 在柏林洪堡大學學習數學計算機科學，並於1994年在柏林工業大學獲得博士學位，研究主題為性能擴展規範和服務質量特徵的分析。自1997年以來，她一直負責柏林弗勞恩霍夫開放通信系統研究所（FOKUS）的測試、互操作性和性能（TIP）能力中心，並目前負責系統和服務解決方案建模與測試（MOTION）能力中心。
自2003年以來，她在柏林工業大學擔任電信系統工程與測試的教授。
Schieferdecker教授自1994年以來一直在設計、分析、測試和評估通信系統的領域工作，使用基於規範的技術，如統一建模語言（Unified Modeling Language）、消息序列圖（Message Sequence Charts）和測試與測試控制標記法（TTCN-3）。Schieferdecker教授在系統開發和測試領域發表了許多科學出版物。她是柏林測試技術IST GmbH的共同創辦人，也是德國測試委員會的成員。她於2004年獲得阿爾弗雷德·克魯普·馮·博倫和哈爾巴赫年輕教授獎，並於2009年成為德國技術科學院的成員。她在本書上的工作部分得到了阿爾弗雷德·克魯普·馮·博倫和哈爾巴赫基金會的支持。
Pieter J. Mosterman 是位於麻薩諸塞州納提克的MathWorks的高級研究科學家，專注於核心Simulink(R)模擬和代碼生成技術，同時也是麥吉爾大學計算機科學學院的兼任教授。在此之前，他曾是德國航空航天中心（DLR）奧伯帕芬霍芬的研究助理。他擁有田納西州范德比大學的電氣與計算機工程博士學位，以及荷蘭特溫特大學的電氣工程碩士學位。他的主要研究興趣在於計算機自動多範式建模（CAMPAM），主要應用於設計自動化、訓練系統以及故障檢測、隔離和重配置。他設計的電子實驗室模擬器於1994年被微軟公司提名為計算機世界史密森獎。2003年，他因一篇關於HyBrSim的論文獲得IMechE唐納德·朱利烏斯·格倫獎，該論文涉及一種混合鍵結圖建模和模擬環境。Mosterman教授於2009年因擔任《模擬：SCS交易》的主編而獲得國際模擬與建模學會（SCS）傑出服務獎。Mosterman博士曾擔任《國際關鍵計算機系統期刊》、《國防建模與模擬期刊》、《國際控制與自動化期刊》、《應用智能》和《IEEE控制系統技術交易》（TCST）的副編輯。
