Structured Object Oriented Formal Language and Method

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
test.

Author: Shaoying Liu

Publisher: Springer

ISBN: 9783319174044

Category: Computers

Page: 189

View: 503

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.
Categories: Computers

Computer Information Systems and Industrial Management

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.

Author: Khalid Saeed

Publisher: Springer Nature

ISBN: 9783030289577

Category: Computers

Page: 536

View: 365

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.
Categories: Computers

Data Democracy

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 ...

Author: Feras A. Batarseh

Publisher: Academic Press

ISBN: 9780128189399

Category: Science

Page: 266

View: 639

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
Categories: Science

Cloud Computing and Security

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.

Author: Xingming Sun

Publisher: Springer

ISBN: 9783030000097

Category: Computers

Page: 743

View: 111

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.
Categories: Computers

Automated Software Testing

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 ...

Author: Ajay Kumar Jena

Publisher: Springer Nature

ISBN: 9789811524554

Category: Technology & Engineering

Page: 165

View: 940

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.
Categories: Technology & Engineering

Information Systems Technology and Management

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
sequences.

Author: Sushil K. Prasad

Publisher: Springer Science & Business Media

ISBN: 9783642004056

Category: Computers

Page: 366

View: 682

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.
Categories: Computers

Testing of Communicating Systems

Testing of Communicating Systems

Hessel , A . , Larsen , K . , Nielsen , B . , Pettersson , P . , Skou , A . : Time -
optimal realtime test case generation using UPPAAL . ... Hong , H . , Lee , I . ,
Sokolsky , O . , Cha , S . : Automatic test generation from statecharts using model
checking . ... Springer Verlag ( 1982 ) Communication Patterns for Expressing
Real - Time Requirements Using MSC Generation of Optimized Testsuites for
UML Statecharts ...

Author:

Publisher:

ISBN: UOM:39015058321699

Category: Telecommunication systems

Page:

View: 517

Categories: Telecommunication systems

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

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.

Author: Jens B. Schmitt

Publisher: Springer

ISBN: 9783642285400

Category: Computers

Page: 331

View: 167

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.
Categories: Computers

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

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 " ...

Author:

Publisher: IEEE

ISBN: PSU:000033380124

Category: Computers

Page: 733

View: 163

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

Automatic Generation of Combinatorial Test Data

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 ...

Author: Jian Zhang

Publisher: Springer

ISBN: 9783662434291

Category: Computers

Page: 90

View: 733

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.
Categories: Computers

COMPSAC 2001

COMPSAC 2001

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 ...

Author:

Publisher: IEEE

ISBN: 0769513727

Category: Computers

Page: 647

View: 145

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
Categories: Computers

Timing Analysis and Optimization of Sequential Circuits

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
, ...

Author: Naresh Maheshwari

Publisher: Springer Science & Business Media

ISBN: 0792383214

Category: Technology & Engineering

Page: 190

View: 390

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.
Categories: Technology & Engineering

Genetic and Evolutionary Computation Conference

Genetic and Evolutionary Computation Conference

While searchbased test case generation strategies, such as evolutionary testing,
are well researched for procedural ... evolutionary testing, chaining approach,
multi-level optimization, automated test case generation Permission to make
digital ...

Author:

Publisher:

ISBN: UIUC:30112071085002

Category: Evolutionary computation

Page:

View: 623

Categories: Evolutionary computation

Genetic and Evolutionary Computation Conference

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 .

Author: Hans-Georg Beyer

Publisher: Association for Computing Machinery (ACM)

ISBN: CORNELL:31924102658865

Category: Genetic algorithms

Page: 2244

View: 376

Categories: Genetic algorithms

Search Based Software Engineering

Search Based Software Engineering

This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019.

Author: Shiva Nejati

Publisher: Springer Nature

ISBN: 9783030274559

Category: Computers

Page: 191

View: 766

This book constitutes the refereed proceedings of the 11th International Symposium on Search-Based Software Engineering, SSBSE 2019, held in Tallinn, Estonia, in August/September 2019. The 9 research papers and 3 short papers presented together with 1 keynote and 1 challenge paper were carefully reviewed and selected from 28 submissions. SSBSE is a research area focused on the formulation of software engineering problems as search problems, and the subsequent use of complex heuristic techniques to attain optimal solutions to such problems. A wealth of engineering challenges - from test generation, to design refactoring, to process organization - can be solved efficiently through the application of automated optimization techniques. SBSE is a growing field - sitting at the crossroads between AI, machine learning, and software engineering - and SBSE techniques have begun to attain human-competitive results.
Categories: Computers

Testing Software and Systems

Testing Software and Systems

This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019.

Author: Christophe Gaston

Publisher: Springer Nature

ISBN: 9783030312800

Category: Computers

Page: 297

View: 835

This book constitutes the refereed proceedings of the 31st IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2019, held in Paris, France, in October 2019. The 14 regular papers and 3 short papers presented were carefully reviewed and selected from 30 submissions. This year also included an additional industrial paper. ICTSS is a series of international conferences addressing the conceptual, theoretic, and practical problems of testing software systems, including communication protocols, services, distributed platforms, middleware, embedded and cyber-physical systems, and security infrastructures.
Categories: Computers

Software Engineering Research Management and Applications

Software Engineering Research  Management and Applications

This edited book presents scientific results of the 12th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2014) held on August 31 – September 4, 2014 in Kitakyushu, ...

Author: Roger Lee

Publisher: Springer

ISBN: 9783319112657

Category: Computers

Page: 234

View: 880

This edited book presents scientific results of the 12th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2014) held on August 31 – September 4, 2014 in Kitakyushu, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. Research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. This publication captures 17 of the conference’s most promising papers.
Categories: Computers

The 14th IEEE International Conference on Automated Software Engineering

The 14th IEEE International Conference on Automated Software Engineering

An Automatic and Optimized Test Generation Technique Applying to TCP / IP
Protocol Cédric Besse Ana Cavalli Institut ... For such a sophisticated protocol ,
the algorithm efficiently constructs 22 tests that cover all the required portions of
the ...

Author: IEEE Computer Society

Publisher: IEEE

ISBN: 0769504159

Category: Computers

Page: 340

View: 853

Twenty-five papers presented at the October 1999 conference are grouped into sessions having the broad topics of software synthesis, requirements elicitation, reuse, test synthesis, analysis, verification, transformation, architecture, and automated testing. Among the topics are data mining library reuse patterns in user-selected applications, industrial applications of software synthesis via category theory, automated translation of UML models of architectures for verification and simulation using SPIN, verification of picture generated code, evolving object-oriented designs with refactorings, automatically detecting mismatches during component-based and model-based development, and an overview of Lutess: a specification- based tool for testing synchronous software. There are also 25 short papers that represent novel work not yet fully mature. No subject index. Annotation copyrighted by Book News, Inc., Portland, OR.
Categories: Computers

BIM Based Model for the Automatic Generation and Optimization of Planning and 4 D Scheduling for Concrete Skeleton A Graph Theory Approach

BIM Based Model for the Automatic Generation and Optimization of Planning and 4 D Scheduling for Concrete Skeleton  A Graph Theory Approach

Abstract: With the rapid increase in complexity in the building industry, project managers are facing more and more complex decision environments and problems.

Author: Yasmeen Ahmed Sherif Aly Essawy

Publisher:

ISBN: OCLC:1103311158

Category: Building information modeling

Page: 482

View: 608

Abstract: With the rapid increase in complexity in the building industry, project managers are facing more and more complex decision environments and problems. Therefore, it would be beneficial to aid project managers in making sound decisions regarding the intelligent knowledgeable selection of the optimal construction methodology for concrete skeletons while making use of Building Information Modelling (BIM). BIM models' usage fused with modelling, and simulation tools allow efficiently prototyping a building and examining its construction activities before breaking the ground. For this purpose, an intelligent framework with advanced computational tools and algorithms is designed and created to achieve a higher degree of design-construction integration and spatial integration of individual building elements in order to achieve an optimized sequencing of building elements (in terms of time and resource utilization). This research presents a model framework that extracts building elements, along with their topological relationships and geometrical properties, from an existing fully designed Building Information Model (BIM Model) to be mapped into a directed acyclic Elemental Graph Data Model (EGDM). The framework incorporates BIM-based search algorithms for automatic deduction of geometrical data and topological relationships for each building element type. The EGDM can undergo a broad range of measures that aids in discovering more information about the construction of the project under study. By electing elemental construction method(s) available in the construction site for each element category, Elemental Construction Method Graph(s) (ECMG) are generated, and Entra-elemental relationships are added in order to mimic any practical constraints in real life. Using graph search algorithms, Depth First Search (DFS) and topological sortings, and an innovative Genetic Algorithm (GA) inspired by Tabu Search (TS), possible construction sequences are generated. The sequences were, then, simulated, hence, recommending the Optimized Elemental Construction Method, Schedule & Resources, and, hence, generating 4D BIM models. An application was developed to implement the framework and test its robustness. It was implemented with the aid of AutoDesk Revit APIs in a C# platform. Ultimately, the model was tested, verified and validated. Testing and verification were performed with the aid of a set of automatically generated test cases which were built by means of an add-in just developed for testing purposes. Thereafter, the model was validated with the aid of a set of real case studies. Results revealed an improvement in project's total construction duration, a significant saving in the time of generation of the 4-D construction schedule, in addition to human interference elimination. Moreover, this shows how promising the area of planning through the generation of construction sequences is. Keywords: Building Information Modelling (BIM), Elemental Graph Data Model (EGDM), Geometric and topological data models, Graph theory, Elemental Construction Method Graph (ECMG), Depth-first Search, Topological Sorting, Construction Sequence, Genetic Optimization, Tabu Search, and Automated Construction Scheduling.
Categories: Building information modeling

Knowledge Mining Using Intelligent Agents

Knowledge Mining Using Intelligent Agents

A key component in any automatic software testing environment is the test data
generator. As test data generation is treated as an optimization problem, Genetic
Algorithm has been used successfully to generate automatically an optimal set of
test cases for the software under test. This chapter describes a framework that
automatically generates an optimal set of test cases to achieve path coverage of
an ...

Author: Satchidananda Dehuri

Publisher: World Scientific

ISBN: 9781848163867

Category: Business & Economics

Page: 313

View: 688

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.
Categories: Business & Economics