fbpx
维基百科

健全性测试

十二月 13, 2023

健全性测试或合理性检验是一种快速评估某说法或计算结果是否可能正确的基本测试。合理性检验的目的是排除某些明显错误的结果，而不是捕捉每一个可能的错误。可以使用经验法则或粗略计算以执行测试。

例如，在算术中，当乘以9时，使用9的除数规则来验证结果的数字总和是否可被9整除是一个合理性检验——它不会捕获每个乘法误差，但它是一个快速而简单的发现许多可能错误的方法。

在计算机科学中，健全性测试是计算机程序、系统、计算或其他分析的功能的非常简短的贯穿，以确保系统或方法的一部分大致按预期工作。 这通常是在更详尽的一轮测试之前。

数学 编辑

理智测试可以参考各种数量级和其他简单經驗法則的设备，用于交叉检查数学计算。例如：

  • 如果一个人试图计算738的平方并得出54,464，一种快速的合理性检验可以检查结果是否正确。 考虑700 < 738，但700² = 490,000 > 54,464。 由于对不等式两边的正整数平方不改变不等式的符号，所以结果不可能正确。 正确答案是738² = 544,644，比54,464大10倍以上。
  • 在乘法中，918×155不是142,135，因为918能被3整除，但142,135不能（各位数字相加为16，不是3的倍数）。另外，乘积的最后一位必须与两因子最后一位的乘积（8×5=40）结尾相同，但142,135不以“40”的结尾“0”结束，而正确的答案是：918×155 = 142,290。一种更快的检验是偶数和奇数的乘积是偶数，而142,135是奇数。

物理 编辑

  • 汽车的输出功率不可能是700千焦 ，因为这是能量的单位，而不是功率（单位时间的能量）的单位。 这是量纲分析的基本应用。
  • 在确定物理性质时，与已知或类似物质相比，往往可以洞察到结果是否合理。 例如，大多数金属能沉在水中，所以大多数金属的密度应该比水的密度（1000 kg/m3）更大。
  • 使用费米估计通常能更好地估计预期值的数量级。

软件开发 编辑

在软件开发中，健全性测试（软件测试的一种形式，提供“快速、广泛、和浅层的测试”[1]）确定它是否可能及合理开展进一步的测试。

有时候健全性测试与冒烟测试是同义词。[2]健全性测试或冒烟测试确定继续测试是否可行和合理 。健全性测试执行确定系统是否可访问且应用程序逻辑是否响应所需的应用程序功能的子集。 如果健全性测试失败，则尝试更严格的测试是不合理的。 通过快速确定应用程序是否存在缺陷而无需进行任何严格测试，可以避免浪费时间和精力。许多公司在自动构建中运行健全性测试，作为其软件开发生命周期的一部分。[3]

可以使用健全性测试来辅助调试软件。 考虑一下，应用程序或软件通常涉及系统外部输入和输出之间的多个子系统。 当整个系统未按预期执行时，可以使用健全性测试来帮助决定接下来要调查的内容。 如果一个子系统未给出预期结果，则可能会从进一步调查中消除其他子系统。

“Hello World”程序通常用作开发环境的健全性测试。 如果程序无法编译或执行，则支持环境可能存在配置问题。 如果它有效，任何被诊断的问题可能都在于实际的应用程序。

健全性测试的另一种可能更常见的用法是表示在程序代码中执行的检查，通常是对函数的参数或从中返回，以查看答案是否可以被认为是正确的。 例程越复杂，检查其响应就越重要。 这个简单的案例是检查打开，写入或关闭的文件是否在这些活动中没有失败——这是一个经常被程序员忽略的健全性测试。[4]但是，由于各种原因，更复杂的项目也可以进行健全性测试。

这方面的例子包括银行账户管理系统，它检查提款是否合理，不要求超过账户包含，并且存款或购买是合理的，以适应历史数据建立的模式——对于准确性，可以更仔细地检查大额存款，可以与持卡人一起检查大额购买交易以防止欺诈，在持卡人访问之前的外国地点的ATM取款可能会与他一起清理等等；这些是“运行时”的健全性测试，而不是上面提到的“开发”健全性测试。

参见 编辑

参考文献 编辑

  1. ^ Fecko, Mariusz A.; Lott, Christopher M. Lessons learned from automating tests for an operations support system (PDF). Software--Practice and Experience. October 2002, v. 32 [2019-06-24]. （原始内容 (PDF)于2003-07-17）. 
  2. ^ ISTQB® Glossary for the International Software Testing Qualification Board® software testing qualification scheme, ISTQB Glossary （页面存档备份，存于互联网档案馆） International Software Testing Qualification Board.
  3. ^ Hassan, A. E. and Zhang, K. 2006. Using Decision Trees to Predict the Certification Result of a Build. In Proceedings of the 21st IEEE/ACM international Conference on Automated Software Engineering (September 18 – 22, 2006). Automated Software Engineering. IEEE Computer Society, Washington, DC, 189–198.
  4. ^ Darwin, Ian F. Dealing with lint's concerns. Checking C Programs with Lint. "O'Reilly Media, Inc.". 1988 [2019-06-24]. ISBN 9780937175309. （原始内容于2017-02-28） （英语）. 

十二月 13, 2023
健全性测试, 此條目翻譯品質不佳, 2019年6月26日, 翻譯者可能不熟悉中文或原文語言, 也可能使用了機器翻譯, 請協助翻譯本條目或重新編寫, 并注意避免翻译腔的问题, 明顯拙劣的翻譯請改掛, href, template, html, class, redirect, title, template, href, wikipedia, html, class, redirect, title, wikipedia, 提交刪除, 或合理性检验是一种快速评估某说法或计算结果是否可能正确的基本测试, 合理性检验的目. 此條目翻譯品質不佳 2019年6月26日 翻譯者可能不熟悉中文或原文語言 也可能使用了機器翻譯 請協助翻譯本條目或重新編寫 并注意避免翻译腔的问题 明顯拙劣的翻譯請改掛 a href Template D html class mw redirect title Template D d a a href Wikipedia CSD html G13 class mw redirect title Wikipedia CSD G13 a 提交刪除 健全性测试或合理性检验是一种快速评估某说法或计算结果是否可能正确的基本测试 合理性检验的目的是排除某些明显错误的结果 而不是捕捉每一个可能的错误 可以使用经验法则或粗略计算以执行测试 例如 在算术中 当乘以9时 使用9的除数规则来验证结果的数字总和是否可被9整除是一个合理性检验 它不会捕获每个乘法误差 但它是一个快速而简单的发现许多可能错误的方法 在计算机科学中 健全性测试是计算机程序 系统 计算或其他分析的功能的非常简短的贯穿 以确保系统或方法的一部分大致按预期工作 这通常是在更详尽的一轮测试之前 目录 1 数学 2 物理 3 软件开发 4 参见 5 参考文献数学 编辑理智测试可以参考各种数量级和其他简单經驗法則的设备 用于交叉检查数学计算 例如 如果一个人试图计算738的平方并得出54 464 一种快速的合理性检验可以检查结果是否正确 考虑700 lt 738 但700 490 000 gt 54 464 由于对不等式两边的正整数平方不改变不等式的符号 所以结果不可能正确 正确答案是738 544 644 比54 464大10倍以上 在乘法中 918 155不是142 135 因为918能被3整除 但142 135不能 各位数字相加为16 不是3的倍数 另外 乘积的最后一位必须与两因子最后一位的乘积 8 5 40 结尾相同 但142 135不以 40 的结尾 0 结束 而正确的答案是 918 155 142 290 一种更快的检验是偶数和奇数的乘积是偶数 而142 135是奇数 物理 编辑汽车的输出功率不可能是700千焦 因为这是能量的单位 而不是功率 单位时间的能量 的单位 这是量纲分析的基本应用 在确定物理性质时 与已知或类似物质相比 往往可以洞察到结果是否合理 例如 大多数金属能沉在水中 所以大多数金属的密度应该比水的密度 7003100000000000000 1000 kg m3 更大 使用费米估计通常能更好地估计预期值的数量级 软件开发 编辑在软件开发中 健全性测试 软件测试的一种形式 提供 快速 广泛 和浅层的测试 1 确定它是否可能及合理开展进一步的测试 有时候健全性测试与冒烟测试是同义词 2 健全性测试或冒烟测试确定继续测试是否可行和合理 健全性测试执行确定系统是否可访问且应用程序逻辑是否响应所需的应用程序功能的子集 如果健全性测试失败 则尝试更严格的测试是不合理的 通过快速确定应用程序是否存在缺陷而无需进行任何严格测试 可以避免浪费时间和精力 许多公司在自动构建中运行健全性测试 作为其软件开发生命周期的一部分 3 可以使用健全性测试来辅助调试软件 考虑一下 应用程序或软件通常涉及系统外部输入和输出之间的多个子系统 当整个系统未按预期执行时 可以使用健全性测试来帮助决定接下来要调查的内容 如果一个子系统未给出预期结果 则可能会从进一步调查中消除其他子系统 Hello World 程序通常用作开发环境的健全性测试 如果程序无法编译或执行 则支持环境可能存在配置问题 如果它有效 任何被诊断的问题可能都在于实际的应用程序 健全性测试的另一种可能更常见的用法是表示在程序代码中执行的检查 通常是对函数的参数或从中返回 以查看答案是否可以被认为是正确的 例程越复杂 检查其响应就越重要 这个简单的案例是检查打开 写入或关闭的文件是否在这些活动中没有失败 这是一个经常被程序员忽略的健全性测试 4 但是 由于各种原因 更复杂的项目也可以进行健全性测试 这方面的例子包括银行账户管理系统 它检查提款是否合理 不要求超过账户包含 并且存款或购买是合理的 以适应历史数据建立的模式 对于准确性 可以更仔细地检查大额存款 可以与持卡人一起检查大额购买交易以防止欺诈 在持卡人访问之前的外国地点的ATM取款可能会与他一起清理等等 这些是 运行时 的健全性测试 而不是上面提到的 开发 健全性测试 参见 编辑概念证明 粗略计算 英语 Back of the envelope calculation 软件测试 心理计算 数量级 费米问题 校验 认证算法参考文献 编辑 Fecko Mariusz A Lott Christopher M Lessons learned from automating tests for an operations support system PDF Software Practice and Experience October 2002 v 32 2019 06 24 原始内容存档 PDF 于2003 07 17 ISTQB Glossary for the International Software Testing Qualification Board software testing qualification scheme ISTQB Glossary 页面存档备份 存于互联网档案馆 International Software Testing Qualification Board Hassan A E and Zhang K 2006 Using Decision Trees to Predict the Certification Result of a Build In Proceedings of the 21st IEEE ACM international Conference on Automated Software Engineering September 18 22 2006 Automated Software Engineering IEEE Computer Society Washington DC 189 198 Darwin Ian F Dealing with lint s concerns Checking C Programs with Lint O Reilly Media Inc 1988 2019 06 24 ISBN 9780937175309 原始内容存档于2017 02 28 英语 取自 https zh wikipedia org w index php title 健全性测试 amp oldid 74444841, 维基百科，wiki，书籍，书籍，图书馆，

文章

，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。