健全性测试

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

例如,在算术中,当乘以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) (英语). 

Read other articles:

القوة الجوية العراقية Création 22 avril 1931 Pays Irak Allégeance Président d'Irak Type Force aérienne Effectif ~14 000 Fait partie de Forces armées irakiennes Surnom IQAF Couleurs (1931–2004) (2019–actuel) (2011–2019) Anniversaire 22 avril[1] Équipement 200 aéronefs Guerres Guerre anglo-irakienneGuerre des Six JoursGuerre du KippourGuerre Iran-IrakInvasion du KoweïtGuerre du GolfeInsurrection en Irak de 1991Guerre d'IrakSeconde guerre civile irakienne C...

 

В Википедии есть статьи о других людях с фамилией Олендорф. Отто Олендорфнем. Otto Ohlendorf Дата рождения 4 февраля 1907(1907-02-04)[1][2][…] Место рождения Хоэненгельсен[d], Хильдесхайм, Ганновер, королевство Пруссия, Германская империя[4] Дата смерти 7 июня 1951(1951-06-07)&#...

 

Belgian journalist and resistance fighter (1902–1943) Wilhelm GuddorfWilhelm Guddorf holding a young child.Born(1902-02-20)20 February 1902Melle, BelgiumDied13 May 1943(1943-05-13) (aged 41)Plötzensee Prison, Berlin, GermanyNationalityBelgianOrganizationJournalist Wilhelm Guddorf (alias Paul Braun; 20 February 1902 – 13 May 1943) was a Belgian journalist, anti-Nazi and resistance fighter against the Third Reich. Guddorf was a leading member of a Berlin anti-fascist resistance gr...

  لمعانٍ أخرى، طالع زين أباد (توضيح). زين أباد زين اباد  - قرية -    تقسيم إداري البلد  إيران[1] المحافظة خراسان رضوي المقاطعة مقاطعة بجستان الناحية الناحية المركزية (مقاطعة بجستان) القسم الريفي قسم جزين الريفي خصائص جغرافية إحداثيات 34°22′51″N 58°13′32″E&#x...

 

Questa voce sull'argomento stagioni delle società calcistiche italiane è solo un abbozzo. Contribuisci a migliorarla secondo le convenzioni di Wikipedia. Segui i suggerimenti del progetto di riferimento. Voce principale: Associazione Calcio Fanfulla 1874. Associazione Sportiva FanfullaStagione 1938-1939Sport calcio Squadra Fanfulla Allenatore Giuseppe Marchi Presidente Piero Asti Serie B10º posto.[1] Coppa ItaliaQualificazioni squadre di Serie B. Maggiori presenzeCampion...

 

Agricultural Museum in Manitoba, Canada.Manitoba Agricultural MuseumLocationAustin, Manitoba, Canada.TypeAgricultural MuseumWebsitehttp://mbagmuseum.ca/ The Manitoba Agricultural Museum is dedicated to collecting vintage farm machinery and buildings from 1900 and before. Located on 50 acres (200,000 m2) near Austin, Manitoba in the Municipality of North Norfolk, to date they have amassed over 500 pieces of machinery and a pioneer village consisting of more than 20 buildings complete with...

American Hockey League team in Cedar Park, Texas For other uses, see Texas Star (disambiguation). Texas StarsCityCedar Park, TexasLeagueAmerican Hockey LeagueConferenceWesternDivisionCentralFounded1999Operated2009–presentHome arenaH-E-B Center at Cedar ParkColorsVictory green, silver, black, white       Owner(s)Tom GaglardiGeneral managerScott WhiteHead coachNeil GrahamCaptainCurtis McKenzieMediaKBVO (TV) (channel 14)AHL.TV (Internet)AffiliatesDallas Stars (NHL)Idah...

 

СтаницаШумилинская 49°58′01″ с. ш. 41°26′16″ в. д.HGЯO Страна  Россия Субъект Федерации Ростовская область Муниципальный район Верхнедонской Сельское поселение Шумилинское История и география Первое упоминание 1838 Прежние названия хутор Шумилин Часовой пояс UTC+3...

 

Yisrael BarzilaiLahir1 Oktober 1913Tempat lahirNieszawa, Kekaisaran RusiaTahun aliyah1934Meninggal dunia12 Juni 1970Knesset3, 4, 5Faksi yang diwakili di Knesset1955–1965MapamJabatan menteri1955–1961Menteri Kesehatan1958–1959Menteri Layanan Pos1966–1969Menteri Kesehatan1969–1970Menteri tanpa Portofolio Yisrael Barzilai (Ibrani: ישראל ברזילי, nama lahir Yisrael Eisenberg 1 Oktober 1913 – 12 Juni 1970) adalah seorang politikus Israel yang menjabat sebagai men...

此条目序言章节没有充分总结全文内容要点。 (2019年3月21日)请考虑扩充序言,清晰概述条目所有重點。请在条目的讨论页讨论此问题。 哈萨克斯坦總統哈薩克總統旗現任Қасым-Жомарт Кемелұлы Тоқаев卡瑟姆若马尔特·托卡耶夫自2019年3月20日在任任期7年首任努尔苏丹·纳扎尔巴耶夫设立1990年4月24日(哈薩克蘇維埃社會主義共和國總統) 哈萨克斯坦 哈萨克斯坦政府...

 

1814 battle during the War of the Sixth Coalition This article is about the battle fought in 1814. For other uses, see Battle of Reims. Battle of Reims (1814)Part of the Campaign of France of the Sixth CoalitionThe Last Victory, by Maurice OrangeDate12–13 March 1814[1]LocationReims, French Empire49°15′46″N 4°02′05″E / 49.2628°N 4.0347°E / 49.2628; 4.0347Result French victory[1]Belligerents France Russia PrussiaCommanders and leaders Napole...

 

This article needs to be updated. Please help update this article to reflect recent events or newly available information. (March 2023)This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Progressive wage – news · newspapers · books · scholar · JSTOR (January 2022) (Learn how and when to remove this message) Legi...

Fantasy film series adaptation of the Harry Potter novels Harry PotterHarry Potter logo as used in the filmsDirected by Chris Columbus (1–2) Alfonso Cuarón (3) Mike Newell (4) David Yates (5–8) Screenplay bySteve Kloves (1–4, 6–8)Michael Goldenberg (5)Based onHarry Potterby J. K. RowlingProduced by David Heyman Chris Columbus (3) Mark Radcliffe (3) David Barron (5–8) J. K. Rowling (7–8) Starring Daniel Radcliffe Rupert Grint Emma Watson (See below) Cinematography John Seale (1) R...

 

Australian politician (born 1978) For other people named Jim Chalmers, see Jim Chalmers (disambiguation). The HonourableJim ChalmersMPChalmers in 2020Treasurer of Australia Ambassador to IncumbentAssumed office 23 May 2022Prime MinisterAnthony AlbanesePreceded byJosh FrydenbergMinister for Home Affairs Ambassador to ActingIn office23 May 2022 – 1 June 2022Prime MinisterAnthony AlbanesePreceded byKaren AndrewsSucceeded byClare O'Neil Ambassador to Member of the Australian Parlia...

 

Donna Summer pada tahun 1977 Donna Summer (31 Desember 1948 – 17 Mei 2012) merupakan seorang penyanyi dan pencipta lagu berkebangsaan Amerika Serikat. Dia sering dijuluki sebagai Queen of Disco yang sebelumnya merupakan penyanyi gospel. Ia dilahirkan di Boston. Dia berkarier di dunia musik dari tahun 1968 hingga tahun 2012. Lagunya yang paling sukses dan memantapkan ia sebagai Ratu Musik Disko adalah Last Dance, I Feel Love dan Bad Girl. Summer meninggal pada 17 Mei 2012. The ...

sate padangSepiring sate padangJenisSateSajianHidangan utamaTempat asalIndonesiaDaerahSumatera BaratDibuat olehMasakan PadangSuhu penyajianPanasBahan utamaDaging sapi dan offals sate dalam saus kuning kentalSunting kotak info • L • BBantuan penggunaan templat ini  Media: sate padang Sate padang adalah sebutan untuk tiga jenis varian sate di Sumatera Barat, yaitu Sate Padang, Sate Padang Panjang, dan Sate Pariaman. Namun karena adanya ekslusivitas istilah makanan, istila...

 

Lissègazoun Administration Pays Bénin Département Atlantique Démographie Population 14 989 hab.[1] (2013) Géographie Coordonnées 6° 39′ 57″ nord, 2° 09′ 04″ est Localisation Géolocalisation sur la carte : Bénin Lissègazoun modifier  Lissègazoun est un arrondissement de la commune d'Allada localisé dans le département de l'Atlantique dans le Sud du Bénin[2],[3]. Géographie Localisation Cette section est vide, insuffisam...

 

Herr Jesu Christ, wahr' Mensch und GottBWV 127Chorale cantata by J. S. BachS. Gerome and the trumpet of the last Judgement, oil painting by Pasquale CattiOccasionEstomihiChoraleHerr Jesu Christ, wahr Mensch und GottPerformed11 February 1725 (1725-02-11): LeipzigMovements5Vocal SATB choir solo: soprano, alto and bass Instrumentaltrumpet2 recorders2 oboes2 violinsviolacontinuo Herr Jesu Christ, wahr' Mensch und Gott (Lord Jesus Christ, true Man and God),[1] BWV 127, ...

Vous lisez un « bon article » labellisé en 2020. Pour les articles homonymes, voir Halimi. Gisèle Halimi Gisèle Halimi en 2008. Fonctions Ambassadrice de la France à l'UNESCO 13 avril 1985 – 1er septembre 1986(1 an, 4 mois et 19 jours) Directeur général Amadou-Mahtar M'Bow Prédécesseur Jacqueline Baudrier Successeur Marie-Claude Cabana Députée française 2 juillet 1981 – 9 septembre 1984(3 ans, 2 mois et 7 jours) Élection 21 juin 1981 ...

 

XVII secolo · XVIII secolo · XIX secolo Anni 1760 · Anni 1770 · Anni 1780 · Anni 1790 · Anni 1800 1785 · 1786 · 1787 · 1788 · 1789 · 1790 · 1791 · 1792 · 1793 Il 1789 (MDCCLXXXIX in numeri romani) è un anno del XVIII secolo. 1789 negli altri calendariCalendario gregoriano1789 Ab Urbe condita2542 (MMDXLII) Calendario armeno1237 — 1238 Calendario bengalese1195 — 1196 Calendario berbero2739 Cal...