153,672 Hits in 5.3 sec

Automated Generation of Test Models from Semi-Structured Requirements [article]

Jannik Fischbach, Maximilian Junker, Andreas Vogelsang, Dietmar Freudenstein
2019 arXiv   pre-print
[Context:] Model-based testing is an instrument for automated generation of test cases.  ...  [Problem:] The creation of test models is laborious and we lack an automated solution that covers the entire process from requirement detection to test model creation.  ...  We present an approach that generates Cause-Effect-Graphs from semi-structured requirements.  ... 
arXiv:1908.08810v1 fatcat:l2icok32wnbnzmi4yco7wz4nre

An automated method for test model generation from switch level circuits

Tim McDougall, Atanas Parashkevov, Simon Jolly, Juhong Zhu, Jing Zeng, Carol Pyron, Magdy Abadir
2003 Proceedings of the 2003 conference on Asia South Pacific design automation - ASPDAC  
This paper presents an automated flow for creating gate level test models from circuits at the switch level.  ...  Typically, test models are created manually from the switch level models-a tedious, error-prone process requiring experienced DFT engineers.  ...  The authors would like to thank Bruce Jilek and George Joos from the Somerset Design Center for their contributions to the development and beta testing of the SLV/ATPG flow in a real design environment  ... 
doi:10.1145/1119772.1119943 dblp:conf/aspdac/McDougallPJZZPA03 fatcat:7kkax2ycnffrpcsquv4tl7prtq

URDAD as a semi-formal approach to analysis and design

Fritz Solms, Dawid Loubser
2010 Innovations in Systems and Software Engineering  
This paper discusses the semi-formal aspects of URDAD which facilitate model validation and testing, documentation generation and automated implementation mapping as well as aspects which promote agility  ...  URDAD allows for formal elements to be added by different role players at different stages of the model refinement, whilst aiming to preserve agility of the outputs and low cost of the process generating  ...  In this paper, we point out the semi-formal aspects of URDAD facilitating model validation, automated generation of functional testing, documentation generation and simplified implementation mapping as  ... 
doi:10.1007/s11334-009-0113-4 fatcat:ao7bkleu7rhx7dacmjzw7pmf3m

DeepPicker: a Deep Learning Approach for Fully Automated Particle Picking in Cryo-EM [article]

Feng Wang and Huichao Gong and Gaochao liu and Meijing Li and Chuangye Yan and Tian Xia and Xueming Li and Jianyang Zeng
2016 arXiv   pre-print
Particle picking is a time-consuming step in single-particle analysis and often requires significant interventions from users, which has become a bottleneck for future automated electron cryo-microscopy  ...  DeepPicker employs a novel cross-molecule training strategy to capture common features of particles from previously-analyzed micrographs, and thus does not require any human intervention during particle  ...  Part of the test data are from EMPIAR ( Author contributions XL and JZ initiated the project. JZ and XL designed the functions of the program.  ... 
arXiv:1605.01838v1 fatcat:cb4aw3grz5fsrm2jfd6ges2ema

Research and implementation of the interface a data collection management

Jiafa Ye, Mingzhe Liu, Yanan Wang
2012 2012 2nd International Conference on Consumer Electronics, Communications and Networks (CECNet)  
The testing results show that the method meets the requirement of equipment data acquisition in the factory automation.  ...  According to the requirement of equipment data acquisition of semiconductor manufacturing equipment in the factory automation, this paper presents a new method to acquire the equipment data, which is based  ...  The Equipment today is required to support more than a dozen SEMI standards related to factory automation.  ... 
doi:10.1109/cecnet.2012.6201898 fatcat:mwxjpk76gjb4natyjvx52ttd4m

Modeling Protein Structure in Macromolecular Assemblies at Near Atomic Resolutions

Matthew L. Baker, Muyuan Chen, Philip R. Baldwin, Steven J. Ludtke, Wah Chiu
2015 Microscopy and Microanalysis  
Previously, we developed the Pathwalking protocol, which semi-automatically enumerates putative configurations of protein models from a density map [2, 3] .  ...  In the initial testing of Pathwalking, reasonable first-approach models, models with the correct overall folds, were derived directly from the density map with limited user intervention.  ...  Previously, we developed the Pathwalking protocol, which semi-automatically enumerates putative configurations of protein models from a density map [2, 3] .  ... 
doi:10.1017/s1431927615003505 fatcat:o7fytgfuufb5hmh5jglfboi3ny

Automated Test Case Generation for Industrial Control Applications [chapter]

Reinhard Hametner, Benjamin Kormann, Birgit Vogel-Heuser, Dietmar Winkler, Alois Zoitl
2013 Studies in Computational Intelligence  
Semi-automated derivation of test cases based on models, like UML, can support test case generation.  ...  Major results showed that state charts (a) can support efficient test case generation and (b) enable automated generation of test cases and code for industrial automation systems.  ...  The models can be derived from the system requirement specifications, enabling automated code and test case generation from their models [13] , [14] .  ... 
doi:10.1007/978-3-642-37387-9_20 fatcat:l3o7ynvglvdvrdmeujxpno5aeq

GUI Testing Techniques: A Survey

Imran Ali Qureshi, Aamer Nadeem
2013 International Journal of Future Computer and Communication  
We have classified the GUI test case generation techniques on the basis of Fault Models which is a novel work in the context of GUI testing.  ...  This paper presents a survey of existing GUI test case generation techniques; we have thoroughly reviewed the existing literature, identified Analysis parameters and provided a comparative Analysis of  ...  Semi-automated means some human involvement is required for test case generation. A value of "No" for this parameter means that the technique is not automatable at all. E.  ... 
doi:10.7763/ijfcc.2013.v2.139 fatcat:plknz6yzsra4ro2mv2bo5binha

Exploring the Possibility of Semi-Automated Quality Evaluation of Spatial Datasets in Spatial Data Infrastructure

Amin Mobasheri
2013 Journal of ICT Research and Applications  
The possibilities of use of different spatial data quality elements for semi-automated quality evaluation are explored and discussed.  ...  This research aims to overview spatial data quality elements and select appropriate elements suitable for means of semi-automated quality evaluation.  ...  Javier Morales from ITC faculty, University of Twente for the time and effort they put for the supervision of this research study, as well as Dr.  ... 
doi:10.5614/itbj.ict.res.appl.2013.7.1.1 fatcat:pxntmgl7ufddpei3gw7ic2yfcq


Birutė Ruzgienė
2012 Geodesy and Cartography  
The investigation objective is the comparison of analytical and digital semi-automatic photogrammetric mapping methods for 3D building models extraction from aerial images analysing in time-consuming and  ...  Up-to-date developed automatic or semi-automatic systems are highly effective for 3D features extraction in urban areas.  ...  Semi-automated building extraction system generates correct building geometry, since the operator is guiding the process, therefore involves the amount of time required, either a huge editing time required  ... 
doi:10.3846/13921541.2004.9636653 fatcat:gznslu6ouzel3mu43hjp7tr5ly

Implementation of the Concept of a Repository for Automated Processing of Semi-Structural Data

Mateusz Piech, Bartosz Rakoczy, Jacek Dajda, Marek Kisiel-Dorohinicki
2020 Journal of Telecommunications and Information Technology  
In addition, we show that the repository in question is suitable for general use, and, as such, may be adapted to any domains in which semi-structural data are processed, without any additional work required  ...  In this paper, we present a thoroughly described concept of a repository that is capable of storing and processing semi-structural data.  ...  legacy -dissemination of historical and contemporary technical science publications via an innovative IT system, AGH University of Science and Technology, 2016-2019.  ... 
doi:10.26636/jtit.2020.136919 fatcat:2mg4h7dd4ze7fputps5qj4n2je


S. Yoon, J. Jung, J. Heo
2015 The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences  
In the data acquisition phase, due to its complex structure, we moved the scanner location several times to obtain the entire point clouds of the test site.  ...  In order to test its feasibility for a variety of complex indoor environments, we applied the developed approach to model the 'Charlotte stairs' in Lotte World Mall, Korea.  ...  Acknowledgements This research was supported by a grant (11 High-tech G11) from the Architecture & Urban Development Research Program funded by the Korean Ministry of Land, Infrastructure and Transport  ... 
doi:10.5194/isprsarchives-xl-4-w5-143-2015 fatcat:a4bfx6tfw5bjtfjvuzfmlidkia

Topological Fragmentation of Medical 3D Surface Mesh Models for Multi-Hierarchy Anatomical Classification

Gerald Adam Zwettler, Werner Backfrieder
2015 International Journal of Electronics and Telecommunications  
As proof of concept, the semi-automated classification method is implemented for VTK library and visualization of the multi-hierarchy anatomical model is validated with OpenGL, successfully extracting  ...  Furthermore, application of randomized dilation allows conversion of the specified regions on the surface into fragmented and closed sub-meshes, comprising the entire anatomical structure.  ...  [13] , [12] served as excellent field of application for functional classification of 3D meshes and preparing accurate modeling of human anatomy in the diagnostic domain of strabismus surgery of the  ... 
doi:10.1515/eletel-2015-0016 fatcat:ggbvq7gzdzf5tpor6nj3hpjpx4


Giuseppe Martino Di Giuda, Andrea Bonomi Boseggia, Francesco Paleari, Sherine Ahmed El Baradei, Ahmed Abodonya, Amarjit Singh, Siamak Yazdani
2021 Proceedings of International Structural Engineering and Construction  
However, the automation of this process requires the definition and classification of rules, which represent the translation of regulatory requirements into a computer-based language.  ...  All these requirements are summarized in a structured spreadsheet and compared with the information contained in the BIM model, through a tool implemented within Dynamo software and facilitated by the  ...  They search for specific data packages from both the model and the semi-formal rule table, they compare the retrieved information by using predefined conditions derived from the formal-rules and they return  ... 
doi:10.14455/isec.2021.8(1).aae-08 fatcat:zzyshm4dg5huxjq7pstbtnidna

Development of Gas Turbine Fast Mathematical Model Simulation Module for Software Complex «Electrodin» based on LabVIEW

Olga A. Iarmonova, Anton B. Petrochenkov, Bernd Krause
2013 Evropejskij Issledovatelʹ  
The module will be used for gas turbine and electrical power system co-simulation, and for testing automation of gas turbine automatic control systems.  ...  This work was carried out within the framework of the project which purpose was to create a multi-adaptive ecological test rig for gas turbines up to 40 MW for such objects as gas pumping units (GPU) Abstract  ...  Automation of Gas Turbine Testing The current situation in the field of GTU test automation is undergoing a lot of changes due to the expansion of their range of use, and, therefore, with the constant  ... 
doi:10.13187/er.2013.61.2488 fatcat:mpb5ssjffnbltb4rz2nbciuqw4
« Previous Showing results 1 — 15 out of 153,672 results