Automatic and Optimized Test Case Generation

Software testing is done manually from the day the software development started.

Automatic and Optimized Test Case Generation

Author: Abinash Tripathy

Publisher: LAP Lambert Academic Publishing

ISBN: 9783659687365

Page: 72

View: 630

Software testing is done manually from the day the software development started. But manual testing has shortcoming that many times became the reason of software failure. So, automated testing comes into picture and Unified Modeling Language (UML) a tool helps to automate the testing process. Two different UML diagrams, Activity and Sequence used to automate the testing process. These diagrams are converted into graphs using algorithms and finally combined to form System graph. This system graph is then traverse to generate the test case and as both diagram consider the whole system for analysis and consider all the cases. The final test cases generated are optimized also.

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.

Structured Object Oriented Formal Language and Method

Author: Shaoying Liu

Publisher: Springer

ISBN: 3319174045

Page: 189

View: 490

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: 527

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

Testing Table 10.1 A complete list for all AI-driven methods for SE (ordered by
year 1975 e2017).dcont'd Name of ... Optimization Testing 2003 Automated test
reduction Data analytics (Machine 2003 Learning) Test case generation and ...

Data Democracy

Author: Feras A. Batarseh

Publisher: Academic Press

ISBN: 0128189398

Page: 266

View: 344

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

6.2 Existing Problems Compared to other vulnerabilities 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 ...

Cloud Computing and Security

Author: Xingming Sun

Publisher: Springer

ISBN: 3030000095

Page: 743

View: 687

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: 321

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.

Genetic and Evolutionary Computation Conference

1781 automatic target recognition . . . . . . . . . . . . . . . 1803 automated test case
generation . . . . . . . . . . . 1083 automatic test program generation . ... algorithm for
automatized optimum design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 749 algorithmic
 ...

Genetic and Evolutionary Computation Conference

Author: Hans-Georg Beyer

Publisher: Association for Computing Machinery (ACM)

ISBN: 9781595930101

Page: 1130

View: 388

Testing of Communicating Systems

Chun , W. ( 1991 ) Test Case Generation for Protocols Specified in Estelle . Ph.D.
thesis ... Kim , T. ( 1995 ) Automatic generation of observation - based and length
- optimized test cases for EFSM model in conformance testing . M.S. thesis ...

Testing of Communicating Systems

Author:

Publisher:

ISBN:

Page:

View: 881

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

In a knot state having n ingoing edges , I 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

Author:

Publisher: IEEE

ISBN:

Page: 733

View: 990

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

Space Aviation s Next Frontier

Test generation from a verification model can eliminate up to 90 percent of the
manual test creation and debugging effort Both the number of test cases and the
phasing of their execution can be optimized , eliminating test redundancy A
known level of ... [ 5 ] Heitmeyer , C. , R. Jeffords , B. Labaw , Automated
Consistency Checking of Requirements Specifications , ACM TOSEM , 5 ( 3 ) :
231-261 , 1996 .

Space  Aviation s Next Frontier

Author:

Publisher:

ISBN: 9780780370340

Page:

View: 575

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

COMPSAC 2001

Author:

Publisher: IEEE

ISBN: 9780769513720

Page: 647

View: 448

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

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

The 14th IEEE International Conference on Automated Software Engineering

Author: IEEE Computer Society

Publisher: IEEE

ISBN: 9780769504155

Page: 340

View: 704

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.

IEEE Autotestcon Proceedings

AUTO - OPTIMIZATION STRATEGY FOR INTELLIGENT TEST ... Most traditional
screening algorithms become inadequate in defining the worst cases of test
patterns and test sequences ... of the test pattern / sequence generation has been
conducted for on - line device screeningi the auto - optimization algorithm detects
99 ...

IEEE Autotestcon Proceedings

Author:

Publisher:

ISBN:

Page:

View: 854

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.

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

Author: Yasmeen Ahmed Sherif Aly Essawy

Publisher:

ISBN:

Page: 482

View: 474

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.

Protocol Test Systems IV

An Optimization Technique for Protocol Conformance Test Generation Based on
UIO Sequences and Rural Chinese Postman Tours ... [ Hogr88 ) Hogrefe , D . :
Automatic generation of test cases from SDL specifications , SDL Newsletter , no .

Protocol Test Systems  IV

Author: Jan Kroon

Publisher: North Holland

ISBN: 9780444895172

Page: 310

View: 215

This collection of papers provides an interesting account of developments in the field of protocol testing. In addition to five invited and 16 selected papers, short reports are included on workshop sessions. Of special interest is a report presenting an overview of the current status of test suite standardization. Priority issues are discussed, along with possible trends and directions for future research and the current state of the art. Contributing researchers and practitioners are among the leading experts in their fields.

SDL 89

The necessary optimization level will be provided using alternative code patterns
for the same SDL construct . ... The development of testing tools is also planned
including SDL static analysis and automatic test case generation . We suppose ...

SDL  89

Author: Ove Færgemand

Publisher: North Holland

ISBN:

Page: 429

View: 732

This volume, the proceedings of the Fourth SDL Forum, contains nearly 40 contributions illustrating the latest experiences in applying SDL, the Specification and Description Language recommended by CCITT. SDL is a formal language based on communicating extended state machines and algebraically defined data. The contributions cover training, applications, methodology, language evolution and support tools, including tools for document handling, simulation, test and verification. The book contains descriptions of about 20 SDL tools demonstrated at the Forum, which form an up-to-date survey of those commercially available as well as the more research oriented tools.

Unix Test Tools and Benchmarks

2.10 Automated Test Generation The automatic generation of test vectors ( inputs
) is a strategy that can be combined with structural testing to ... This approach ,
also called Robust Testing , suggests a method whereby test cases are selected
based on the breadth and scope of coverage that will be ... factors and levels
have been identified , a suitable orthogonal array is selected to optimize testing .

Unix Test Tools and Benchmarks

Author: Rodney C. Wilson

Publisher:

ISBN:

Page: 312

View: 666

This handbook provides in-depth discussions of state-of-the-art testing strategies, technologies, and benchmarking products (licensed and public domain) related to verification, validation, and performance analysis of UNIX systems and software. It introduces strategies and approaches that can be used for integrating various technologies into the software development environment, and includes many examples -- highlighting the benefits and costs associated with each technology.

Indian Science Abstracts

... optimization ( PSO ) for such multi - objective optimization in two standard test
cases of 13 and 40 thermal generators ... of proportional - integral - derivative
gains by evolutionary programming in fuzzy based automatic generation control .

Indian Science Abstracts

Author:

Publisher:

ISBN:

Page:

View: 709