Testing Habits

This is a very interesting discussion with Raluca Marinescu, Traction Control Engineer at Alstom, and Daran Smalley, Brakes Subsystem manager at the same company. They are joined by Muhammad Abbas and Sarmad Bashir, researchers and PhD students at RISE and Mälardalen University and Jean Malm, Teacher and PhD student at the same university. We cover some ground related to model-based system engineering, test automation, testing, Simulink, requirements engineering, and code quality. Podcast supported by the SmartDelta Project: https://smartdelta.org/

I am covering the software-related failure of the Patriot Missile Defense System during the Gulf War in 1991. Tragically, the missile hit an Army barracks, killing 28 and injuring 97. The root cause of the failure can be traced to several fundamental software aspects. This is a new series about historical software failures, errors and bugs and what we can learn from them from a software engineering and testing perspective. Music credit: freesound.org/s/539303/ Photo credit: www.nato.int/multi/photos/2003/m030306a.htm References: https://www.gao.gov/products/imtec-92-26 https://ieeexplore.ieee.org/document/4085640

Eduard Enoiu speaks with Markus Borg about software engineering intelligence, AI engineering, chatGPT, safe AI, requirements engineering for AI, AI regulations and many other topics. Markus Borg is a Principal Researcher at CodeScene and an Associate Professor at Lund University. Markus works at the intersection of applied artificial intelligence and software engineering. He is on the editorial board of the Empirical Software Engineering Journal and is a department editor for the IEEE Software magazine. Contact him at http://mrksbrg.com/, markus.borg@codescene.com or @mrksbrg Podcast supported by SmartDelta project: https://smartdelta.org/

In this episode of the Testing Habits podcast, Eduard Enoiu talks to Inderjeet Singh about his experiences as a practitioner in the safety-critical domain, SmartDelta project, communication and human aspects of software development. Inderjeet Singh has vast experience (10+ years) in software development and people management, experience of building teams from scratch and managing multiple projects and teams in Parallel. He has experience of working in various roles within Alstom starting as Embedded Engineer, Project Lead and currently he is head of software development and testing team. In addition, He is also responsible for all R & D coordination (internal & external) for TC & IS department at Alstom Västerås and leading three R & D projects (European or national funded) for TC & IS Alstom Västerås site. He is also designated Site Patent officer for Alstom Västerås site. For information about the Inderjeet: https://www.linkedin.com/in/inderjeet-singh-5a433326/ His paper on the “Comparison of Cross-Platform Mobile Development Tools”: https://www-sop.inria.fr/members/Inderjeet.Singh/06376023.pdf Podcast supported by SmartDelta project.

In this episode of the Testing Habits podcast, Eduard Enoiu talks to Professor Serge Demeyer about software evolution, software testing, test automation, education and many other topics. Serge Demeyer is a professor at the University of Antwerp (Department of Mathematics and Computer Science) and the spokesperson for the ANSYMO (Antwerp System Modelling) research group. He directs a research lab investigating the theme of “Software Reengineering” (LORE - Lab On REengineering). In 2007 he received a “Best teacher” award from the Faculty of Sciences at the University of Antwerp. As a consequence he remains very active in all matters related to teaching quality. His main research interest concerns software reengineering, more specifically the evolution of object-oriented software systems. He is an active member of the corresponding international research communities, serving in various conference organization and program committees. The University of Antwerp hosted a number of influential scientific conferences among others the 15th edition of the “Working Conference on Reverse Engineering” (WCRE) in September 2008; the 25th edition of the renowned “Automated Software Engineering Conference” (ASE) in September 2010 and (last but not least) the “Software Evolution Week” (CSMR-WCRE 2013) in February 2013. He has written a book entitled “Object-Oriented Reengineering” and edited a book on “Software Evolution”. He also authored numerous peer reviewed articles, many of them in highly respected scientific journals. He completed his M.Sc. in 1987 and his Ph.D. in 1996, both at the “Vrije Universiteit Brussel”. After his Ph.D., he worked for three years in Switzerland, where he served as a technical co-ordinator of an European research project. Switzerland remains near and dear to his heart, witness the sabbatical leave during 2009-2010 at the University of Zürich in the research group SEAL. For information about Serge: https://win.uantwerpen.be/~sdemey/, https://twitter.com/DemeyerSerge Podcast supported by SmartDelta project.

Eduard is focusing on a failure that leaves planes grounded, full self-driving software that may cause crashes, plans to get tech firms to bake security into their products, ChatGPT-written malware, logic controller flaw, network vulnerabilities, and automation in safety-critical systems. Podcast supported by SmartDelta and VeriDevOps projects. Links: https://www.bbc.co.uk/news/business-64652835 https://www.engadget.com/tesla-recalls-over-360000-vehicles-for-full-self-driving-crash-risk-180110819.html https://www.businessinsider.com/tesla-fsd-full-self-driving-autopilot-risk-criticism-martin-eberhard-2023-2 https://www.washingtonpost.com/politics/2023/02/06/how-cisa-plans-get-tech-firms-bake-security-into-their-products/ https://arstechnica.com/information-technology/2023/01/chatgpt-is-enabling-script-kiddies-to-write-functional-malware/ https://www.cbc.ca/news/science/bing-chatbot-ai-hack-1.6752490 https://www.wired.com/story/siemens-s7-1500-logic-controller-flaw/ https://www.newscientist.com/article/2354844-hackers-can-make-computers-destroy-their-own-chips-with-electricity/ https://samcurry.net/web-hackers-vs-the-auto-industry/ https://www.bbc.com/news/business-59737194 https://thehackernews.com/2021/12/new-mobile-network-vulnerabilities.html https://www.bbc.com/news/technology-59810383 https://www.wired.com/story/russia-jfk-taxi-hack-security-roundup https://www.wired.com/story/a-fight-over-automation-plans-at-us-hydroelectric-dams https://www.smithsonianmag.com/smart-news/outdoor-cats-are-using-500-starlink-satellite-dishes-as-self-heating-beds-180979401/ Interesting papers: https://www.carolemieux.com/codamosa_icse23.pdf https://arxiv.org/pdf/2302.10166.pdf https://dl.acm.org/doi/pdf/10.1145/3585004 https://reader.elsevier.com/reader/sd/pii/S0164121223000420?token=C00E0F6F29C70D7A9D1537234CF576BB03A4BFC56973A15B2409C187BAEF0D4FF31462431340A1C51C6816F6C57B72E2&originRegion=eu-west-1&originCreation=20230228190324

Eduard is focusing on ChatGPT, AI, FTX, security vulnerabilities, and some trends in cybersecurity. Also, he is sharing his opinions on two scientific papers on testing and automated feedback generation in education. Podcast supported by SmartDelta and VeriDevOps projects. Links: https://www.nytimes.com/2022/12/15/opinion/chatgpt-education-ai-technology.html https://thenewstack.io/chatgpt-smart-but-not-smart-enough/ https://www.nplusonemag.com/issue-44/essays/human_fallback/ https://www.pcmag.com/news/researcher-exploits-power-supply-to-transmit-steal-data-from-a-pc https://www.sipri.org/publications/2022/other-publications/cyber-posture-trends-china-russia-united-states-and-european-union https://arxiv.org/pdf/2212.07566.pdf https://jedm.educationaldatamining.org/index.php/JEDM/article/view/612

In this episode, Eduard Enoiu, in his docent lecture, talks about some of the challenges of quality assurance in the industry. Eduard is an associate professor at Mälardalen University and does research on a diverse array of topics in software development, including requirements modelling, analysis and assurance, product line engineering, the ethical and human aspects of software testing, mutation testing, security testing, automated test generation in industrial practice, the use of model checking for engineering better systems, and the nature of creating efficient and effective tests. This podcast is supported by the SmartDelta and VeriDevOps projects.

Tom Ostrand is a senior researcher at Mälardalen University in Sweden and a visiting scholar at Rutgers University. Tom has contributed to the theory and practice of software testing and fault prediction. Tom has studied large software systems at AT&T, Siemens, and Univac during his career. In this conversation, Eduard and Tom talk about his early career, his work in fault prediction. Also, Tom gives some advice to students and young researchers pursuing a career in software engineering.

Robert Feldt is a professor of software engineering at the Chalmers University of Technology in Gothenburg, Sweden. Since April 2017 he is the co-Editor in Chief of the Empirical Software Engineering Journal. In this conversation, Eduard and Robert talk about his path to being a researcher and they also cover different topics in software engineering and computer science.

In this episode, Eduard's talk covers different topics in software testing, including test design, human aspects of testing and testing of embedded systems. This is a talk initially given to the students taking the Embedded Systems 1 course at Mälardalen University in September 2020. Some useful links: https://www.amazon.com/Introduction-Software-Testing-Paul-Ammann/dp/0521880386 http://www.es.mdh.se/publications/5493-Information_Flow_in_Software_Testing____An_Interview_Study_with_Embedded_Software_Engineering_Practitioners http://www.es.mdh.se/publications/5864-Towards_a_Model_of_Testers__Cognitive_Processes__Software_Testing_as_a_Problem_Solving_Approach

I think it is the right time to go back in time to November 2016 when I defended my PhD and share with you my talk on automatic test generation. I am uploading here the actual PhD presentation. After this presentation, Professor Mats Heimdahl from University of Minnesota had the "daunting" task of debating this contribution. Fortunately (for me), I successfully defended my thesis. Now, after almost 4 years, I want to share this material with you. I hope you will enjoy listening to it. Material recorded by the ARRAY Industrial School. If you want to read the thesis, you can always check this website: http://www.es.mdh.se/pdf_publications/4530.pdf

Per Erik Strandberg is a researcher, engineer and mathematician that worked for more than a decade with software development, software testing, test leading and test automation in the domains of embedded, rail, nuclear, web and mathematics software. Websites: http://www.pererikstrandberg.se/ http://www.es.mdh.se/staff/3335-Per_Erik_Strandberg

Tom Ostrand is a senior researcher at Mälardalen University in Sweden and a visiting scholar at Rutgers University. Tom has contributed to the theory and practice of software testing and fault prediction. Tom has studied large software systems at AT&T, Siemens, and Univac during his career. In this conversation, Eduard and Tom talk about his early career, his work in fault prediction. Also, Tom gives some advice to students and young researchers pursuing a career in software engineering.

Robert Feldt is a professor of software engineering at Chalmers University of Technology in Gothenburg, Sweden. Since April 2017 he is the co-Editor in Chief of the Empirical Software Engineering Journal. In this conversation, Eduard and Robert talk about his path to being a researcher and they also cover different topics in software engineering and computer science.