Testing – Practice and Research Techniques: 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings

پیامی از TAIC PART 2010 Chair General TAIC PART یک رویداد منحصر به فرد است که می کوشد جنبه های یک کنفرانس، یک کارگاه و یک عقب نشینی را ترکیب کند. هدف آن گرد هم آوردن صنعت گران و دانشگاهیان در محیطی است که همکاری اساسی در زمینه آزمایش نرم افزار را ترویج می کند. در میان طیف گسترده‌ای از موضوعات در علوم کامپیوتر و مهندسی نرم‌افزار، آزمون نرم‌افزار یک کاندیدای ایده‌آل برای همکاری دانشگاهی و صنعتی است، زیرا پیشرفت‌های پژوهشی می‌تواند پیامدهای گسترده و گسترده‌ای برای صنعت داشته باشد. برعکس، پیشرفت‌ها در فن‌آوری‌های کامپیوتری و ارتباطات و رشد فعالیت‌های مهندسی نرم‌افزار مرتبط، چالش‌های تحقیقاتی جدیدی را با نرخ فزاینده‌ای ایجاد می‌کنند. مشکلاتی که در تست نرم افزار بوجود می آیند به مشکلاتی مربوط می شوند که در بسیاری از مناطق دیگر از محاسبات بوجود می آیند. از این رو، آزمایش تحقیق شامل طیف وسیعی از عناصر است که کار نظری تجزیه و تحلیل برنامه و روش های رسمی و نمایش های مرتبط مانند ماشین های حالت نیمه و نمودارهای وابستگی را در بر می گیرد. پیچیدگی ذاتی تست نرم افزار منجر به دخالت روش های اکتشافی شده است. تست نرم افزار نیز یک فعالیت انسانی است و بنابراین درگیر روانشناسی، جامعه شناسی و حتی فلسفه شده است. این وسعت و عمق شگفت‌انگیز، مشکلات تست نرم‌افزار را برای چندین دهه برای دانشگاهیان جذاب کرده است.

A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists and academics in an environment that promotes fundamental collaborationon pr- lems in software testing. Among the wide range of topics in computer science andsoftwareengineering,softwaretesting is anidealcandidatefor academicand industrialcollaborationbecauseadvancesinresearchcanhavesuchwide-ranging and far-reaching implications for industry. Conversely, the advances in comp- ing and communications technology and the growth of the associated software engineering activity are producing new researchchallengesat an increasing rate. The problems that arise in software testing are related to the problems that ariseinmanyotherareasofcomputing.Assuch,testingresearchcombinesawide range of elements encompassing the theoretical work of program analysis and formal methods and the associated representations such as ?nite-state machines and dependence graphs. The inherent complexity of software testing has led to the involvement of heuristic methods. Software testing is also a human activity and has thus seen the involvement of psychology,sociologyand even philosophy. This astonishing breadth and depth have made the problems of software testing appealing to academics for several decades.