blocks|key|5037423|text|首先尝试定义“软件可靠性”和量化它的方法。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|5037424|如果你完成了这个任务，你也许能够“检查”这个特征。|5037425|entityMap^0|0|0^^$0|@$1|2|3|4|5|6|7|F|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|G|8|@]|9|@]|A|$]]|$1|D|3|-4|5|6|7|H|8|@]|9|@]|A|$]]]|E|$]]

First try to define "software reliability" and the way to quantify it.

If you accomplish this task, you will probably be able to "check" this characteristic.

blocks|key|3569443|text|检查可靠性最有效的方法是运行您的软件并收集有关其实际可靠性的统计数据。在硬件和软件层面上，有太多的变量在起作用，无法在执行之前实际地分析可靠性，可能的例外是像NASA这样拥有大量资源的组织。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|3569444|entityMap^0|0^^$0|@$1|2|3|4|5|6|7|D|8|@]|9|@]|A|$]]|$1|B|3|-4|5|6|7|E|8|@]|9|@]|A|$]]]|C|$]]

The most effective way to check reliability is going to be to run your software and gather statistics on its actual reliability. There are too many variables in play, both at the hardware and software levels, to realistically analyze reliability prior to execution, with the possible exception of groups with massive resources like NASA.

blocks|key|5037491|text|有各种各样的方法来确定一件软件是否符合规范，但大多数真正有生产力的方法都是通过构造来实现的，即通过约束软件的编写方式，以便可以很容易地证明它是正确的。请查看VDM、Z和B工具包，了解实现此类操作的方案。请注意，如果您不在安全关键型系统环境中，这些方法往往是昂贵的编程方法。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|5037492|证明规范本身的正确性确实不是一件容易的事！|5037493|entityMap^0|0|0^^$0|@$1|2|3|4|5|6|7|F|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|G|8|@]|9|@]|A|$]]|$1|D|3|-4|5|6|7|H|8|@]|9|@]|A|$]]]|E|$]]

There are various methods for determining whether a piece of software meets a specification, but most of the really productive ones do this by construction, i.e., by constraining the way in which the software is written so that it can be easily shown to be correct. Check out VDM, Z and the B toolkit for schemes for doing this sort of thing. Note that these tend to be expensive ways to program if you're not in a safety-critical systems environment.

Proving the correctness of the specification itself is really non-trivial!

blocks|key|1252697|text|可靠性是关于正确服务的连续性。|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1252698|评估软件可靠性的最好方法是通过动态分析，换句话说:测试。|1252699|为了减少测试时间，您可能希望应用与操作配置文件不同的输入配置文件。|1252700|应用不同的输入分布，测量你的软件运行多长时间没有失败。然后找出您的输入分布与操作配置文件有多远，并得出您的结论，即软件将在操作配置文件中运行多长时间。|1252701|这涉及到马尔可夫链或随机Petri网等建模技术。|1252702|为了进一步挖掘，有用的关键字是:故障预测和统计测试。|1252703|entityMap^0|0|0|0|0|0|0^^$0|@$1|2|3|4|5|6|7|N|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|O|8|@]|9|@]|A|$]]|$1|D|3|E|5|6|7|P|8|@]|9|@]|A|$]]|$1|F|3|G|5|6|7|Q|8|@]|9|@]|A|$]]|$1|H|3|I|5|6|7|R|8|@]|9|@]|A|$]]|$1|J|3|K|5|6|7|S|8|@]|9|@]|A|$]]|$1|L|3|-4|5|6|7|T|8|@]|9|@]|A|$]]]|M|$]]

Reliability is about continuity of correct service.

The best approach to assess reliability of a software is by dynamic analysis, in other words: testing.

In order to reduce your testing time you may want to apply input profiles different from operational one.

Apply various input distributions, measure how much time your software runs without failure. Then find out how far your input distributions are from operational profile and draw your conclusion about how much time the software would have run with operational profile.

This involves modeling techniques such as Markov chains or stochastic Petri nets.

For further digging, useful keywords are: fault forecasting and statistical testing.

How can we analyze the software reliability? How to check the reliabilty of any application or product?

How can the reliability of Software be checked through analysis?

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云AI代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

功能1上新10个字符

功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符功能2描述100个字符。

功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符功能2上新100个字符。

功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符功能5描述100个字符

功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符功能5上新100个字符

功能4上新

文章&问答评论现已支持表情

全新交互，全新视觉，新增快捷键、悬浮工具栏、高亮块等功能并同时优化现有功能，全面提升创作效率和体验

社区富文本编辑器全新改版！诚邀体验～ 

精选全网热门MCP server，让你的AI更好用 🚀

💥开发者 MCP广场重磅上线！

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

我们如何分析软件的可靠性？如何检查任何应用程序或产品的可靠性？

问如何通过分析检查软件的可靠性？
EN

回答 4

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问如何通过分析检查软件的可靠性？EN

回答 4

Stack Overflow用户

Stack Overflow用户

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问如何通过分析检查软件的可靠性？
EN