Structured Object Oriented Formal Language and Method

An Implementation Framework for Optimizing Test Case Generation Using Model
Checking Longhui Chang1,2(✉), Huaikou Miao1 ... Model checking based
automated software testing has gained a great popularity in the field of software

Structured Object Oriented Formal Language and Method

Author: Shaoying Liu

Publisher: Springer

ISBN: 3319174045

Page: 189

View: 206

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections on testing and inspection; model checking and animation; education and verification; and semantics and analysis.

Computer Information Systems and Industrial Management

However, in literature, focus is mostly given on UML model based automatic
generation of test cases, rather than optimization of test cases. Researchers and
practitioners have worked on various optimization approaches from decades.

Computer Information Systems and Industrial Management

Author: Khalid Saeed

Publisher: Springer Nature

ISBN: 3030289575

Page: 536

View: 787

This book constitutes the proceedings of the 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, held in Belgrade, Serbia, in September 2019. The 43 full papers presented together with 3 abstracts of keynotes were carefully reviewed and selected from 70 submissions. The main topics covered by the chapters in this book are biometrics, security systems, multimedia, classification and clustering, industrial management. Besides these, the reader will find interesting papers on computer information systems as applied to wireless networks, computer graphics, and intelligent systems. The papers are organized in the following topical sections: biometrics and pattern recognition applications; computer information systems; industrial management and other applications; machine learning and high performance computing; modelling and optimization; various aspects of computer security.

Data Democracy

... estimation Neural Networks Requirements 2003 Extracting test sequences
from a Markov software usage model Ant Colony Optimization Testing 2003
Automated test reduction Data analytics (Machine 2003 Learning) Test case
generation ...

Data Democracy

Author: Feras A. Batarseh

Publisher: Academic Press

ISBN: 0128189398

Page: 266

View: 145

Data Democracy: At the Nexus of Artificial Intelligence, Software Development, and Knowledge Engineering provides a manifesto to data democracy. After reading the chapters of this book, you are informed and suitably warned! You are already part of the data republic, and you (and all of us) need to ensure that our data fall in the right hands. Everything you click, buy, swipe, try, sell, drive, or fly is a data point. But who owns the data? At this point, not you! You do not even have access to most of it. The next best empire of our planet is one who owns and controls the world’s best dataset. If you consume or create data, if you are a citizen of the data republic (willingly or grudgingly), and if you are interested in making a decision or finding the truth through data-driven analysis, this book is for you. A group of experts, academics, data science researchers, and industry practitioners gathered to write this manifesto about data democracy. The future of the data republic, life within a data democracy, and our digital freedoms An in-depth analysis of open science, open data, open source software, and their future challenges A comprehensive review of data democracy's implications within domains such as: healthcare, space exploration, earth sciences, business, and psychology The democratization of Artificial Intelligence (AI), and data issues such as: Bias, imbalance, context, and knowledge extraction A systematic review of AI methods applied to software engineering problems

Cloud Computing and Security

From the scope of test case generation strategy, Fuzzing can be classified into
the Fuzzing based on generation and the Fuzzing based on mutation [6]. From
the ... detection method, one important disadvantages of fuzzing is not to
guarantee high path coverage rate and high automatic level. Therefore,
optimizing test case generation strategy is the major research direction for
improving fuzzing efficiency.

Cloud Computing and Security

Author: Xingming Sun

Publisher: Springer

ISBN: 3030000095

Page: 743

View: 311

This six volume set LNCS 11063 – 11068 constitutes the thoroughly refereed conference proceedings of the 4th International Conference on Cloud Computing and Security, ICCCS 2018, held in Haikou, China, in June 2018. The 386 full papers of these six volumes were carefully reviewed and selected from 1743 submissions. The papers cover ideas and achievements in the theory and practice of all areas of inventive systems which includes control, artificial intelligence, automation systems, computing systems, electrical and informative systems. The six volumes are arranged according to the subject areas as follows: cloud computing, cloud security, encryption, information hiding, IoT security, multimedia forensics.

Automated Software Testing

Kaur K, Chopra V (2014) Review of automatic test case generation from UML
diagram using evolutionary algorithm. Int JInvent Eng Sci 2:17–20 Kennedy J (
2010) Particle swarm optimization. Encyclopedia of machine learning, pp 760–
766 ...

Automated Software Testing

Author: Ajay Kumar Jena

Publisher: Springer Nature

ISBN: 9811524556

Page: 165

View: 202

This book covers both theory and applications in the automation of software testing tools and techniques for various types of software (e.g. object-oriented, aspect-oriented, and web-based software). When software fails, it is most often due to lack of proper and thorough testing, an aspect that is even more acute for object-oriented, aspect-oriented, and web-based software. Further, since it is more difficult to test distributed and service-oriented architecture-based applications, there is a pressing need to discuss the latest developments in automated software testing. This book discusses the most relevant issues, models, tools, challenges, and applications in automated software testing. Further, it brings together academic researchers, scientists, and engineers from a wide range of industrial application areas, who present their latest findings and identify future challenges in this fledging research area.

Information Systems Technology and Management

This paper proposes an Ant Colony Optimization approach to automatic test
sequence generation for control flow based ... ACO has been applied now a day
frequently in many software testing applications for generating test case

Information Systems  Technology and Management

Author: Sushil K. Prasad

Publisher: Springer Science & Business Media

ISBN: 3642004059

Page: 366

View: 490

This book constitutes the refereed proceedings of the Third International Conference on Information Systems, Technology and Management, ICISTM 2009, held in Ghaziabad, India, in March 2009 The 30 revised full papers presented together with 4 keynote papers were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on storage and retrieval systems; data mining and classification; managing digital goods and services; scheduling and distributed systems; advances in software engineering; case studies in information management; algorithms and workflows; authentication and detection systems; recommendation and negotiation; secure and multimedia systems; as well as 14 extended poster abstracts.

Testing of Communicating Systems

90 916 ji Istore 916 I ! city abstract test case refined test case impl 1 impl 2 jo !
address ! street ? street ? street 1 ? city l ? city ( 92 , 11 ) izl ! ok bi23 | ? ok , nok ?
ok , nok ? ... test case generation algorithm of Tretmans ( 4 ) fulfills this
requirement ( as it does not optimize test suites by deleting test cases ) . Corollary
... This enables us to obtain test cases with the required level of detail in an
automated way .

Testing of Communicating Systems





View: 972

Measurement Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance

The underlying multi-objective optimization problem is solved by genetic
algorithms. The resulting automatic test case generation supports the derivation
of conservative reliability measures as well as high interaction coverage.

Measurement  Modeling  and Evaluation of Computing Systems and Dependability and Fault Tolerance

Author: Jens B. Schmitt

Publisher: Springer

ISBN: 3642285406

Page: 331

View: 453

This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in March 2012. The 16 revised full papers presented together with 5 tool papers and 5 selected workshop papers were carefully reviewed and selected from 54 submissions. MMB & DFT 2012 covers diverse aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems.

Twelfth International Conference on Information Networking ICOIN 12 Koganei Tokyo Japan January 21 23 1998

In a knot state having n ingoing edges , 1 loops and m outgoing edges the
needed number of test cases is n + l + m - 1 . ... Automatic generation of
observationbased and length - optimized test cases for EFSM model in
conformance testing " ...

Twelfth International Conference on Information Networking   ICOIN 12   Koganei  Tokyo  Japan  January 21 23  1998


Publisher: IEEE


Page: 733

View: 132

The papers at this conference should appeal to researchers, professors, practitioners, students, and other computing professionals."

Automatic Generation of Combinatorial Test Data

Intuitively, if most of the test cases containing a certain combination fail, this
combination will be very likely to cause the failure. Classification tree [21] or SAT
solving/optimization techniques [22] can be applied to find these combinations ...

Automatic Generation of Combinatorial Test Data

Author: Jian Zhang

Publisher: Springer

ISBN: 3662434296

Page: 90

View: 880

This book reviews the state-of-the-art in combinatorial testing, with particular emphasis on the automatic generation of test data. It describes the most commonly used approaches in this area - including algebraic construction, greedy methods, evolutionary computation, constraint solving and optimization - and explains major algorithms with examples. In addition, the book lists a number of test generation tools, as well as benchmarks and applications. Addressing a multidisciplinary topic, it will be of particular interest to researchers and professionals in the areas of software testing, combinatorics, constraint solving and evolutionary computation.

Future Communication Computing Control and Management

Primarily, confirmed the test requirements and generated the initial test case suite
according to program flow diagram, then drew the ... It is indicated by the
example that this method could eliminate the relationships of equivalence and
inclusion in test requirements automatically. ... 1 Introduction Test cases
generation and test case suite simplification are the ... of test requirement suite
simplification, but simplifying the test requirement suite is useful for optimizing
about test case suite.

Future Communication  Computing  Control and Management

Author: Ying Zhang

Publisher: Springer Science & Business Media

ISBN: 3642273114

Page: 610

View: 436

This volume contains revised and extended research articles written by prominent researchers participating in the ICF4C 2011 conference. 2011 International Conference on Future Communication, Computing, Control and Management (ICF4C 2011) has been held on December 16-17, 2011, Phuket, Thailand. Topics covered include intelligent computing, network management, wireless networks, telecommunication, power engineering, control engineering, Signal and Image Processing, Machine Learning, Control Systems and Applications, The book will offer the states of arts of tremendous advances in Computing, Communication, Control, and Management and also serve as an excellent reference work for researchers and graduate students working on Computing, Communication, Control, and Management Research.

Knowledge Mining Using Intelligent Agents

As test data generation is treated as an optimization problem, Genetic Algorithm
has been used successfully to ... This chapter describes a framework that
automatically generates an optimal set of test cases to achieve path coverage of
an ...

Knowledge Mining Using Intelligent Agents

Author: Satchidananda Dehuri

Publisher: World Scientific

ISBN: 184816386X

Page: 313

View: 289

Knowledge Mining Using Intelligent Agents explores the concept of knowledge discovery processes and enhances decision-making capability through the use of intelligent agents like ants, termites and honey bees. In order to provide readers with an integrated set of concepts and techniques for understanding knowledge discovery and its practical utility, this book blends two distinct disciplines data mining and knowledge discovery process, and intelligent agents-based computing (swarm intelligence and computational intelligence). For the more advanced reader, researchers, and decision/policy-makers are given an insight into emerging technologies and their possible hybridization, which can be used for activities like dredging, capturing, distributions and the utilization of knowledge in their domain of interest (i.e. business, policy-making, etc.). By studying the behavior of swarm intelligence, this book aims to integrate the computational intelligence paradigm and intelligent distributed agents architecture to optimize various engineering problems and efficiently represent knowledge from the large gamut of data.

Solving Computationally Expensive Engineering Problems

The results obtained for several test cases indicate that the automated model
generation may lead to significant computational savings of the CFD-based airfoil
design process. Illustration of the entire optimization cycle involving automated ...

Solving Computationally Expensive Engineering Problems

Author: Slawomir Koziel

Publisher: Springer

ISBN: 3319089854

Page: 335

View: 452

Computational complexity is a serious bottleneck for the design process in virtually any engineering area. While migration from prototyping and experimental-based design validation to verification using computer simulation models is inevitable and has a number of advantages, high computational costs of accurate, high-fidelity simulations can be a major issue that slows down the development of computer-aided design methodologies, particularly those exploiting automated design improvement procedures, e.g., numerical optimization. The continuous increase of available computational resources does not always translate into shortening of the design cycle because of the growing demand for higher accuracy and necessity to simulate larger and more complex systems. Accurate simulation of a single design of a given system may be as long as several hours, days or even weeks, which often makes design automation using conventional methods impractical or even prohibitive. Additional problems include numerical noise often present in the simulation data, possible presence of multiple locally optimum designs, as well as multiple conflicting objectives. In this edited book, various techniques that can alleviate solving computationally expensive engineering design problems are presented. One of the most promising approaches is the use of fast replacement models, so-called surrogates, that reliably represent the expensive, simulation-based model of the system/device of interest but they are much cheaper and analytically tractable. Here, a group of international experts summarize recent developments in the area and demonstrate applications in various disciplines of engineering and science. The main purpose of the work is to provide the basic concepts and formulations of the surrogate-based modeling and optimization paradigm, as well as discuss relevant modeling techniques, optimization algorithms and design procedures. Therefore, this book should be useful to researchers and engineers from any discipline where computationally heavy simulations are used on daily basis in the design process.

Satellite Events at the MoDELS 2005 Conference

... (MDD) is a software development methodology that emphasizes precise
modeling for automated generation of optimized code. MDD techniques also
target automated simulation, verification, use-case validation and test case

Satellite Events at the MoDELS 2005 Conference

Author: Jean-Michel Bruel

Publisher: Springer Science & Business Media

ISBN: 9783540317807

Page: 360

View: 212

This book constitutes the thoroughly refereed post-proceedings of 10 internationl workshops held as satellite events of the 8th International Conference on Model Driven Engineering Languages and Systems, MoDELS 2005, in Montego Bay, Jamaica in October 2005 (see LNCS 3713). The 30 revised full papers were carefully selected for inclusion in the book and are presented along with an educators's and a doctorial symposium section comprising additional 13 short articles. The papers are organized in topical sections representing the various workshops: tool support for OCL and related formalisms, model design and validation (MoDeVA), modeling and analysis of real-time and embedded systems (MARTES), aspect oriented modeling (AOM), model transformations in practice (MTiP), software model engineering (WiSME), model driven development of advanced user interfaces (MODAUI), models for non-functional aspects of component-based software (NfC), MDD for software product-lines, and use cases in model-driven software engineering (WUsCaM).


In the future research we are planning to develop algorithms , which will further
minimize the number of test cases by ... [ 4 ] Besse , C. , Cavalli , A. , Lee , D. , "
An Automatic and Optimized Test Generation Technique Applying to TCP / IP ...



Publisher: IEEE

ISBN: 9780769513720

Page: 647

View: 860

Papers from an October 2001 address such themes as requirements engineering, component-based development, protocols and harmonization, quality management, software architecture, workflow systems, and software testing, distributed systems, UML, commercial off-the-shelf components, e-learning applicat

Timing Analysis and Optimization of Sequential Circuits

... AND TESTING 7.1.1 Effect of Retiming on Testability and Test Generation Time
The problem of automatic test pattern ... retimed circuits could take up to two
order of magnitudes longer for ATPG than the original circuits, and in many cases
, ...

Timing Analysis and Optimization of Sequential Circuits

Author: Naresh Maheshwari

Publisher: Springer Science & Business Media

ISBN: 9780792383215

Page: 190

View: 250

Recent years have seen rapid strides in the level of sophistication of VLSI circuits. On the performance front, there is a vital need for techniques to design fast, low-power chips with minimum area for increasingly complex systems, while on the economic side there is the vastly increased pressure of time-to-market. These pressures have made the use of CAD tools mandatory in designing complex systems. Timing Analysis and Optimization of Sequential Circuits describes CAD algorithms for analyzing and optimizing the timing behavior of sequential circuits with special reference to performance parameters such as power and area. A unified approach to performance analysis and optimization of sequential circuits is presented. The state of the art in timing analysis and optimization techniques is described for circuits using edge-triggered or level-sensitive memory elements. Specific emphasis is placed on two methods that are true sequential timing optimizations techniques: retiming and clock skew optimization. Timing Analysis and Optimization of Sequential Circuits covers the following topics: Algorithms for sequential timing analysis Fast algorithms for clock skew optimization and their applications Efficient techniques for retiming large sequential circuits Coupling sequential and combinational optimizations. Timing Analysis and Optimization of Sequential Circuits is written for graduate students, researchers and professionals in the area of CAD for VLSI and VLSI circuit design.

Hardware and Software Verification and Testing

... static analysis, automated test case generation, extended static checking,
scheduling and optimization. While the roots of SMT go back to work in the late
1970s and early 1980s on using decision procedures in formal methods, the field
was ...

Hardware and Software  Verification and Testing

Author: Sharon Barner

Publisher: Springer Science & Business Media

ISBN: 3642195822

Page: 197

View: 470

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.

Genetic And Evolutionary Computation GECCO 2004

Evaluation of Different Fitness Functions for the Evolutionary Testing of an
Autonomous Parking System Joachim ... The method of evolutionary functional
testing allows for the automation of testing by transforming test case design into
an optimization problem. ... The evolutionary functional testing method facilitates
the generation of test cases in order to detect functional errors during a directed

Genetic And Evolutionary Computation  GECCO 2004

Author: Kalyanmoy Deb

Publisher: Springer Science & Business Media

ISBN: 3540223436

Page: 1445

View: 733

MostMOEAsuseadistancemetricorothercrowdingmethodinobjectivespaceinorder to maintain diversity for the non-dominated solutions on the Pareto optimal front. By ensuring diversity among the non-dominated solutions, it is possible to choose from a variety of solutions when attempting to solve a speci?c problem at hand. Supposewehavetwoobjectivefunctionsf (x)andf (x).Inthiscasewecande?ne 1 2 thedistancemetricastheEuclideandistanceinobjectivespacebetweentwoneighboring individuals and we thus obtain a distance given by 2 2 2 d (x, x )= f (x )?f (x )] + f (x )?f (x )] . (1) 1 2 1 1 1 2 2 1 2 2 f wherex andx are two distinct individuals that are neighboring in objective space. If 1 2 2 2 the functions are badly scaled, e.g. ?f (x)] ?f (x)], the distance metric can be 1 2 approximated to 2 2 d (x, x )? f (x )?f (x )] . (2) 1 2 1 1 1 2 f Insomecasesthisapproximationwillresultinanacceptablespreadofsolutionsalong the Pareto front, especially for small gradual slope changes as shown in the illustrated example in Fig. 1. 1.0 0.8 0.6 0.4 0.2 0 0 20 40 60 80 100 f 1 Fig.1.Forfrontswithsmallgradualslopechangesanacceptabledistributioncanbeobtainedeven if one of the objectives (in this casef ) is neglected from the distance calculations. 2 As can be seen in the ?gure, the distances marked by the arrows are not equal, but the solutions can still be seen to cover the front relatively well.

Genetic and Evolutionary Computation Conference

While searchbased test case generation strategies , such as evolutionary testing ,
are well researched for procedural software , relatively ... This paper presents an
approach with which to apply evolutionary algorithms for the automatic
generation of test cases for the white - box testing of object - oriented software . ...
In order to optimize the evolutionary search , multi - level optimizations are
considered .

Genetic and Evolutionary Computation Conference

Author: Hans-Georg Beyer

Publisher: Association for Computing Machinery (ACM)


Page: 2244

View: 889