دانلود کتاب Testing – Practice and Research Techniques: 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
کتاب آزمایش - تکنیک های عملی و پژوهشی: پنجمین کنفرانس بین المللی علمی و صنعتی ، TAIC PART 2010 ، ویندزور ، انگلیس ، 3-5 سپتامبر ، 2010. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب آزمایش - تکنیک های عملی و پژوهشی: پنجمین کنفرانس بین المللی علمی و صنعتی ، TAIC PART 2010 ، ویندزور ، انگلیس ، 3-5 سپتامبر ، 2010. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Testing – Practice and Research Techniques: 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
نام کتاب : Testing – Practice and Research Techniques: 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : آزمایش - تکنیک های عملی و پژوهشی: پنجمین کنفرانس بین المللی علمی و صنعتی ، TAIC PART 2010 ، ویندزور ، انگلیس ، 3-5 سپتامبر ، 2010. مجموعه مقالات
سری : Lecture Notes in Computer Science 6303 : Programming and Software Engineering
نویسندگان : Bertrand Meyer (auth.), Leonardo Bottaci, Gordon Fraser (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2010
تعداد صفحات : 229
ISBN (شابک) : 3642155847 , 9783642155840
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
پیامی از TAIC PART 2010 Chair General TAIC PART یک رویداد منحصر به فرد است که می کوشد جنبه های یک کنفرانس، یک کارگاه و یک نشست را با هم ترکیب کند. هدف آن گرد هم آوردن صنعت گران و دانشگاهیان در محیطی است که همکاری اساسی را در زمینه آزمایش نرم افزار ترویج می کند. در میان طیف گسترده ای از موضوعات در علوم کامپیوتر و مهندسی نرم افزار، تست نرم افزار یک کاندیدای ایده آل برای همکاری دانشگاهی و صنعتی است زیرا پیشرفت در تحقیقات می تواند پیامدهای گسترده و گسترده ای برای صنعت داشته باشد. برعکس، پیشرفتها در فناوری ارتباطات و کامپیوتر و رشد فعالیتهای مهندسی نرمافزار مرتبط، چالشهای تحقیقاتی جدیدی را با سرعت فزایندهای ایجاد میکند. مشکلاتی که در تست نرم افزار بوجود می آیند به مشکلاتی مربوط می شوند که در بسیاری از مناطق دیگر از محاسبات بوجود می آیند. از این رو، آزمایش تحقیق طیف وسیعی از عناصر را ترکیب می کند که کار نظری تجزیه و تحلیل برنامه و روش های رسمی و نمایش های مرتبط مانند ماشین های حالت نیمه و نمودارهای وابستگی را در بر می گیرد. پیچیدگی ذاتی تست نرم افزار منجر به دخالت روش های اکتشافی شده است. تست نرم افزار نیز یک فعالیت انسانی است و بنابراین درگیر روانشناسی، جامعه شناسی و حتی فلسفه شده است. این وسعت و عمق شگفتانگیز، مشکلات تست نرمافزار را برای چندین دهه برای دانشگاهیان جذاب کرده است.
فهرست مطالب :
Front Matter....Pages -
Automatic Testing and Fixing for Eiffel....Pages 1-4
Testing and Proving, Hand-in-Hand....Pages 5-6
Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing....Pages 7-7
Masking Boundary Value Coverage: Effectiveness and Efficiency....Pages 8-22
Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang....Pages 23-38
Bad Pairs in Software Testing....Pages 39-55
Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs....Pages 56-71
Filtering Test Models to Support Incremental Testing....Pages 72-87
Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging?....Pages 88-103
Linguistic Security Testing for Text Communication Protocols....Pages 104-117
An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation....Pages 118-128
TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization....Pages 129-136
A Fault Injection Tool for Testing Web Services Composition....Pages 137-146
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models....Pages 147-154
A Generic Approach to Run Mutation Analysis....Pages 155-164
The Practical Assessment of Test Sets with Inductive Inference Techniques....Pages 165-172
Mining API Popularity....Pages 173-180
Automatic Discovery of Unspecified Behaviors in Automotive Control Software....Pages 181-188
An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information....Pages 189-193
A Multi-criteria Decision Making Framework for Real Time Model-Based Testing....Pages 194-197
Improved Testing through Refactoring: Experience from the ProTest Project....Pages 198-202
Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements....Pages 203-206
A New Approach for Software Testability....Pages 207-210
DOM Transactions for Testing JavaScript....Pages 211-214
The GZoltar Project: A Graphical Debugger Interface....Pages 215-218
Back Matter....Pages -
توضیحاتی در مورد کتاب به زبان اصلی :
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.
پست ها تصادفی