Filters








45,475 Hits in 3.9 sec

Using Global Constraints to Automate Regression Testing

Arnaud Gotlieb, Dusica Marijan
2017 The AI Magazine  
In this paper, we address the TSR problem with sound Artificial intelligence techniques such as Constraint Programming (CP) and global constraints.  ...  Our models are based on a combination of NVALUE, GLOBALCARDINALITY, and SCALAR_PRODUCT, three well-known global constraints that can faithfully encode the coverage relation between test cases and test  ...  Her research interests include test automation and optimization, with a goal to help practitioners perform higher quality testing at lower costs and with fewer resources.  ... 
doi:10.1609/aimag.v38i1.2714 fatcat:jokescwvw5a3hp7bcgs4l44iq4

Editorial Introduction: Innovative Applications of Artificial Intelligence 2016

Peter Yeh, James Crawford
2017 The AI Magazine  
In our sixth article, Using Global Constraints to Automate Regression Testing, Arnaud Gotlieb and Dusica Marijan describe an emerging application to automate regression testing.  ...  To address these limitations, the authors apply AI techniques such as constraint programming and global constraints to automate the process. Moreover, the are outlined.  ... 
doi:10.1609/aimag.v38i1.2708 fatcat:qlvpy2b5djdshk25duafd5ch7u

Optimal Design of PMSM Based on Automated Finite Element Analysis and Metamodeling

Yong-Min You
2019 Energies  
The optimization design based on metamodels was conducted using the hybrid metaheuristic algorithm to determine the global optimum.  ...  Eleven metamodels were created for each output variable using the DOE results and root mean squared error tests were conducted to evaluate the predictive performance of the metamodels.  ...  Acknowledgments: The author express gratitude to PIDOTECH and FRONTIS for their technical support. Conflicts of Interest: The authors declare no conflict of interest. Energies 2019, 12, 4673  ... 
doi:10.3390/en12244673 fatcat:5eicf2nkfzcqpff6ezdzaxxryi

Accurate Fully Automatic Femur Segmentation in Pelvic Radiographs Using Regression Voting [chapter]

C. Lindner, S. Thiagarajah, J. M. Wilkinson, G. A. Wallis, Timothy F. Cootes
2012 Lecture Notes in Computer Science  
Both global and local models use Random Forest regression to vote for the optimal positions, leading to robust and accurate results.  ...  We show that the fully automated system is able to achieve a mean point-to-curve error of less than 1mm for 98% of all 519 images.  ...  Both global and local search use RF regression voting to predict object and point positions.  ... 
doi:10.1007/978-3-642-33454-2_44 fatcat:hx5eqva37zd4blz433aelfwvwu

Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens

Tomohiko Takagi, Ryo Kurozumi
2021 Journal of Robotics, Networking and Artificial Life (JRNAL)  
An engineer can start automated regression testing by loading a test case and an EPNAT model to be tested.  ...  Also, regression testing is repeatedly performed, and thus it should be automated by a tool to save time and effort.  ... 
doi:10.2991/jrnal.k.210713.009 fatcat:5nhygw45qjd5zki2h5b7ky2g5u

Objective Function Designing Led by User Preferences Acquisition [article]

Patrick Taillandier
2012 arXiv   pre-print
The quality of obtained solution is directly linked to the pertinence of the used objective function. However, designing such function, which has to translate the user needs, is usually fastidious.  ...  In this paper, a method to help user objective functions designing is proposed.  ...  To satisfy its constraints as well as possible, a geographical agent carries out a cycle of actions during which it tests different actions in order to reach a perfect state (where all of its constraints  ... 
arXiv:1204.4990v1 fatcat:b3uygmwcezf6jkgbvfndht6qlq

Towards traceability of model-based testing artifacts

Leila Naslavsky, Hadar Ziv, Debra J. Richardson
2007 Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07  
Traceability is required to support activities such as result evaluation, regression testing and coverage analysis.  ...  In addition to test generation, challenges to modelbased testing include creation and maintenance of traceability information among test-related artifacts.  ...  A solution that satisfies the conjunction of these constraints is one test case input data. To automate this step, we will use a constraint solver to generate the test case data values.  ... 
doi:10.1145/1291535.1291546 dblp:conf/amost/NaslavskyZR07 fatcat:dueseijdbjeihlyjbjtvifjrcy

Leveraging Global Talent for Effective Test Agility

Todd Little, Suzanne Elliott, Joe Hughes, Florin Simion
2012 2012 Agile Conference  
A major challenge in agile development is the ability of test teams to keep pace with ongoing development while simultaneously ensuring that new development has not created regression failures.  ...  This case study from Halliburton shows how together with two globally distributed outsourcing partners they developed a comprehensive test automation strategy for their agile teams that effectively leveraged  ...  While we had many challenges, what we found was that by starting with an overall testing strategy and an understanding of the strengths and constraints, we were able to optimize the problem globally to  ... 
doi:10.1109/agile.2012.25 dblp:conf/agiledc/LittleEHS12 fatcat:feakklfqizclthayfpcclpkg6a

Bayesian Optimization Approach for Analog Circuit Synthesis Using Neural Network

Shuhan Zhang, Wenlong Lyu, Fan Yang, Changhao Yan, Dian Zhou, Xuan Zeng
2019 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)  
We use deep neural network to extract good feature representations, and then define Gaussian process using the extracted features.  ...  In the traditional Gaussian process regression model, the kernel functions are defined explicitly.  ...  Gaussian Process Regression The surrogate model widely used in Bayesian optimization is the Gaussian process (GP) regression model.  ... 
doi:10.23919/date.2019.8714788 dblp:conf/date/ZhangLYYZ019 fatcat:4233bzv7crhe7kpwsv4sbsjafq

Formal Verification of Evolutionary Changes [chapter]

Bernhard Beckert, Jakob Mund, Mattias Ulbrich, Alexander Weigl
2019 Managed Software Evolution  
In this chapter, we elaborate how formal verification techniques can be used to ensure safety properties of automated production systems during their evolution.  ...  , generalised test tables, and model checking of holistic (multidomain) models.  ...  In earlier work [Fel+14], we presented an automated approach to regression verification based on invariant generation using Horn clauses.  ... 
doi:10.1007/978-3-030-13499-0_11 fatcat:5rcrtm2aenaajcpzah4jw6ubge

Rapid goal-oriented automated software testing using MEA-graph planning

Manish Gupta, Jicheng Fu, Farokh B. Bastani, Latifur R. Khan, I.-Ling Yen
2007 Software quality journal  
to automation using AI planning methods. (2) The design of a framework for an automated planning system (APS) for applying AI planning techniques for testing software systems. (3) Assessment of the test  ...  automation framework and a specific AI Planning algorithm, namely, MEA-Graphplan (Means-Ends Analysis Graphplan), algorithm to automatically generate test data. (4) A case study is presented to evaluate  ...  Definition 3, Goal state of a software system For any planning problem, the goal state g is represented using the testing requirements (T) and the global constraints (C) that need to be met during software  ... 
doi:10.1007/s11219-007-9018-3 fatcat:sixizge6cjczrohatcqddsuy6a

Knowledge Transfer in Automatic Optimisation of Reconfigurable Designs

Maciej Kurek, Marc Peter Deisenroth, Wayne Luk, Timothy Todman
2016 2016 IEEE 24th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)  
We show how to use designs targeting one device to speed up optimisation of another device.  ...  The key idea is to make use of insights derived from optimising related designs to benefit future optimisations.  ...  In case of GP regression, the target function f : X → R is used to obtain noisy observations y.  ... 
doi:10.1109/fccm.2016.29 dblp:conf/fccm/KurekDLT16 fatcat:qwzigugtxremroofjlciow3pja

Techniques and processes for improving the quality and performance of open-source software

Adam Porter, Cemal Yilmaz, Atif M. Memon, Arvind S. Krishna, Douglas C. Schmidt, Aniruddha Gokhale
2006 Software Process: Improvement and Practice  
to find defects missed during conventional testing, and (3) centralizing control of QA activities helps to eliminate redundant QA work.  ...  Our results show that: (1) creating models and setting up the DCQA process improves developer understanding of open-source software, (2) improving test diversity in terms of platform configurations helps  ...  Skoll uses a formal model of the software's configuration space to maintain a consistent global view of system constraints.  ... 
doi:10.1002/spip.260 fatcat:l627kh3gl5fj5nlpp7fwj5y6qi

Adaptive Regression Testing Strategy: An Empirical Study

Md. Junaid Arafeen, Hyunsook Do
2011 2011 IEEE 22nd International Symposium on Software Reliability Engineering  
to use on every version.  ...  To address this problem, we propose adaptive regression testing (ART) strategies that attempt to identify the regression testing techniques that will be the most cost-effective for each regression testing  ...  Acknowledgments This work was supported in part by NSF under Awards CNS-0855106 and CCF-1050343 to North Dakota State University.  ... 
doi:10.1109/issre.2011.29 dblp:conf/issre/ArafeenD11 fatcat:vfusfa5nmzhe7mbjyw5wos2g6y

Scalable System-level CTI Testing through Lightweight Coarse-grained Coordination

Tiziana Margaria, Bernhard Steffen
2002 Electronical Notes in Theoretical Computer Science  
The enabling aspect is here the adoption of a coarse-grained approach to test design, which is central to the scalability of the overall testing environment.  ...  We propose a solution to the problem of system-level testing of functionally complex communication systems based on lightweight coordination.  ...  The verification of local constraints is invoked during the verification of the global constraints. Global Constraints: The Temporal Aspect.  ... 
doi:10.1016/s1571-0661(04)80404-3 fatcat:7vtyyq66wnadja4qetborcmk74
« Previous Showing results 1 — 15 out of 45,475 results