165,119 research outputs found
Recommended from our members
Learning multiple fault diagnosis
This paper describes two methods for integrating model-based diagnosis (MBD) and explanation-based learning. The first method (EBL) uses a generate-test-debug paradigm, generating diagnostic hypotheses using learned associational rules that summarize model-based diagnostic experiences. This strategy is a form of "learning while doing" model-based troubleshooting and could be called "online learning." The second diagnosis and learning method described here (EEL-STATIC) involves ''learning in advance." Learning begins in a training phase prior to performance or testing. Empirical results of computational experiments comparing the learning methods with MBD on two devices (the polybox and the binary full adder) are reported. For the same diagnostic performance, EBL-STATIC is several orders of magnitude faster than MBD while EBL can cause performance slow-down
Employing Classifying Terms for Testing Model Transformations
This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically constructs object
models for class models enriched by OCL constraints. By guiding the construction process through so-called classifying terms, the built test cases in form of object models are classified into equivalence classes. A classifying term can be an arbitrary OCL term on the class model that calculates for an object model a characteristic value. From each equivalence class of object models with identical characteristic values one representative is chosen. The constructed test cases behave significantly different with regard to the selected classifying term. By building few diverse object models, properties of the UML and OCL model can be explored effectively. The technique is applied for automatically constructing relevant source model test cases for model transformations between a source and target metamodel.Universidad de Málaga. Campus de Excelencia Internacional AndalucÃa Tech
Comparative Study of full QCD Hadron Spectrum and Static Quark Potential with Improved Actions
We investigate effects of action improvement on the light hadron spectrum and
the static quark potential in two-flavor QCD for GeV and
. We compare a renormalization group improved action with
the plaquette action for gluons, and the SW-clover action with the Wilson
action for quarks. We find a significant improvement in the hadron spectrum by
improving the quark action, while the gluon improvement is crucial for a
rotationally invariant static potential. We also explore the region of light
quark masses corresponding to on a 2.7 fm lattice using
the improved gauge and quark action. A flattening of the potential is not
observed up to 2 fm.Comment: LaTeX, 35 pages, 22 eps figures, uses revtex and eps
Automated Top View Registration of Broadcast Football Videos
In this paper, we propose a novel method to register football broadcast video
frames on the static top view model of the playing surface. The proposed method
is fully automatic in contrast to the current state of the art which requires
manual initialization of point correspondences between the image and the static
model. Automatic registration using existing approaches has been difficult due
to the lack of sufficient point correspondences. We investigate an alternate
approach exploiting the edge information from the line markings on the field.
We formulate the registration problem as a nearest neighbour search over a
synthetically generated dictionary of edge map and homography pairs. The
synthetic dictionary generation allows us to exhaustively cover a wide variety
of camera angles and positions and reduce this problem to a minimal per-frame
edge map matching procedure. We show that the per-frame results can be improved
in videos using an optimization framework for temporal camera stabilization. We
demonstrate the efficacy of our approach by presenting extensive results on a
dataset collected from matches of football World Cup 2014
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry
In this paper, we aim at the automated unit coverage-based testing for
embedded software. To achieve the goal, by analyzing the industrial
requirements and our previous work on automated unit testing tool CAUT, we
rebuild a new tool, SmartUnit, to solve the engineering requirements that take
place in our partner companies. SmartUnit is a dynamic symbolic execution
implementation, which supports statement, branch, boundary value and MC/DC
coverage. SmartUnit has been used to test more than one million lines of code
in real projects. For confidentiality motives, we select three in-house real
projects for the empirical evaluations. We also carry out our evaluations on
two open source database projects, SQLite and PostgreSQL, to test the
scalability of our tool since the scale of the embedded software project is
mostly not large, 5K-50K lines of code on average. From our experimental
results, in general, more than 90% of functions in commercial embedded software
achieve 100% statement, branch, MC/DC coverage, more than 80% of functions in
SQLite achieve 100% MC/DC coverage, and more than 60% of functions in
PostgreSQL achieve 100% MC/DC coverage. Moreover, SmartUnit is able to find the
runtime exceptions at the unit testing level. We also have reported exceptions
like array index out of bounds and divided-by-zero in SQLite. Furthermore, we
analyze the reasons of low coverage in automated unit testing in our setting
and give a survey on the situation of manual unit testing with respect to
automated unit testing in industry.Comment: In Proceedings of 40th International Conference on Software
Engineering: Software Engineering in Practice Track, Gothenburg, Sweden, May
27-June 3, 2018 (ICSE-SEIP '18), 10 page
- …