Related Experiment Video
Updated: Aug 27, 2025

16:23
Automated, Quantitative Cognitive/Behavioral Screening of Mice: For Genetics, Pharmacology, Animal Cognition and Undergraduate Instruction
Published on: February 26, 2014
14.4K
Testing software's changing features with environment-driven abstraction identification
Zedong Peng1, Prachi Rathod1, Nan Niu1
1University of Cincinnati, Cincinnati, OH USA.
Summary
This study introduces an automated method for identifying abstractions to enhance requirements-based testing. The approach uses novel patterns and
Area of Science:
- Software Engineering
- Requirements Engineering
- Automated Software Testing
Background:
- Domain terms aid in requirements elicitation and modeling.
- Extending assistance to requirements validation is crucial for robust software development.
- Existing techniques may lack the precision needed for comprehensive testing.
Purpose of the Study:
- To present an automated approach for identifying abstractions to support requirements-based testing.
- To define novel patterns for generating testable
abstractions. - To evaluate the accuracy and effectiveness of the proposed method.
Main Methods:
- Utilized Wikipedia pages as a domain-independent corpus.
- Defined five novel patterns using part-of-speech tagging and dependency parsing.
- Framed candidate abstractions as
pairs for testability.
Main Results:
- The proposed abstractions demonstrated higher accuracy compared to a state-of-the-art technique.
- The abstractions effectively revealed bugs and matched manual environmental assumptions.
- Evaluated across Electronic Health Records and Web conferencing systems.
Conclusions:
- The automated approach enhances requirements-based testing through accurate abstraction identification.
- The
abstraction format improves testability and guides testing execution. - The study proposes a new feature testing methodology focusing on environmental condition variations.
Related Concept Videos
Quality Assurance
187
Quality assurance is the overarching term used to describe the activities employed to ensure the proper performance of a system. These activities can be classified into three categories: quality control, quality assessment, and internal corrective measures. Typically, these activities work cyclically: quality control is performed before and during the analysis, while quality assessment occurs during and after the investigation. Internal corrective measures are implemented based on the findings...
187
Distribution Reliability and Automation
147
Distribution reliability in electrical power systems is critical for ensuring an uninterrupted power supply to consumers at minimal cost. According to IEEE Standard Terms, reliability is the probability that a device will function without failure over a specified time period or amount of usage. For electric power distribution, this translates to maintaining continuous power supply and addressing customer concerns over power outages. Several indices, as defined by IEEE Standard 1366-2012, are...
147
Types of Hypothesis Testing
26.7K
There are three types of hypothesis tests: right-tailed, left-tailed, and two-tailed.
When the null and alternative hypotheses are stated, it is observed that the null hypothesis is a neutral statement against which the alternative hypothesis is tested. The alternative hypothesis is a claim that instead has a certain direction. If the null hypothesis claims that p = 0.5, the alternative hypothesis would be an opposing statement to this and can be put either p > 0.5, p < 0.5, or p...
When the null and alternative hypotheses are stated, it is observed that the null hypothesis is a neutral statement against which the alternative hypothesis is tested. The alternative hypothesis is a claim that instead has a certain direction. If the null hypothesis claims that p = 0.5, the alternative hypothesis would be an opposing statement to this and can be put either p > 0.5, p < 0.5, or p...
26.7K

