Academic literature on the topic 'Automatic Generation of Test Cases'

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Automatic Generation of Test Cases.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Automatic Generation of Test Cases"

1

Xu, Ming Gang, Yong Min Mu, Zhi Hua Zhang, and Ang Liu. "Research on Automatic Test Case Generation Framework for Java." Applied Mechanics and Materials 568-570 (June 2014): 1488–96. http://dx.doi.org/10.4028/www.scientific.net/amm.568-570.1488.

Full text
Abstract:
Automatic test case generation has been a hotspot and a difficult problem in the software testing, Accurately and efficiently generate test cases can improve the efficiency of software testing. Java programs have many characteristics such as encapsulation, inheritance, polymorphism and so on, it is convenient for software design and development, but to bring automated testing some difficulties. This article on the Java program of automatic test case generation method is studied and presents a framework for automatic generation of test cases. With this framework, test case suite will be generated quickly and accurately. Experimental results show that automatic Java test case generation framework can quickly and accurately generate test cases , reduce labor costs and improve efficiency.
APA, Harvard, Vancouver, ISO, and other styles
2

Yoon, Sung-Hee. "Automatic Generation of Software Test Cases using CFG." Journal of the Korea Academia-Industrial cooperation Society 10, no. 5 (2009): 985–91. http://dx.doi.org/10.5762/kais.2009.10.5.985.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Yazdani Seqerloo, Arezoo, Mohammad Javad Amiri, Saeed Parsa, and Mahnaz Koupaee. "Automatic test cases generation from business process models." Requirements Engineering 24, no. 1 (2018): 119–32. http://dx.doi.org/10.1007/s00766-018-0304-3.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wu, Xiaoxue, Wei Zheng, Peiyuan Wang, Peijia Wang, and Songyu Fan. "JDart-Based Test Cases Generation and Optimization." Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University 36, no. 1 (2018): 156–61. http://dx.doi.org/10.1051/jnwpu/20183610156.

Full text
Abstract:
Test cases play a crucial role in software testing, with the increasing complexity and scale of software, automatic test cases generation becomes increasingly important for software reliability and test efficiency. Symbolic-based test cases generation approach draws great attention due to its high reliability and there are already various kinds of tools introduced. However, most of these tools are C-oriented. JDart is a good open source Java-oriented symbol execution tool with excellent scalability. This paper aims to enhance the automatic test generation ability of JDart by designing and optimizing its array symbolization. The verification result shows that the optimization strategy proposed in this paper is effective in the test of the Jdart, it can effectively improve the coverage of Jdart on program involving complex object testing.
APA, Harvard, Vancouver, ISO, and other styles
5

Hue, Chu Thi Minh, Duc-Hanh Dang, Nguyen Ngoc Binh, and Anh-Hoang Truong. "USLTG: Test Case Automatic Generation by Transforming Use Cases." International Journal of Software Engineering and Knowledge Engineering 29, no. 09 (2019): 1313–45. http://dx.doi.org/10.1142/s0218194019500414.

Full text
Abstract:
This paper proposes a transformation-based method to automatically generate functional test cases from use cases named USLTG (Use case Specification Language (USL)-based Test Generation). We first focus on developing a modeling language named Test Case Specification Language (TCSL) in order to express test cases. Test cases in TCSL can contain detailed information including test steps, test objects within steps, actions of test objects, and test data. Such information is often ignored in currently available test case specifications. We then aim to generate test cases in a TCSL model by a transformation from use cases that are represented by a USL. The USLTG transformation includes three main steps in generating (1) scenarios, (2) test data, and (3) a TCSL model. Within our transformation, the OCL solver is employed in order to build system snapshots as the part of test cases and to identify other test data. We applied our method to two case studies and evaluated our method by comparing it with other recent works.
APA, Harvard, Vancouver, ISO, and other styles
6

Le Thi My, Hanh, Binh Nguyen Thanh, and Tung Khuat Thanh. "Survey on Mutation-based Test Data Generation." International Journal of Electrical and Computer Engineering (IJECE) 5, no. 5 (2015): 1164. http://dx.doi.org/10.11591/ijece.v5i5.pp1164-1173.

Full text
Abstract:
<span>The critical activity of testing is the systematic selection of suitable test cases, which be able to reveal highly the faults. Therefore, mutation coverage is an effective criterion for generating test data. Since the test data generation process is very labor intensive, time-consuming and error-prone when done manually, the automation of this process is highly aspired. The researches about automatic test data generation contributed a set of tools, approaches, development and empirical results. In this paper, we will analyse and conduct a comprehensive survey on generating test data based on mutation. The paper also analyses the trends in this field.</span>
APA, Harvard, Vancouver, ISO, and other styles
7

Al-Saati, Najla, and Roua Basil. "Automatic Test Cases Generation Using an Advanced GEP Method." AL-Rafidain Journal of Computer Sciences and Mathematics 9, no. 1 (2012): 49–65. http://dx.doi.org/10.33899/csmj.2012.163687.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Hou, Jun, Hong Zhou, Chunyan Ma, and Jiangbin Zheng. "Method for Automatically Generating Test Cases for Web Services." Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University 36, no. 1 (2018): 149–55. http://dx.doi.org/10.1051/jnwpu/20183610149.

Full text
Abstract:
Because manual test case design is time-consuming and laborious and has certain blindness and inclination, Web service testing is based on WSDL document and formal model tree automatic generation. The theoretical research and Web service single operation test case generation method. Web service operation test case method, and to build test tools. The application results show that this method can greatly save the time of manually analyzing the complex data types in WSDL files and the time of generating the test cases according to the test cases of built-in data types. It simplifies the generation of test cases, and prepares test cases.
APA, Harvard, Vancouver, ISO, and other styles
9

Lee, Hyun-jeong, Nam-kyung Uhm, Young-il Choi, Byung-sun Lee, and Kyung-pyo Jun. "Automatic generation of SCTP test cases in multiservice switching system." Integrated Computer-Aided Engineering 9, no. 2 (2002): 175–83. http://dx.doi.org/10.3233/ica-2002-9207.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Burgess, C. J., and M. Saidi. "The automatic generation of test cases for optimizing Fortran compilers." Information and Software Technology 38, no. 2 (1996): 111–19. http://dx.doi.org/10.1016/0950-5849(95)01055-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Automatic Generation of Test Cases"

1

Meudec, Christophe. "Automatic generation of software test cases from formal specifications." Thesis, Queen's University Belfast, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263505.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Undheim, Olav. "Semi-automatic Test Case Generation." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for datateknikk og informasjonsvitenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-13991.

Full text
Abstract:
In the European research project CESAR, requirements can be specified using templates called boilerplates. Each statement of a requirement consists of a boilerplate with inserted values for the attributes of the boilerplate. By choosing attribute values from a domain ontology, a consistent language can be achieved. This thesis seeks to use the combination of boilerplates and a domain ontology in a semi-automatic test generation process.There are multiple ways to automate the test generation process, with various degrees of automation involved. One option is to use the boilerplates and the domain ontology to create a test model that can be used to generate tests. Another option is to use the information from the domain ontology to assist the user when he creates tests. In this thesis, the latter option is investigated and a tool named WikiTest is developed. WikiTest uses Semantic MediaWiki and Semantic Forms to utilize the ontology and assist the user in the test creation process. Using a Cucumber syntax, the tests can be specified in a relatively free format that does not sacrifice the ability to automate test execution. An experiment is conducted, where the results show that WikiTest is easier to use and leads to a higher test case quality than the alternatives can do. Being able to inspect the domain ontology while creating tests did not give the same results as when the ontology was integrated directly in the tool.
APA, Harvard, Vancouver, ISO, and other styles
3

FERREIRA, EDUARDO DE OLIVEIRA. "AUTOMATIC GENERATION OF USER INTERFACE TEST SUITES SPECIFIED BY USE CASES." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2013. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=23277@1.

Full text
Abstract:
PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO<br>COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR<br>PROGRAMA DE EXCELENCIA ACADEMICA<br>Espera-se que o desenvolvimento de suítes de teste a partir de modelos possa contribuir substancialmente para a redução do esforço humano e aumentar a eficácia dos testes gerados. Entende-se por eficácia (ideal) dos testes o percentual de defeitos existentes encontrados a partir desses testes. Uma grande parte dessas técnicas baseia-se em máquinas de estado e quase sempre estão voltadas para o teste de funcionalidade. Entretanto, existe a necessidade de se poder testar sistemas altamente interativos, tais como smartphones e tablets, a partir de uma descrição de sua interface humano-computador. O objetivo da dissertação é efetuar uma primeira avaliação de uma técnica voltada para a geração de suítes de teste visando o teste de interfaces gráficas. Para tal,desenvolvemos e avaliamos a eficácia de uma ferramenta, chamada Easy, que utiliza casos de uso tabulares e máquina de estados para a geração automática da suíte de testes. Os casos de uso são descritos em linguagem natural restrita. A partir dessa descrição, a ferramenta constrói uma máquina de estado e, a seguir, a utiliza para gerar cenários. Por construção os cenários estarão em conformidade com os casos de uso. Cada cenário corresponde a um caso de teste. Os cenários são apresentados ao usuário em linguagem natural restrita, permitindo a visualização destes antes da geração dos scripts finais de testes. Os scripts gerados são destinados a uma ferramenta de execução automatizada voltada para o teste de interfaces gráficas. Neste trabalho, utilizou-se a ferramenta UI Automation, responsável pela execução de testes em aplicações destinadas ao iOS, sistema operacional de iPhone, iPad e iPod Touch. A eficácia do processo foi avaliada em uma aplicação real, disponível na loja virtual de aplicativos App Store. Além disso, foram realizados testes de IHC afim de avaliar a influência no custo da produção da suíte de teste.<br>It is expected that the development of test suites from models can contribute substantially to reducing the human effort and to increase the effectiveness of the generated tests. Means for tests’ effectiveness (ideal) the percentage of existing defects found by these tests. Most of these techniques is based on state machines and mostly directed to testing the functionality. However, there is a need to be able to test highly interactive systems, such as smartphones and tablets, from a description of its human computer interface. The goal of the dissertation is to make a first evaluation of a technique aimed to generate test suites for test of human computer graphic interface. For this purpose was developed and evaluated its effectiveness, a tool called Easy, using use cases tabular and state machine for the automatic generation of the suite tests. The use cases are described in natural language restricted. From this description, the tool builds a state machine, and then uses this to generate scenarios. By construction scenarios will be in accordance with the use cases. Each scenario corresponds to a test case. The scenarios are presented to the user in natural language, allowing the visualization of them before the generation of the final scripts tests. The generated scripts are intended to a running automated tool geared to testing graphical interfaces. In this work, we used the UI Automation tool, responsible for running tests on applications for the iOS, operational system for iPhones, iPads and iPod touchs. The effectiveness of the procedure was evaluated in a real application, available in the online store applications App Store. In addition, HCI tests were performed in order to evaluate the influence on the cost of production of the test suite.
APA, Harvard, Vancouver, ISO, and other styles
4

Rane, Prerana Pradeepkumar. "Automatic Generation of Test Cases for Agile using Natural Language Processing." Thesis, Virginia Tech, 2017. http://hdl.handle.net/10919/76680.

Full text
Abstract:
Test case design and generation is a tedious manual process that requires 40-70% of the software test life cycle. The test cases written manually by inexperienced testers may not offer a complete coverage of the requirements. Frequent changes in requirements reduce the reusability of the manually written test cases costing more time and effort. Most projects in the industry follow a Behavior-Driven software development approach to capturing requirements from the business stakeholders through user stories written in natural language. Instead of writing test cases manually, this thesis investigates a practical solution for automatically generating test cases within an Agile software development workflow using natural language-based user stories and acceptance criteria. However, the information provided by the user story is insufficient to create test cases using natural language processing (NLP), so we have introduced two new input parameters, Test Scenario Description and Dictionary, to improve the test case generation process. To establish the feasibility, we developed a tool that uses NLP techniques to generate functional test cases from the free-form test scenario description automatically. The tool reduces the effort required to create the test cases while improving the test coverage and quality of the test suite. Results from the feasibility study are presented in this thesis.<br>Master of Science
APA, Harvard, Vancouver, ISO, and other styles
5

Chen, Wei. "Formal Modeling and Automatic Generation of Test Cases for the Autonomous Vehicle." Electronic Thesis or Diss., université Paris-Saclay, 2020. http://www.theses.fr/2020UPASG002.

Full text
Abstract:
Les véhicules autonomes reposent principalement sur un pilote de système intelligent pour réaliser les fonctions de la conduite autonome. Ils combinent une variété de capteurs (caméras, radars, lidars,..) pour percevoir leurs environnements. Les algorithmes de perception des ADSs (Automated Driving Systems) fournissent des observations sur les éléments environnementaux à partir des données fournies par les capteurs, tandis que les algorithmes de décision génèrent les actions à mettre en oeuvre par les véhicules. Les ADSs sont donc des systèmes critiques dont les pannes peuvent avoir des conséquences catastrophiques. Pour assurer la sûreté de fonctionnement de tels systèmes, il est nécessaire de spécifier, valider et sécuriser la fiabilité de l’architecture et de la logique comportementale de ces systèmes pour toutes les situations qui seront rencontrées par le véhicule. Ces situations sont décrites et générées comme différents cas de test.L'objectif de cette thèse est de développer une approche complète permettant la conceptualisation et la caractérisation de contextes d'exécution pour le véhicule autonome, et la modélisation formelle des cas de test dans le contexte de l’autoroute. Enfin, cette approche doit permettre une génération automatique des cas de test qui ont un impact sur les performances et la fiabilité du véhicule.Dans cette thèse, nous proposons une méthodologie de génération de cas de test composée de trois niveaux. Le premier niveau comprend tous les concepts statiques et mobiles de trois ontologies que nous définissons afin de conceptualiser et de caractériser l'environnement d'execution du véhicule autonome: une ontologie de l'autoroute et une ontologie de la météo pour spécifier l'environnement dans lequel évolue le véhicule autonome, et une ontologie du véhicule qui se compose des feux du véhicule et les actions de contrôle. Chaque concept de ces ontologies est défini en termes d'entité, de sous-entités et de propriétés.Le second niveau comprend les interactions entre les entités des ontologies définies. Nous utilisons les équations de la logique du premier ordre pour représenter les relations entre ces entités.Le troisième et dernier niveau est dédié à la génération de cas de test qui est basée sur l'algèbre des processus PEPA (Performance Evaluation Process Algebra). Celle-ci est utilisée pour modéliser les situations décrites par les cas de test.Notre approche permet de générer automatiquement les cas de test et d'identifier les cas critiques. Nous pouvons générer des cas de test à partir de n'importe quelle situation initiale et avec n'importe quel nombre de scènes. Enfin, nous proposons une méthode pour calculer la criticité de chaque cas de test. Nous pouvons évaluer globalement l'importance d'un cas de test par sa criticité et sa probabilité d'occurrence<br>Autonomous vehicles mainly rely on an intelligent system pilot to achieve the purpose of self-driving. They combine a variety of sensors (cameras, radars, lidars,..) to perceive their surroundings. The perception algorithms of the Automated Driving Systems (ADSs) provide observations on the environmental elements based on the data provided by the sensors, while decision algorithms generate the actions to be implemented by the vehicles. Therefore, ADSs are safety-critical systems whose failures can have catastrophic consequences. To ensure the safety of such systems, it is necessary to specify, validate and secure the dependability of the architecture and the behavioural logic of ADSs running on vehicle for all the situations that will be met by the vehicle. These situations are described and generated as different test cases.The objective of this thesis is to develop a complete approach allowing the conceptualization and the characterization of execution contexts of autonomous vehicle, and the formal modelling of the test cases in the context of the highway. Finally, this approach has to allow an automatic generation of the test cases that have an impact on the performances and the dependability of the vehicle.In this thesis, we propose a three-layer test case generation methodology. The first layer includes all static and mobile concepts of three ontologies we define in order to conceptualize and characterize the driving environment for the construction of test cases: a highway ontology and a weather ontology to specify the environment in which evolves the autonomous vehicle, and a vehicle ontology which consists of the vehicle lights and the control actions. Each concept of these ontologies is defined in terms of entity, sub-entities and properties.The second layer includes the interactions between the entities of the defined ontologies. We use first-order logic equations to represent the relationships between these entities.The third and last layer is dedicated to the test case generation which is based on the process algebra PEPA (Performance Evaluation Process Algebra), which is used to model the situations described by the test cases.Our approach allows us to generate automatically the test cases and to identify the critical ones. We can generate test cases from any initial situation and with any number of scenes. Finally we propose a method to calculate the criticality of each test case. We can comprehensively evaluate the importance of a test case by its criticality and its probability of occurrence
APA, Harvard, Vancouver, ISO, and other styles
6

Thatipamala, Ramakrishnaiah. "Automatic generation of test cases and anticipated test outcome based on a tabular design specification." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape3/PQDD_0019/MQ47852.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

CALDEIRA, LUIZ RODOLFO NEVES. "SEMI-AUTOMATIC GENERATION OF FUNCTIONAL TEST SCRIPTS BY COMPOSING USE CASES WITH DECISION TABLES." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2010. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=16806@1.

Full text
Abstract:
COORDENAÇÃO DE APERFEIÇOAMENTO DO PESSOAL DE ENSINO SUPERIOR<br>Este trabalho tem por objetivo propor um processo e ferramentas para a geração semi-automática de scripts de teste funcional para sistemas web, a partir de casos de uso e tabelas de decisão, com vistas à geração de eficazes scripts de teste automatizados, simultaneamente reduzindo o tempo gasto para gerá-los. As especificações dos testes dão-se através de descrições de casos de uso escritas usando português restrito semi-estruturado e obedecendo a uma estrutura precisamente definida. Com o auxílio de uma ferramenta, monta-se manualmente uma tabela de decisão a partir desses casos de uso. Os casos de teste semânticos são gerados automaticamente a partir destas tabelas de decisão. Outra ferramenta é responsável por gerar os scripts de testes a partir dos casos de teste semânticos. Os scripts de teste gerados devem adequar-se à ferramenta de execução automatizada dos testes. Neste trabalho, utilizou-se a ferramenta Selenium para a automação da interação com o navegador. A avaliação da eficácia deu-se através da aplicação do processo em um sistema real e através de comparação com técnicas tradicionais de geração de testes automatizados aplicadas ao mesmo sistema.<br>This work aims at developing a process and tools for the semi-automatic generation of functional test scripts for web based systems. The process and tools depart from use cases and decision tables, in order to produce high quality automated tests as well as to reduce the time spent generating them. The tests specifications are provided by use cases written in semi-structured Portuguese and obeying a well defined structure. By means of a tool, decision tables are manually built from the use case descriptions. Afterwards semantic test cases are automatically generated from these decision tables. Another tool generates executable test scripts from these test cases. The generated test scripts must suit the tool used for automated testing. In this work, the Selenium tool was used for automating test interaction with the browser. The evaluation of the efficacy of the process and tools was performed applying them to a real system and comparing the result with traditional techniques of automated test generation regarding this same system.
APA, Harvard, Vancouver, ISO, and other styles
8

HORI, Érica Aguiar Andrade. "ucsCNL A controlled natural language for use case specifications." Universidade Federal de Pernambuco, 2010. https://repositorio.ufpe.br/handle/123456789/2393.

Full text
Abstract:
Made available in DSpace on 2014-06-12T15:57:41Z (GMT). No. of bitstreams: 2 arquivo3220_1.pdf: 1307302 bytes, checksum: 42435c33fd14be36778e3c202d24fd2d (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010<br>A maioria das empresas utiliza a linguagem natural livre para documentar software, desde os seus requisitos, até os casos de uso e testes usados para verificar o produto final. Visto que as fases de análise, projeto, implementação e teste do sistema dependem essencialmente dessa documentação, é preciso assegurar inicialmente a qualidade desses textos. Contudo, textos escritos em linguagem natural nem sempre são precisos, devido ao fenômeno da ambigüidade (léxica e estrutural), podendo dar margem a diferentes interpretações. Uma alternativa para se minimizar esse problema é o uso de uma Linguagem Natural Controlada - um subconjunto de alguma língua natural, que usa um vocabulário restrito a um domínio particular, e regras gramaticais que guiam a construção de sentenças com redução de ambigüidade semântica visando padronização e precisão dos textos. Este trabalho, na área de Teste de Software, apresenta a ucsCNL (Use Case Specification CNL), uma Linguagem Natural Controlada para escrever especificações de casos de uso no domínio de dispositivos móveis. A ucsCNL foi integrada à TaRGeT (Test and Requirements Generation Tool), uma ferramenta para geração automática de casos de teste funcionais baseados em cenários de casos de uso escritos em Inglês. A ucsCNL provê um ambiente para geração de casos de teste mais claros, com ambigüidade reduzida, influindo diretamente na qualidade dos testes e na produtividade dos testadores. A ucsCNL já está em uso e tem alcançado resultados satisfatórios
APA, Harvard, Vancouver, ISO, and other styles
9

Vijaya, Aparna. "Supporting the automatic test case and oracle generation using system models." Thesis, Mälardalen University, School of Innovation, Design and Engineering, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-7616.

Full text
Abstract:
<p><em>In the current scenario, the software systems which are developed are becoming highly complex. So there arises a need for providing a better way for correctness and efficiency for them. In November 2000, the Object Management Group (OMG) made public the MDA (Model-Driven Architecture) initiative, a particular variant of a new global trend called MDE (Model Driven Engineering). MDE is presently making several promises about the potential benefits that could be reaped from a move from code-centric to model-based practices which may help in this era of rapid platform evolution.</em></p><p><em> </em></p><p><em>In model-based testing the tester designs a behavioral model of the system under test. This model is then given to a test generation tool that will analyze the model and produce the test cases based on different coverage criteria. These test cases can be further run on the system or test harness in an automatic or manual way. </em></p><p><em> </em></p><p><em>This master thesis investigates the various approaches that can be used for automatic test case generation from the behavioral model. The advantages with these new approaches are that it gives a better overview of test cases, better coverage of the model and it helps in finding errors or contradictions in minimum time.</em></p>
APA, Harvard, Vancouver, ISO, and other styles
10

Krydzinski, Mikael. "Developing a Maintainable Test CaseGenerator for Automatic Testing ofComputer-Based Interlocking Systems." Thesis, KTH, Industriella informations- och styrsystem, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-166288.

Full text
Abstract:
Developing software without considering the potential changes it mighthave to undergo in the future can be a costly mistake. This is becauseits maintenance costs can become very expensive as they can consumeover 90% of the total life-cycle costs. Incorporating maintainability insoftware has for this reason become highly attractive since it can significantlyreduce the maintenance costs and therefore save companies andsoftware developers a fortune. This thesis presents a software tool thathas been developed to aid Bombardier in the verification of computerbasedinterlocking (CBI) systems. The tool automatically generates testcases which represent the different tests that verify the interlocking system.The paper is divided into two parts. The first part focuses on themaintainability of the tool while the second part investigates whetherthe tool can speed up the testing process of CBI-systems at Bombardier.The results show that the tool is highly maintainable and that tests onCBI-systems can be performed significantly faster with it.<br>Att utveckla mjukvara utan hänsyn till de eventuella förändringar somden måste genomgå i framtiden kan bli ett kostsamt misstag. Dettaberor på att dess underhållskostnader kan bli mycket dyra eftersom dekan konsumera över 90% av de totala kostnaderna. Det har därför blivitväldigt attraktivt att lägga fokus på underhållbarhet när man utvecklarmjukvara eftersom det kan avsevärt minska underhållskostnadernaoch därmed spara mjukvaruutvecklare och företag en förmögenhet. Idenna uppsats presenteras ett verktyg som har utvecklats för att hjälpaBombardier med verifiering av datorställverk. Verktyget automatisktgenererar testfall som representerar de olika testen som verifierar ställverket.Uppsatsen är uppdelad i två delar. Den första delen fokuserarpå verktygets underhållbarhet medan den andra delen undersöker omverktyget kan påskynda testprocessen för datorställverk på Bombardier.Resultaten visar att verktyget är väldigt underhållbart och att
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Automatic Generation of Test Cases"

1

Zhang, Jian, Zhiqiang Zhang, and Feifei Ma. Automatic Generation of Combinatorial Test Data. Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-662-43429-1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Critchlow, E. A. J. Automatic generation of mixed-signal test programs. UMIST, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Diamant, P. E. Automatic generation of mixed signal test programs from circuitsimulation data. UMIST, 1994.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Drechsler, Rolf. Test pattern generation using Boolean proof engines. Springer, 2009.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Grigoryan, Ekaterina, Elena Sokolova, and Galiya Pikanina. Marketing in public catering. INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1025220.

Full text
Abstract:
The textbook reveals the specifics of conducting marketing activities in public catering enterprises. The article considers the marketing complex of a public catering enterprise, as well as the methods of marketing research, strategic analysis, planning and marketing management. Each chapter of the textbook is accompanied by control questions, situational and test tasks that allow you to most effectively master the marketing tools and apply them in practice. The textbook also presents practical methods of marketing management, real-world examples and cases that contribute to the consolidation of the acquired knowledge and the independent development of marketing management skills in public catering enterprises. Meets the requirements of the federal state educational standards of higher education of the latest generation and the current bachelor's degree program in the areas of training 19.03.04 "Product technology and catering", 38.03.02 " Management "(profile"Marketing"). It can be useful and interesting for students, undergraduates, postgraduates, as well as teachers of marketing disciplines and practitioners.
APA, Harvard, Vancouver, ISO, and other styles
6

Automatic Generation of Combinatorial Test Data. Zhang Jian, 2014.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

1943-, Agrawal Vishwani D., Seth Sharad C, and IEEE Computer Society, eds. Tutorial test generation for VLSI chips. Computer Society Press, 1988.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

Sthamer, Harmen-Hinrich. The automatic generation of software test data using genetic algorithims. 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Yang, Xile. Automatic software test data generation from z specifications using evolutionary algorithms. 1998.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

Simulation and Test Generation Environments, IEEE Workshop: Proceedings/86Ch2296-2. Ieee, 1986.

Find full text
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Automatic Generation of Test Cases"

1

Nogueira, Sidney, Hugo L. S. Araujo, Renata B. S. Araujo, Juliano Iyoda, and Augusto Sampaio. "Automatic Generation of Test Cases and Test Purposes from Natural Language." In Lecture Notes in Computer Science. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-29473-5_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Offutt, A. Jefferson. "An Integrated Automatic Test Data Generation System." In Case Technology. Springer US, 1991. http://dx.doi.org/10.1007/978-1-4615-3644-4_7.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Boghdady, P. N., Nagwa L. Badr, M. A. Hashim, and Mohamed F. Tolba. "Test Cases Automatic Generator (TCAG): A Prototype." In Communications in Computer and Information Science. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-35326-0_36.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

He, Dandan, Lijuan Wang, and Ruijie Liu. "An Automatic Generation Strategy for Test Cases Based on Constraints." In Intelligent Computing Theories and Technology. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-39482-9_45.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Xiong, Lu, and Kangshun Li. "Research on Automatic Generation of Test Cases Based on Genetic Algorithm." In Communications in Computer and Information Science. Springer Singapore, 2018. http://dx.doi.org/10.1007/978-981-13-1648-7_30.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Teixeira, Fernando Augusto Diniz, and Glaucia Braga e Silva. "EasyTest: An Approach for Automatic Test Cases Generation from UML Activity Diagrams." In Advances in Intelligent Systems and Computing. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-54978-1_54.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Bures, Miroslav. "PCTgen: Automated Generation of Test Cases for Application Workflows." In New Contributions in Information Systems and Technologies. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-16486-1_78.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Toledo Rodríguez, Federico, Matías Reina, Fabián Baptista, Macario Polo Usaola, and Beatriz Pérez Lamancha. "Automated Generation of Performance Test Cases from Functional Tests for Web Applications." In Communications in Computer and Information Science. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-54092-9_12.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Liang, Ci, and Wei Zheng. "Automated Generation of Test Cases Based on Path Optimization Algorithm." In Lecture Notes in Electrical Engineering. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34531-9_22.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Sato, Yuji, and Taku Sugihara. "Automatic Generation of Specification-Based Test Cases by Applying Genetic Algorithms in Reinforcement Learning." In Structured Object-Oriented Formal Language and Method. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-31220-0_5.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Automatic Generation of Test Cases"

1

Gao Gongge, Zhu Hao, and Yang Jing. "Research on Automatic Generation of Test Cases." In 2012 IEEE/ACIS 11th International Conference on Computer and Information Science (ICIS). IEEE, 2012. http://dx.doi.org/10.1109/icis.2012.91.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Ciccozzi, Federico, Antonio Cicchetti, Toni Siljamäki, and Jenis Kavadiya. "Automating test cases generation." In the 7th International Workshop. ACM Press, 2010. http://dx.doi.org/10.1145/1865875.1865877.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Dai, Jing, Haoran Wang, Yue Ni, Haiyan Li, and Shuo Shi. "Cloud-based test modeling and automatic generation of test cases." In 2020 15th IEEE Conference on Industrial Electronics and Applications (ICIEA). IEEE, 2020. http://dx.doi.org/10.1109/iciea48937.2020.9248327.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Wang, Chunhui, Fabrizio Pastore, Arda Goknil, Lionel Briand, and Zohaib Iqbal. "Automatic generation of system test cases from use case specifications." In ISSTA '15: International Symposium on Software Testing and Analysis. ACM, 2015. http://dx.doi.org/10.1145/2771783.2771812.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Ye, Nan, Xin Chen, Wenxu Ding, Peng Jiang, Lei Bu, and Xuandong Li. "Regression Test Cases Generation Based on Automatic Model Revision." In 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE, 2012. http://dx.doi.org/10.1109/tase.2012.31.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Reales Mateo, Pedro, Macario Polo, and Beatriz Pérez Lamancha. "AUTOMATIC GENERATION OF TEST CASES IN SOFTWARE PRODUCT LINES." In 11th International Conference on Enterprise Information Systems. SCITEPRESS - Science and Technology Publications, 2009. http://dx.doi.org/10.5220/0001983101240130.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hue, Chu Thi Minh, Dang Duc Hanh, and Nguyen Ngoc Binh. "A Transformation-Based Method for Test Case Automatic Generation from Use Cases." In 2018 10th International Conference on Knowledge and Systems Engineering (KSE). IEEE, 2018. http://dx.doi.org/10.1109/kse.2018.8573372.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Huang, Zhao, Shuguang Huang, and Zhaokun Deng. "Progress of Software Vulnerability Identification and Automatic Test Cases Generation." In 2018 Eighth International Conference on Instrumentation & Measurement, Computer, Communication and Control (IMCCC). IEEE, 2018. http://dx.doi.org/10.1109/imccc.2018.00230.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Zhao, Chunhui, Zhili Wang, and Xiao Zhang. "Semantic-oriented Automatic Generation Method of REST Interface Test Cases." In ISCSIC 2020: 2020 4th International Symposium on Computer Science and Intelligent Control. ACM, 2020. http://dx.doi.org/10.1145/3440084.3441187.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Philip, Gracy, Meenakshi Dsouza, and V. P. Abidha. "Model based safety analysis: Automatic generation of safety validation test cases." In 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC). IEEE, 2017. http://dx.doi.org/10.1109/dasc.2017.8102108.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Automatic Generation of Test Cases"

1

Kolawa, A., B. Strickland, and A. Hicken. Automatic Test Data Generation Tool for Large- Scale Software Systems. Defense Technical Information Center, 1994. http://dx.doi.org/10.21236/ada289081.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Johnson, Barry W., D. T. Smith, and Todd A. DeLong. VHDL Fault Simulation and Automatic Test Pattern Generation Requirements Document. Defense Technical Information Center, 1996. http://dx.doi.org/10.21236/ada304358.

Full text
APA, Harvard, Vancouver, ISO, and other styles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!