Jove
Visualize
联系我们
JoVE
x logofacebook logolinkedin logoyoutube logo
关于 JoVE
概览领导团队博客JoVE 帮助中心
作者
出版流程编辑委员会范围与政策同行评审常见问题投稿
图书馆员
用户评价订阅访问资源图书馆顾问委员会常见问题
研究
JoVE JournalMethods CollectionsJoVE Encyclopedia of Experiments存档
教育
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab Manual教师资源中心教师网站
使用条款与条件
隐私政策
政策

相关概念视频

Precipitation and Co-precipitation01:17

Precipitation and Co-precipitation

1.8K
Precipitation and coprecipitation methods can be used to separate a mixture of ions in a solution. In qualitative inorganic analysis, ions that form sparingly soluble precipitates with the same reagent are separated based on the differences in solubility products. For example, consider the separation of Cu(II) and Fe(II) ions by precipitation as insoluble sulfides. First, copper(II) sulfide is precipitated by the addition of acidic H2S, where the dissociation of H2S is suppressed. Adding H2S...
1.8K
Washing, Drying, and Ignition of Precipitates00:52

Washing, Drying, and Ignition of Precipitates

918
After filtration, the precipitate is washed to remove coprecipitated impurities and any remaining mother liquor. Colloidal precipitates, such as silver chloride, are washed with an electrolyte (such as dilute nitric acid) to prevent the peptization of the precipitate. In the case of slightly soluble precipitates, the wash solution contains a common ion to reduce solubility. Lead sulfate, which is slightly soluble in water, is washed with dilute sulfuric acid. Similarly, wash solutions may be...
918
Quantifying and Rejecting Outliers: The Grubbs Test01:02

Quantifying and Rejecting Outliers: The Grubbs Test

1.6K
Sometimes, a data set can have a recorded numerical observation that greatly  deviates from the rest of the data. Assuming that the data is normally distributed, a statistical method called the Grubbs test can be used to determine whether the observation is truly an outlier.  To perform a two-tailed Grubbs test, first, calculate the absolute difference between the outlier and the mean. Then, calculate the ratio between this difference and the standard deviation of the sample. This...
1.6K
Detection of Gross Error: The Q Test01:00

Detection of Gross Error: The Q Test

6.1K
When one or more data points appear far from the rest of the data, there is a need to determine whether they are outliers and whether they should be eliminated from the data set to ensure an accurate representation of the measured value. In many cases, outliers arise from gross errors (or human errors) and do not accurately reflect the underlying phenomenon. In some cases, however, these apparent outliers reflect true phenomenological differences. In these cases, we can use statistical methods...
6.1K
Systematic Error: Methodological and Sampling Errors01:15

Systematic Error: Methodological and Sampling Errors

1.5K
In the case of systematic errors, the sources can be identified, and the errors can be subsequently minimized by addressing these sources. According to the source, systematic errors can be divided into sampling, instrumental, methodological, and personal errors.
Sampling errors originate from improper sampling methods or the wrong sample population. These errors can be minimized by refining the sampling strategy. Defective instruments or faulty calibrations are the sources of instrumental...
1.5K
Data Validation01:15

Data Validation

164
Method validation is a crucial process in analytical chemistry designed to confirm that a given method consistently produces reliable and high-quality results. This process is essential when a method is applied to different sample matrices or when procedural modifications are made, ensuring that the results meet acceptable standards across various applications.
Key parameters for method validation include:
164

您也可能阅读

相关文章

通过共同作者、期刊和引用图与本文相关的文章。

排序
Same author

HyperPUT: generating synthetic faulty programs to challenge bug-finding tools.

Empirical software engineering·2024
Same journal

How students use generative AI for software testing: An observational study.

Empirical software engineering·2026
Same journal

Is common sense all you need? Using expert defined rules to identify vulnerability patches instead of machine learning.

Empirical software engineering·2026
Same journal

Less is more: usefulness of data flow diagrams and large language models for security threat validation.

Empirical software engineering·2026
Same journal

SecMLOps: A comprehensive framework for integrating security throughout the machine learning operations lifecycle.

Empirical software engineering·2026
Same journal

Tools and benchmarks evolve: what is their impact on parameter tuning in SBSE experiments?

Empirical software engineering·2025
Same journal

AI support for data scientists: An empirical study on workflow and alternative code recommendations.

Empirical software engineering·2025
查看所有相关文章

相关实验视频

Updated: Jul 7, 2025

Using Capillary Electrophoresis to Quantify Organic Acids from Plant Tissue: A Test Case Examining Coffea arabica Seeds
10:13

Using Capillary Electrophoresis to Quantify Organic Acids from Plant Tissue: A Test Case Examining Coffea arabica Seeds

Published on: November 12, 2016

9.9K

在Java方法中,轻量级精确自动提取异常先决条件.

Diego Marcilio1, Carlo A Furia1

  • 1Software Institute, USI Università della Svizzera italiana, Lugano, Switzerland.

Empirical software engineering
|December 28, 2023
PubMed
概括
此摘要是机器生成的。

本研究介绍了Wit,一个自动化工具,可以提取Java的异常前提条件. 它准确地记录了特殊的行为,改进了软件开发实践.

关键词:
在这里,我们将学习Java Java Java Java.在Java的例外情况.预先条件 预先条件

更多相关视频

Detection of Rare Genomic Variants from Pooled Sequencing Using SPLINTER
14:06

Detection of Rare Genomic Variants from Pooled Sequencing Using SPLINTER

Published on: June 23, 2012

15.2K
Implementation of a Real-Time Psychosis Risk Detection and Alerting System Based on Electronic Health Records using CogStack
07:31

Implementation of a Real-Time Psychosis Risk Detection and Alerting System Based on Electronic Health Records using CogStack

Published on: May 15, 2020

7.1K

相关实验视频

Last Updated: Jul 7, 2025

Using Capillary Electrophoresis to Quantify Organic Acids from Plant Tissue: A Test Case Examining Coffea arabica Seeds
10:13

Using Capillary Electrophoresis to Quantify Organic Acids from Plant Tissue: A Test Case Examining Coffea arabica Seeds

Published on: November 12, 2016

9.9K
Detection of Rare Genomic Variants from Pooled Sequencing Using SPLINTER
14:06

Detection of Rare Genomic Variants from Pooled Sequencing Using SPLINTER

Published on: June 23, 2012

15.2K
Implementation of a Real-Time Psychosis Risk Detection and Alerting System Based on Electronic Health Records using CogStack
07:31

Implementation of a Real-Time Psychosis Risk Detection and Alerting System Based on Electronic Health Records using CogStack

Published on: May 15, 2020

7.1K

科学领域:

  • 软件工程 软件工程 软件工程
  • 程序分析 程序分析
  • 自动化软件工程 自动化软件工程

背景情况:

  • 异常先决条件对于正确的方法使用至关重要,但通常文档不够完善.
  • 手动记录异常行为是耗时的,并且容易出现代码更改时的同步问题.

研究的目的:

  • 开发一种自动化技术 (wit) 来提取Java方法和构造函数的异常先决条件.
  • 为记录特殊行为提供精确和轻量级的分析.

主要方法:

  • 使用静态分析来检查导致Java方法中的异常的执行路径.
  • 使用启发式来平衡精度和完整性,只需要源代码进行分析.

主要成果:

  • 在JDK和46个Java项目的24461个方法中发现了30487个异常先决条件.
  • 每个公开方法的平均分析时间不到2秒.
  • 手动验证证实,提取的例外前提条件的准确性为100%.

结论:

  • 智能工具准确有效地记录了Java方法的特殊行为.
  • 自动提取异常先决条件可以提高软件的可靠性和维护性.