Основы тестирования и верификации программного обеспечения (4221794)
![Основы тестирования и верификации программного обеспечения (4221794)](http://content1.rozetka.com.ua/goods/images/original/182493102.jpg)
Лань
sku: 300875903
ACCORDING TO OUR RECORDS THIS PRODUCT IS NOT AVAILABLE NOW
2,471.00 грн.
Shipping from: Ukraine
Description
Настоящее пособие предназначено для будущих программистов, которым необходимо знать основы тестирования программных продуктов, принципы работы в команде с тестировщиками, необходимость и основы верификации и моделирования программного обеспечения. Цель пособия - пересмотреть отношение разработчиков к качеству современного программного обеспечения. В первой части пособия рассматриваются способы тестирования, спецификации программного обеспечения, документирование, модульное тестирование в средах IntelliJ IDEA, MS Visual Studio, изучаются методы разработки программного обеспечения, исходя от тестирования (TDD) и поведения (BDD) в среде IDEA на языке Java, рассматривается функциональное автоматизированное тестирование в среде IBM Rational Tester, тестирование Web-приложений с помощью Selenium. Вторую часть пособия занимают перспективные методы, связанные с верификацией и моделированием ПО. Рассматривается технология разработки и проектирования - контрактное программирование и язык Eiffel, .NET Code Contracts, технология Model Based Testing и средство MS Spec Explorer, Model Based Checking и средство Spin в среде iSpin, платформа Frama-C. Пособие может быть использовано на специальности`Программная инженерия`и родственных специальностях, для работы с пособием необходимы навыки разработки взаимодействующих с пользователем приложений на одном из объектно-ориентированных языков, знания математической логики и теории автоматов.2-е издание, стереотипное.
Technical Details
categoryTitle: | Научная и техническая литература |
Price history chart & currency exchange rate
Customers also viewed
![Анисимова Е.С. (Ведьма Чёрная Ночь) "Книга Ведьмы: Основы некромантии"
Анисимова Е.С. (Ведьма Чёрная Ночь) "Книга Ведьмы: Основы некромантии"](http://happywitch.ru/upload/images/products/850/8505202f-8dae-11e7-a216-0cc47a345491.jpg)
+8%
15%
~ 1,820.00 грн.
Анисимова Е.С. (Ведьма Чёрная Ночь) "Книга Ведьмы: Основы некромантии"
happywitch.ru![VEVOR Набор для тестирования гидравлического манометра для экскаваторной техники 8600PSI
VEVOR Набор для тестирования гидравлического манометра для экскаваторной техники 8600PSI](http://image.vevor.com/ru%2FYLB11JTTZ00000001V0%2Fgoods_img-v1%2Fpressure-gauge-m100-1.2.jpg?timestamp=1633746030000)
+9%
4%
~ 2,590.00 грн.
VEVOR Набор для тестирования гидравлического манометра для экскаваторной техники 8600PSI
vevor.com![VEVOR Набор для тестирования гидравлического манометра для экскаваторной техники 8600PSI
VEVOR Набор для тестирования гидравлического манометра для экскаваторной техники 8600PSI](http://image.vevor.com/ru%2FYLB6GJTTZ00000001V0%2Fgoods_img-v1%2Fpressure-gauge-m100-1.2.jpg?timestamp=1633745913000)
+9%
2%
~ 1,810.00 грн.
VEVOR Набор для тестирования гидравлического манометра для экскаваторной техники 8600PSI
vevor.com![Vintage Marble Acetate Hair Clips Set For Women Hairpins For Hair Accessories Girls Leopard Pattern Hair Barrettes Hair Styling
Vintage Marble Acetate Hair Clips Set For Women Hairpins For Hair Accessories Girls Leopard Pattern Hair Barrettes Hair Styling](http://ae01.alicdn.com/kf/S16c7ec71428e49e483f01681189daa23e.jpg)
+2%
1%
~ 12.30 грн.
Vintage Marble Acetate Hair Clips Set For Women Hairpins For Hair Accessories Girls Leopard Pattern Hair Barrettes Hair Styling
aliexpress.com![Noisydesigns Women Blouse Black Music Note Pop Female Daily Loose Casual Autumn Off Shoulder Top Ladies Boat Neck Spring Tshirt
Noisydesigns Women Blouse Black Music Note Pop Female Daily Loose Casual Autumn Off Shoulder Top Ladies Boat Neck Spring Tshirt](http://ae01.alicdn.com/kf/H12d30dcc753c4db28432b1d339d4e490g.jpg)
+2%
1%
~ 1,070.00 грн.
Noisydesigns Women Blouse Black Music Note Pop Female Daily Loose Casual Autumn Off Shoulder Top Ladies Boat Neck Spring Tshirt
aliexpress.com![Футболка мужская с круглым вырезом, Повседневная рубашка в стиле унисекс, с рисунком кота, с коротким рукавом, с 3D-принтом, в стиле Хо, лето
Футболка мужская с круглым вырезом, Повседневная рубашка в стиле унисекс, с рисунком кота, с коротким рукавом, с 3D-принтом, в стиле Хо, лето](http://ae04.alicdn.com/kf/Se81ef476c3964ca393711dc9fc7e9e971.jpg)
+6%
1%
~ 110.00 грн.
Футболка мужская с круглым вырезом, Повседневная рубашка в стиле унисекс, с рисунком кота, с коротким рукавом, с 3D-принтом, в стиле Хо, лето
aliexpress.ru![new scalloped edges envelope clutch bag lady shoulder bags with chain women day clutches purse wholesale
new scalloped edges envelope clutch bag lady shoulder bags with chain women day clutches purse wholesale](http://www.dhresource.com/600x600/f2/albu/g9/M00/AB/83/rBVaWF2diPuAQcAZAAK2wF_5YDs298.jpg)
+6%
1%
~ 37,970.00 грн.
new scalloped edges envelope clutch bag lady shoulder bags with chain women day clutches purse wholesale
dhgate.com![Роликовые петли для раздвижной двери для новых ранней модели Vito W639 Viano W639, раздвижные двери, верхние правые A6397600100 6397600100
Роликовые петли для раздвижной двери для новых ранней модели Vito W639 Viano W639, раздвижные двери, верхние правые A6397600100 6397600100](http://ae01.alicdn.com/kf/S650b760d9f8249478c8a829df65f6504L.jpg)
+1%
1%
~ 1,340.00 грн.
Роликовые петли для раздвижной двери для новых ранней модели Vito W639 Viano W639, раздвижные двери, верхние правые A6397600100 6397600100
aliexpress.ru![Colorful Retro Harajuku Travis Scott Trend Funny Cotton Cactus Jack Funny Socks Women Cashew Flower Skate Women Street Long Sock
Colorful Retro Harajuku Travis Scott Trend Funny Cotton Cactus Jack Funny Socks Women Cashew Flower Skate Women Street Long Sock](http://ae01.alicdn.com/kf/S3767aa32e0e84871812de9291369d318W.jpg)
+6%
1%
~ 368.00 грн.
Colorful Retro Harajuku Travis Scott Trend Funny Cotton Cactus Jack Funny Socks Women Cashew Flower Skate Women Street Long Sock
aliexpress.com![O Neck Dress Floral Print Summer Midi Dress with Short Sleeves A-line Silhouette for Women O Neck Knee Length Soft Breathable
O Neck Dress Floral Print Summer Midi Dress with Short Sleeves A-line Silhouette for Women O Neck Knee Length Soft Breathable](http://ae01.alicdn.com/kf/S741246f69e994559bb9b1c822dbee6e1O.jpg)
+2%
1%
~ 236.00 грн.
O Neck Dress Floral Print Summer Midi Dress with Short Sleeves A-line Silhouette for Women O Neck Knee Length Soft Breathable
aliexpress.com![2022 женская рубашка с коротким рукавом для йоги, Быстросохнущий топ с защитой от пота для йоги, бега, бега, спорта, кроп-топ, топ для тренажерного зала и фитнеса
2022 женская рубашка с коротким рукавом для йоги, Быстросохнущий топ с защитой от пота для йоги, бега, бега, спорта, кроп-топ, топ для тренажерного зала и фитнеса](http://ae04.alicdn.com/kf/S671b7a9ab9584c5bbc8fa5d5d3b1fc1dx.jpg)
+6%
1%
~ 900.00 грн.
2022 женская рубашка с коротким рукавом для йоги, Быстросохнущий топ с защитой от пота для йоги, бега, бега, спорта, кроп-топ, топ для тренажерного зала и фитнеса
aliexpress.ru![Чехол MyPads коламбус блю джекетс для Samsung Galaxy S23 Plus +, Прозрачный, Tocco
Чехол MyPads коламбус блю джекетс для Samsung Galaxy S23 Plus +, Прозрачный, Tocco](http://main-cdn.sbermegamarket.ru/hlr-system/-12/407/753/421/251/642/600010087846b0.jpeg)
+13%
1%
~ 228.00 грн.
Чехол MyPads коламбус блю джекетс для Samsung Galaxy S23 Plus +, Прозрачный, Tocco
goods.ru![52cm Dragon Ball Figures Cloak Piccolo Figure PVC Statue Action Figurine Collection Desktop Ornaments PVC Model Doll Gift Toys
52cm Dragon Ball Figures Cloak Piccolo Figure PVC Statue Action Figurine Collection Desktop Ornaments PVC Model Doll Gift Toys](http://ae04.alicdn.com/kf/S1b7b5813ffcf45d4801dc8e3fb896722m.jpg)
+6%
1%
~ 4,350.00 грн.
52cm Dragon Ball Figures Cloak Piccolo Figure PVC Statue Action Figurine Collection Desktop Ornaments PVC Model Doll Gift Toys
aliexpress.com![PCI express 8pin to 6+2Pin Power supply Cable GPU 8 pin to 6pin PSU Modular For Corsair RM Series RM1000 RM850 RM750 RM650 RM550
PCI express 8pin to 6+2Pin Power supply Cable GPU 8 pin to 6pin PSU Modular For Corsair RM Series RM1000 RM850 RM750 RM650 RM550](http://ae01.alicdn.com/kf/H654100fd46d0432e9291174c3397f456p.jpg)
+3%
1%
~ 192.00 грн.
PCI express 8pin to 6+2Pin Power supply Cable GPU 8 pin to 6pin PSU Modular For Corsair RM Series RM1000 RM850 RM750 RM650 RM550
aliexpress.com![_ 1 шт. или 2 шт. в комплекте, высококачественный ручной гвоздезабивной стальной пистолет для напольного покрытия, полуавтоматический прямой гвоздезабивной инструмент
_ 1 шт. или 2 шт. в комплекте, высококачественный ручной гвоздезабивной стальной пистолет для напольного покрытия, полуавтоматический прямой гвоздезабивной инструмент](http://ae01.alicdn.com/kf/S5fa53cfbbc634798a187a2f3273bb64dg.jpeg)
-5%
1%
~ 880.00 грн.
_ 1 шт. или 2 шт. в комплекте, высококачественный ручной гвоздезабивной стальной пистолет для напольного покрытия, полуавтоматический прямой гвоздезабивной инструмент
aliexpress.ru![Automatic Electric Pencil Sharpener Multi-function Heavy Duty Usb Mechanical School Primary Students Children Stationery Gift Ne
Automatic Electric Pencil Sharpener Multi-function Heavy Duty Usb Mechanical School Primary Students Children Stationery Gift Ne](http://ae01.alicdn.com/kf/S04d61f87ff79465493e7ad879e780268Q.jpg)
+101%
1%
~ 238.00 грн.
Automatic Electric Pencil Sharpener Multi-function Heavy Duty Usb Mechanical School Primary Students Children Stationery Gift Ne
aliexpress.com![Women's runway fashion elastic fabric Cummerbunds female Dress Corsets Waistband Belts decoration wide belt R1360
Women's runway fashion elastic fabric Cummerbunds female Dress Corsets Waistband Belts decoration wide belt R1360](http://ae01.alicdn.com/kf/HTB1bUVhQCzqK1RjSZPxq6A4tVXab/Women-s-runway-fashion-elastic-fabric-Cummerbunds-female-Dress-Corsets-Waistband-Belts-decoration-wide-belt-R1360.jpg)
+6%
1%
~ 535.00 грн.
Women's runway fashion elastic fabric Cummerbunds female Dress Corsets Waistband Belts decoration wide belt R1360
aliexpress.com![Классическая двойная строка в китайском стиле, винтажный подарок для компании, простой подарок для чтения, канцелярские товары для студентов
Классическая двойная строка в китайском стиле, винтажный подарок для компании, простой подарок для чтения, канцелярские товары для студентов](http://ae01.alicdn.com/kf/Se5978c7180804890b0725cedec38d70d4.jpg)
-23%
1%
~ 210.00 грн.
Классическая двойная строка в китайском стиле, винтажный подарок для компании, простой подарок для чтения, канцелярские товары для студентов
aliexpress.ru![Центральная консоль для Ford Mustang 2024, аксессуары для интерьера из углеродного волокна, AT
Центральная консоль для Ford Mustang 2024, аксессуары для интерьера из углеродного волокна, AT](http://ae01.alicdn.com/kf/S919b2bab3a3d4b2cb293f01ce6be08b9u.jpg)
-33%
1%
~ 427.00 грн.
Центральная консоль для Ford Mustang 2024, аксессуары для интерьера из углеродного волокна, AT
aliexpress.ru![Portable Neck Fan Hands-Free Bladeless Fan Cooling Personal Fan 3 Speeds Adjustment Rechargeable USB Powered Neck Fan Dropship
Portable Neck Fan Hands-Free Bladeless Fan Cooling Personal Fan 3 Speeds Adjustment Rechargeable USB Powered Neck Fan Dropship](http://ae01.alicdn.com/kf/S5f65792b711543f9ac74a79ad1748926r.jpg)
+27%
1%
~ 775.00 грн.
Portable Neck Fan Hands-Free Bladeless Fan Cooling Personal Fan 3 Speeds Adjustment Rechargeable USB Powered Neck Fan Dropship
aliexpress.com![2PCS BC-15-88 sewing machine bobbin bobbin case shuttle household sewing machine universal
2PCS BC-15-88 sewing machine bobbin bobbin case shuttle household sewing machine universal](http://ae01.alicdn.com/kf/Hd1f457b2e61d4f4a8dea918bc948f626h.jpg)
+5%
1%
~ 364.00 грн.
2PCS BC-15-88 sewing machine bobbin bobbin case shuttle household sewing machine universal
aliexpress.com![African Dresses For Women Dashiki Bodycon African Dress African Clothes Fashion Elegant Dresses Ladies 2023 Africa Clothing
African Dresses For Women Dashiki Bodycon African Dress African Clothes Fashion Elegant Dresses Ladies 2023 Africa Clothing](http://ae01.alicdn.com/kf/S1404c907070f4bf7902ecbffbd37c1bfM.jpg)
+9%
1%
~ 560.00 грн.
African Dresses For Women Dashiki Bodycon African Dress African Clothes Fashion Elegant Dresses Ladies 2023 Africa Clothing
aliexpress.com![2015 new smart two wheel self balance skateboard 20 mph electric scooter
2015 new smart two wheel self balance skateboard 20 mph electric scooter](http://ae01.alicdn.com/kf/S58f2eb016f5145d087a9cbad149db23bU.jpg)
+14%
1%
~ 30,530.00 грн.
2015 new smart two wheel self balance skateboard 20 mph electric scooter
aliexpress.com![Матрас беспружинный DENWIR TOP BALANCE RELAX 28/chstmat_TBR28_80x180, Белый, TOP BALANCE RELAX 28
Матрас беспружинный DENWIR TOP BALANCE RELAX 28/chstmat_TBR28_80x180, Белый, TOP BALANCE RELAX 28](http://main-cdn.sbermegamarket.ru/hlr-system/-36/315/942/210/516/55/600009160947b0.jpeg)
+8%
1%
~ 6,480.00 грн.
Матрас беспружинный DENWIR TOP BALANCE RELAX 28/chstmat_TBR28_80x180, Белый, TOP BALANCE RELAX 28
goods.ru![5/10pcs 100x20x3 100x20x5 100x20x10 Rectangle Square Neodymium Bar Block Strong Magnets Rare Earth Magnets Search Magnetic
5/10pcs 100x20x3 100x20x5 100x20x10 Rectangle Square Neodymium Bar Block Strong Magnets Rare Earth Magnets Search Magnetic](http://ae01.alicdn.com/kf/S2ad3be8d460b43d6afdfd1ffe62a8aeft.jpg)
+16%
1%
~ 203.00 грн.
5/10pcs 100x20x3 100x20x5 100x20x10 Rectangle Square Neodymium Bar Block Strong Magnets Rare Earth Magnets Search Magnetic
aliexpress.com![Portable Tearable Roll Paper Sticky Roller Dust Wiper Lint Roller Remover Brush Pet Hair Clothes Carpet Bed Cleaning Accessories
Portable Tearable Roll Paper Sticky Roller Dust Wiper Lint Roller Remover Brush Pet Hair Clothes Carpet Bed Cleaning Accessories](http://ae04.alicdn.com/kf/S0974d9ef0b024598af7bd914ba92b376L.jpg)
+5%
1%
~ 247.00 грн.
Portable Tearable Roll Paper Sticky Roller Dust Wiper Lint Roller Remover Brush Pet Hair Clothes Carpet Bed Cleaning Accessories
aliexpress.com![30/50pcs/lot Bearing Swivel Fishing Hook Fast Connector Solid Rings Rolling Fishing Line Quick Link Carp Fishing Accessories
30/50pcs/lot Bearing Swivel Fishing Hook Fast Connector Solid Rings Rolling Fishing Line Quick Link Carp Fishing Accessories](http://ae01.alicdn.com/kf/Se1df9738f22d4fffb6f33a89d7f1a47bT.jpg)
+4%
1%
~ 111.00 грн.
30/50pcs/lot Bearing Swivel Fishing Hook Fast Connector Solid Rings Rolling Fishing Line Quick Link Carp Fishing Accessories
aliexpress.ru