Trending on TikTok

Buldak

Sunscreen

Sanrio

English

{{sellerTotalView > 1 ? __("sellers", {number: sellerTotalView}) : __("seller", {number: sellerTotalView}) }}, {{numTotalView > 1 ? __("items", {number: numTotalView}) : __("item", {number: numTotalView}) }}

View Cart & Check Out

Nickname

Let us know how to properly address you.

Update Your Name

xxxxxxx@yamibuy.com

Account Orders Favorites

Points 0

Coupons 0

Gift Card Balance $0.00

Sign Out

Change Your Zip Code

Inventory information and delivery speeds may vary for different locations.

Location History

We will notify you by email when the item back in stock.

Your email: {{remindEmail}}

Cancel

Jingdong book

软件可靠性方法

View Cart & Check Out

{{buttonTypePin == 3 ? __("Scan to view more PinGo") : __("Scan to start")}}

Books Computers & Internet Software Engineering Methodology

Jingdong book

软件可靠性方法

Name: 软件可靠性方法
Brand: Jingdong book
SKU: 3118015111
Price: 43.28 USD
Availability: OutOfStock

{{__(":people-members", {'people': item.limit_people_count})}} {{ itemCurrency }}{{ item.valid_price }} {{ itemCurrency }}{{ item.invalid_price }} {{ itemDiscount }}

Ends in

{{ itemCurrency }}{{ priceFormat(item.valid_price / item.bundle_specification) }}/{{ item.unit }}

{{ itemCurrency }}{{ item.valid_price }} {{ itemCurrency }}{{ priceFormat(item.valid_price / item.bundle_specification) }}/{{ item.unit }} {{ itemCurrency }}{{ item.invalid_price }} {{itemDiscount}}

Sale ends in

Sale will starts after Sale ends in

{{ __( "Pay with Gift Card to get sale price: :itemCurrency:price", { 'itemCurrency' : itemCurrency, 'price' : (item.giftcard_price ? priceFormat(item.giftcard_price) : '0.00') } ) }} ({{ itemCurrency }}{{ priceFormat(item.giftcard_price / item.bundle_specification) }}/{{ item.unit }}) Details

Best before

Currently unavailable.

We don't know when or if this item will be back in stock.

Unavailable in your area.

Sold Out

Details

Full product details

Content Description

《软件可靠性方法》通过大量的形式化表示和技术，向读者提供了各种用于提高软件可靠性的形式化方法，包括演绎验证、自动验证、测试以及进程代数。书中紧紧围绕逻辑和自动机理论这条主线，比较了各种方法的不同之处，并讨论了它们的优缺点。
书中包含一些在多个章节中使用的、具有连续性的实例，有利于读者通过跟踪这些实例来了解不同形式化方法的优缺点。本书还包括大量的练习和项目，可以使用软件可靠性工具来完成。
本书适用于从事软件开发的广大读者，尤其适合作为高年级本科生和硕士生的教材和参考书。

Catalogue

出版者的话
中文版序
译者序
英文版序
前言
第1章引言
1.1 形式化方法
1.2 开发与学习形式化方法
1.3 使用形式化方法
1.4 应用形式化方法
1.5 本书概要
第2章预备知识
2.1 集合表示法
2.2 字符串和语言
2.3 图
2.4 计算复杂度和可计算性
2.5 扩展阅读
第3章逻辑和定理证明
3.1 一阶逻辑
3.2 项
3.2.1 赋值和解释
3.2.2 多个论域上的结构
3.3 一阶公式
3.4 命题逻辑
3.5 证明一阶逻辑公式
3.5.1 正向推理
3.5.2 反向推理
3.6 证明系统的属性
3.6.1 正确性
3.6.2 完备性
3.6.3 可判定性
3.6.4 结构完备性
3.7 证明命题逻辑属性
3.8 一个实用的证明系统
3.9 证明示例
3.10 机器辅助证明
3.11 机械化定理证明器
3.12 扩展阅读
第4章软件系统建模
4.1 顺序系统、并发系统及反应式系统
4.2 状态
4.3 状态空间
4.4 转换系统
4.5 转换的粒度
4.6 为程序建模的例子
4.6.1 整数除法
4.6.2 计算组合数
4.6.3 Eratosthenes筛法
4.6.4 互斥
4.7 非确定性转换
4.8 将命题变量赋给状态
4.9 合并状态空间
4.10 线性视角
4.11 分支视角
4.12 公平性
4.13 偏序视角
4.13.1 一个银行系统的例子
4.13.2 线性化和全局状态
4.13.3 一个简单的例子
4.13.4 偏序模型的应用
4.14 形式化建模
4.15 一个项目的建模
4.16 扩展阅读
第5章形式化规约
5.1 规约机制的属性
5.2 线性时序逻辑
5.3 公理化LTL
5.4 LTL规约示例
5.4.1 交通灯
5.4.2 顺序程序的属性
5.4.3 互斥
5.4.4 公平性条件
5.5 无限字上的自动机
5.6 使用Büchi自动机作为规约
5.7 确定性Büchi自动机
5.8 其他规约机制
5.9 复杂的规约
5.10 规约的完整性
5.11 扩展阅读
第6章自动验证
6.1 状态空间搜索
6.2 状态表示方法
6.3 自动机结构体系
6.4 合并Büchi自动机
6.4.1 广义Büchi自动机
6.4.2 将广义Büchi自动机转换为简单Büchi自动机
6.5 Büchi自动机求补
6.6 检验空集
6.7 模型检验范例
6.8 将LTL转换为自动机
6.9 模型检验的复杂度
6.10 表示公平性
6.11 检验LTL规约
6.12 安全属性
6.13 状态空间爆炸问题
6.14 模型检验的优点
6.15 模型检验的缺点
6.16 选择自动验证工具
6.17 模型检验项目
6.18 模型检验工具
6.19 扩展阅读
第7章演绎式软件验证
7.1 流程图程序的验证
7.2 含数组变量的验证
7.2.1 含数组变量赋值的问题
7.2.2 修改证明系统
7.3 完全正确性
7.4 公理式程序验证
7.4.1 赋值公理
7.4.2 空语句公理
7.4.3 左强化规则
7.4.4 右弱化规则
7.4.5 顺序组合规则
7.4.6 if-then-else规则
7.4.7 while规则
7.4.8 begin-end规则
7.4.9 示例：整数除法
7.5 并发程序的验证
7.6 演绎验证的优点
7.7 演绎验证的缺点
7.8 证明系统的正确性和完备性
7.9 组合性
7.10 演绎验证工具
7.11 扩展阅读
第8章进程代数与等价关系
8.1 进程代数
8.2 通信系统的演算
8.2.1 动作前缀
8.2.2 选择
8.2.3 并发组合
8.2.4 限制符
8.2.5 重标记
8.2.6 等式定义
8.2.7 agent
8.2.8 传值agent
8.3 示例：Dekker算法
8.4 建模问题
8.5 agent之间的等价性
8.5.1 迹等价
8.5.2 失败等价
8.5.3 模拟等价
8.5.4 互模拟和弱互模拟等价
8.6 等价关系的层级
8.7 用进程代数研究并发
8.8 计算互模拟等价
8.9 LOTOS
8.10 进程代数工具
8.11 扩展阅读
第9章软件测试
9.1 审查和走查
9.2 控制流覆盖准则
9.2.1 语句覆盖
9.2.2 边覆盖
9.2.3 条件覆盖
9.2.4 边/条件覆盖
9.2.5 条件组合覆盖
9.2.6 路径覆盖
9.2.7 不同覆盖准则的比较
9.2.8 循环覆盖
9.3 数据流覆盖准则
9.4 传播路径条件
9.4.1 示例：GCD程序
9.4.2 含有输入语句的路径
9.5 等价类划分
9.6 待测代码预处理
9.7 检查测试套件
9.8 组合性
9.9 黑盒测试
9.10 概率测试
9.11 测试的优点
9.12 测试的缺点
9.13 测试工具
9.14 扩展阅读
第10章组合形式化方法
10.1 抽象
10.2 组合测试与模型检验
10.2.1 直接检验
10.2.2 黑盒系统
10.2.3 组合锁自动机
10.2.4 黑盒死锁检测
10.2.5 一致性测试
10.2.6 检验重置的可靠性
10.2.7 黑盒检验
10.3 净室方法
10.3.1 验证
10.3.2 证明审查
10.3.3 测试
10.4 扩展阅读
第11章可视化
11.1 在形式化方法中运用可视化
11.2 消息序列图
11.3 可视化流程图和状态机
11.4 层次状态图
11.4.1 层次化状态
11.4.2 统一的出口和入口
11.4.3 并发
11.4.4 输入和输出
11.5 程序文本的可视化
11.6 Petri网
11.7 可视化工具
11.8 扩展阅读
结束语
参考文献191"

Specifications

Brand

Jingdong book

Brand Origin

China

Disclaimer

Product packaging, specifications and price are subject to change without notice. All information about the products on our website is provided for information purposes only. Please always read labels, warnings and directions provided with the product before use.

View Full Terms of Use

Scan to Share

Add to favorites

{{ $isZh ? coupon.coupon_name_sub : coupon.coupon_ename_sub | formatCurrency }}

Clip coupons

Quantity

{{buttonTypePin == 3 ? __("Scan to view more PinGo") : __("Scan to start")}}

Sold by JD@CHINA

Ship to

Free shipping over 69

Genuine guarantee

View details

Region

Added to Cart

Keep Shopping

More to Consider

Coupons

Clip Clipped Over

Expires soon {{ formatTime(coupon.use_end_time) }}

Share this item with friends

Cancel

Yami Gift Card

Get this exclusive deal when paying with gift card

Terms and Conditions

Gift card deals are special offers for selected products;

The gift card deals will automatically be activated if a customer uses gift card balance at check out and the balance is sufficient to pay for the total price of the shopping cart products with gift card deals;

You will not be able to activate the gift card deals if you choose other payment methods besides gift card. The products will be purchased at their normal prices;

If your account balance is not enough to pay for the products with gift card deals, you can choose to reload your gift card balance by clicking on the Reload button at either shopping cart page or check out page;

Products that have gift card deals can be recognized by a special symbol showing 'GC Deal';

For any additional questions or concerns, please contact our customer service;

Yamibuy reserves the right of final interpretation.

Sold by Yami

Service Guarantee

Free Shipping over $49

Easy Returns

Ships from United States

Shipping

United States

Standard Shipping is $5.99 (Excluding Alaska & Hawaii). Free on orders of $49 or more.

Local Express is $5.99 (Available in Parts of CA, NJ, MA & PA). Free on orders of $49 or more.

2-Day Express (Includes Alaska & Hawaii) starts at $19.99.

Return Policy

Yami is committed to provide our customers with a peace of mind when purchasing from us. Most items shipped from Yamibuy.com can be returned within 30 days of receipt of shipment (For Food, Beverages, Snacks, Dry Goods, Health supplements, Fresh Grocery and Perishables Goods, within 7 days of receipt of shipment due to damages or quality issues; To ensure that every customer receives safe and high-quality products, we do not provide refunds or returns for beauty products once they have been opened or used, except in the case of quality issues; Some products may have different policies or requirements associated with them, please see below for products under special categories, or contact Yami Customer Service for further assistance).
Thank you for your understanding and support.

Learn More

Sold by Yami

Terms and Conditions of Yami E-Gift Card

If you choose “Redeem automatically” as your delivery method, your gift card balance will be reload automatically after your order has been processed successfully;

If you choose “Send to Email”as your delivery method, the card number and CVV will be sent to the email address automatically;

Any user can use the card number and CVV to redeem the gift card, please keep your gift card information safely. If you have any trouble receiving email, please contact Yami customer service;

Yami gift card can be used to purchase both Yami owned or Marketplace products;

Yami gift card will never expire;

Yami gift card balance does not have to be used up at once;

Return Policy

Gift card that has already been consumed is non-refundable.

Sold by JD@CHINA

Fulfilled by Yami

Service Guarantee

Free Shipping over $49

Easy Returns

Ships from United States

Shipping

United States

Standard Shipping is $5.99 (Excluding Alaska & Hawaii). Free on orders of $49 or more.

Local Express is $5.99 (Available in Parts of CA, NJ, MA & PA). Free on orders of $49 or more.

2-Day Express (Includes Alaska & Hawaii) starts at $19.99.

Return Policy

You may return product within 30 days upon receiving the product. Items returned must be new in it's original packing, including the original invoice for the purchase. Customer return product at their own expense.

Sold by JD@CHINA

Yami-China FC

Service Guarantee

Cross-store Free Shipping over $69

30-days Return

Yami-China FC

Yami has a consolidation warehouse in China which collects multiple sellers’ packages and combines to one order. Our Yami consolidation warehouse will directly ship the packages to your door. Cross-store free shipping over $69.

Return Policy

You may return products within 30 days upon receiving the products. Sellers take responsibilities for any wrong shipment or missing items. Packing needs to be unopened for any other than quality issues return. We promise to pack carefully, but because goods are taking long journey to destinations, simple damages to packaging may occur. Any damages not causing internal goods quality problems are not allowed to return. If you open the package and any quality problem is found, please contact customer service within three days after receipt of goods.

Shipping Information

Yami Consolidation Service Shipping Fee $9.99(Free shipping over $69)

Sellers in China will ship their orders within 1-2 business days once the order is placed. Packages are sent to our consolidation warehouse in China and combined there. Our Yami consolidation warehouse will directly ship the packages to you via UPS. The average time for UPS to ship from China to the United States is about 10 working days and it can be traced using the tracking number. Due to the pandemic, the delivery time may be delayed by about 5 days. The package needs to be signed by the guest. If the receipt is not signed, the customer shall bear the risk of loss of the package.

Sold by JD@CHINA

Service Guarantee

Free shipping over 69

Genuine guarantee

Shipping

Yami Consolidated Shipping $9.99(Free shipping over $69)

Seller will ship the orders within 1-2 business days. The logistics time limit is expected to be 7-15 working days. In case of customs clearance, the delivery time will be extended by 3-7 days. The final receipt date is subject to the information of the postal company.

Yami Points information

All items are excluding from any promotion or points events on Yamibuy.com

Return Policy

Download the Yami App

Feedback

Back Top

Reviews{{'('+ commentList.posts_count + ')'}}

Have your say. Be the first to help other guests.

Write a review

{{i}} star

{{i}} stars

{{ parseInt(commentRatingList[i]) }}%

{{ showTranslate(comment) }}Show Less

{{ strLimit(comment,800) }}Show more

Show Original

Show All

{{ formatTime(comment.in_dtm) }} VERIFIED PURCHASE {{groupData}}

{{ comment.likes_count }} {{ comment.likes_count }} {{ comment.reply_count }} {{comment.in_user==uid ? __('Delete') : __('Report')}}

{{ showTranslate(comment) }}Show Less

{{ strLimit(comment,800) }}Show more

Show Original

Show All

{{ formatTime(comment.in_dtm) }} VERIFIED PURCHASE {{groupData}}

{{ comment.likes_count }} {{ comment.likes_count }} {{ comment.reply_count }} {{comment.in_user==uid ? __('Delete') : __('Report')}}

No related comment~

Load more reviews

Review

{{ showTranslate(commentDetails) }}Show Less

{{ strLimit(commentDetails,800) }}Show more

Show Original

Show All

{{ formatTime(commentDetails.in_dtm) }} VERIFIED PURCHASE {{groupData}}

Please write at least one word

Comments{{'(' + replyList.length + ')'}}