To see the other types of publications on this topic, follow the link: Code generation software tool.
Dissertations / Theses on the topic 'Code generation software tool'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Code generation software tool.'
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.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Singh, Neeta S. "An automatic code generation tool for partitioned software in distributed computing." [Tampa, Fla.] : University of South Florida, 2005. http://purl.fcla.edu/fcla/etd/SFE0001129.
Full text
2
Aldanmaz, Senol Lokman. "Environment Generation Tool For Enabling Aspect Verification." Master's thesis, METU, 2010. http://etd.lib.metu.edu.tr/upload/12612078/index.pdf.
Full textAbstract:
Aspects are units of aspect oriented programming developed for influencing the software behavior. In order to use an aspect confidently in any software, first it should be verified. For verification of an aspect, the mock classes for the original software should be prepared. These mock classes are a model of the aspect environment which the aspect is woven. In this study, considering that there are not enough tools for supporting the aspect oriented programming developers, we have developed a tool for enabling aspect verification and unit testing. The tool enables verification by generating the general environment of the aspect. By this tool the users are ensured to focus on the verification of aspects isolated from woven software.
3
Tanga, Rajan M. "Computer aided software engineering tool for generating C code." Ohio : Ohio University, 1988. http://www.ohiolink.edu/etd/view.cgi?ohiou1182872759.
Full text
4
Ahmad, Manzoor. "A Code Generator for Software Component Services in Smart Devices." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-11161.
Full textAbstract:
A component is built to be reused and reusability has significant impact on component generality and flexibility requirement. A component model plays a critical role in reusability of software component and defines a set of standards for component implementation, evolution, composition, deployment and standardization of the run-time environment for execution of component. In component based development (CBD), standardization of the runtime environment includes specification of component’s interfaces – general and domain specific run-time services. For rapid development of component based system for distributed information systems, COM+ and .NET technologies introduced the idea of Software Component Services that are achieved by proxy objects which intercept message calls between components to provide service like transaction handling, security management, etc. An embedded real-time system (ERTS) designed for a specific purpose in which software tasks have hard real-time constraints to execute and it interact directly with its environment via buses, sensors and other devices. In an embedded real time system, it is great importance to ensure that all tasks of the software system should respond within the time limits. Component based development process have vital role in development of embedded real time system and recently software component models applied in the embedded real-time systems (ERTS) and introduced software component services (SCS) for ERTS. The purpose of this Master thesis is to investigate how to make tool that targets smart device projects in Microsoft Visual Studio and generates proxy objects that can be compiled with Microsoft Visual Studio.NET. The tool generates a complete set of files for a Microsoft Visual Studio smart device project within solution, including both source code and configuration files according to a specific version of Visual Studio by invoking Visual Studio’s automation object model. The tool also generates code for simple logging services for the .NET component running on top of the .NET Compact framework.
5
Son, Ju Young. "Computer aided software engineering tool for automatically generating database management system code." Ohio : Ohio University, 1989. http://www.ohiolink.edu/etd/view.cgi?ohiou1182519080.
Full text
6
Hatipoglu, Demiralp. "A Feature Based Design Software For Parts To Be Machined In A Four-axis Cnc Lathe." Master's thesis, METU, 2005. http://etd.lib.metu.edu.tr/upload/12606512/index.pdf.
Full textAbstract:
A previously developed feature library and algorithm are improved in order to develop a software capable of designing of parts to be manufactured using a four-axis CNC lathe. The developed program is composed of sections which are<br>part geometry design, process planning, cutting tool and machining parameter selection, part program generation and G-code simulation for verification.
The developed program is capable of designing parts which contain axisymetric features for turning and related operations, and non-axisymetric features for milling on facial, lateral and cylindrical surfaces. Implemented design procedure defines a blank material shape that can be circular or polygonal cross-sectioned bar or a pre-manufactured part.
A detailed database is created for proper cutting tool selection and machining data determination. User can either define or let the program to automatically select the cutting parameters like cutting speed, feed rate and depth of cut for each cutting tool with respect to the workpiece material being machined. After completing design and process planning procedures<br>information for generation of the CNC program becomes readily available for editing or transferring to the CNC machine tool. User can also simulate the NC program to verify the tool path.
User friendly interface, which runs on Autodesk'<br>s INVENTOR software to visualize the design process, allows design and modifications to be done very easily moreover previously designed parts can be redesigned to produce new modified parts.
7
Green, Pamela Dilys. "Extracting group relationships within changing software using text analysis." Thesis, University of Hertfordshire, 2013. http://hdl.handle.net/2299/11896.
Full textAbstract:
This research looks at identifying and classifying changes in evolving software by making simple textual comparisons between groups of source code files. The two areas investigated are software origin analysis and collusion detection. Textual comparison is attractive because it can be used in the same way for many different programming languages. The research includes the first major study using machine learning techniques in the domain of software origin analysis, which looks at the movement of code in an evolving system. The training set for this study, which focuses on restructured files, is created by analysing 89 software systems. Novel features, which capture abstract patterns in the comparisons between source code files, are used to build models which classify restructured files fromunseen systems with a mean accuracy of over 90%. The unseen code is not only in C, the language of the training set, but also in Java and Python, which helps to demonstrate the language independence of the approach. As well as generating features for the machine learning system, textual comparisons between groups of files are used in other ways throughout the system: in filtering to find potentially restructured files, in ranking the possible destinations of the code moved from the restructured files, and as the basis for a new file comparison tool. This tool helps in the demanding task of manually labelling the training data, is valuable to the end user of the system, and is applicable to other file comparison tasks. These same techniques are used to create a new text-based visualisation for use in collusion detection, and to generate a measure which focuses on the unusual similarity between submissions. This measure helps to overcome problems in detecting collusion in data where files are of uneven size, where there is high incidental similarity or where more than one programming language is used. The visualisation highlights interesting similarities between files, making the task of inspecting the texts easier for the user.
8
Knutsson, Tor. "Implementation and evaluation of data persistence tools for temporal versioned data models." Thesis, Department of Computer and Information Science, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-19979.
Full textAbstract:
<p>The purpose of this thesis was to investigate different concepts and tools which could support the development of a middleware which persists a temporal and versioned relational data model in an enterprise environment. Further requirements for the target application was that changes to the data model had to be facilitated, so that a small change to the model would not result in changes in several files and application layers. Other requirements include permissioning and audit tracing. In the thesis the reader is presented with a comparison of a set of tools for enterprise development and object/relational mapping. One of the tools, a code generator, is chosen as a good candidate to match the requirements of the project. An implementation is presented, where the chosen tool is used. An XML-based language which is used to define a data model and to provide input data for the tool is presented. Other concepts concerning the implementation is then described in detail. Finally, the author discusses alternative solutions and future improvements.</p>
9
Faitelson, David. "Program synthesis from domain specific object models." Thesis, University of Oxford, 2008. http://ora.ox.ac.uk/objects/uuid:0c5a992e-dad4-435c-a576-e3ed504bcdbd.
Full textAbstract:
Automatically generating a program from its specification eliminates a large source of errors that is often unavoidable in a manual approach. While a general purpose code generator is impossible to build, it is possible to build a practical code generator for a specific domain. This thesis investigates the theory behind Booster — a domain specific, object based specification language and automatic code generator. The domain of Booster is information systems — systems that consist of a rich object model in which the objects refer to each other to form a complicated network of associations. The operations of such systems are conceptually simple (changing the attributes of objects, adding or removing new objects and creating or destroying associations) but they are tricky to implement correctly. The thesis focuses on the theoretical foundation of the Booster approach, in particular on three contributions: semantics, model completion, and code generation. The semantics of a Booster model is a single abstract data type (ADT) where the invariants and the methods of all the classes in the model are promoted to the level of the ADT. This is different from the traditional view that considers each class as a separate ADT. The thesis argues that the Booster semantics is a better model of object oriented systems. The second important contribution is the idea of model completion — a process that augments the postconditions of methods with additional predicates that follow from the system’s invariant and the method’s original intention. The third contribution describes a simple but effective code generation technique that is based on interpreting postconditions as executable statements and uses weakest preconditions to ensure that the generated code refines its specification.
10
Murali, madhavan rathai Karthik. "Synthesis and real-time implementation of parameterized NMPC schemes for automotive semi-active suspension systems." Thesis, Université Grenoble Alpes, 2020. http://www.theses.fr/2020GRALT052.
Full textAbstract:
Cette thèse traite de la synthèse et de la mise en œuvre en temps réel (RT) de schémas de contrôle prédictif non linéaire paramétré (pNMPC) pour les systèmes de suspension semi-active des automobiles. Le schéma pNMPC est basé sur une technique d'optimisation par simulation en boîte noire. Le point essentiel de la méthode est de paramétrer finement le profil d'entrée et de simuler le système pour chaque entrée paramétrée et d'obtenir la valeur approximative de l'objectif et de la violation des contraintes pour le problème pNMPC. Avec les résultats obtenus de la simulation, l'entrée admissible (si elle existe) ayant la valeur objective minimale ou, à défaut, la valeur de violation de contrainte la plus faible est sélectionnée et injectée dans le système et ceci est répété indéfiniment à chaque période de décision. La méthode a été validée expérimentalement sur dSPACE MicroAutoBoX II (MABXII) et les résultats montrent de bonnes performances de l'approche proposée. La méthode pNMPC a également été étendue à une méthode pNMPC parallélisée et la méthode proposée a été mise en œuvre pour le contrôle du système de suspension semi-active d'un demi-véhicule. Cette méthode a été mise en œuvre grâce à des unités de traitement graphique (GPU) qui servent de plate-forme modèle pour la mise en œuvre d'algorithmes parallèles par le biais de ses processeurs multi-cœurs. De plus, une version stochastique de la méthode pNMPC parallélisée est proposée sous le nom de schéma pNMPC à Scénario-Stochastique (SS-pNMPC). Cette méthode a été mise en œuvre et testée sur plusieurs cartes NVIDIA embarquées pour valider la faisabilité de la méthode proposée pour le contrôle du système de suspension semi-active d'un demi-véhicule. En général, les schémas pNMPC parallélisés offrent de bonnes performances et se prêtent bien à un large espace de paramétrage en entrée. Enfin, la thèse propose un outil logiciel appelé "pNMPC - A code generation software tool for implementation of derivative free pNMPC scheme for embedded control systems". L'outil logiciel de génération de code (S/W) a été programmé en C/C++ et propose également une interface avec MATLAB/Simulink. Le logiciel de génération de code a été testé pour divers exemples, tant en simulation que sur du matériel embarqué en temps réel (MABXII), et les résultats semblent prometteurs et viables pour la mise en œuvre de la RT pour des applications réelles. L'outil de génération de code S/W comprend également une fonction de génération de code GPU pour une mise en œuvre parallèle. Pour conclure, la thèse a été menée dans le cadre du projet EMPHYSIS et les objectifs du projet s'alignent sur cette thèse et les méthodes pNMPC proposées sont compatibles avec la norme eFMI<br>This thesis discusses the synthesis and real-time (RT) implementation of parameterized Nonlinear Model Predictive Control (pNMPC) schemes for automotive semi-active suspension systems. The pNMPC scheme uses a black-box simulation-based optimization method. The crux of the method is to finitely parameterize the input profile and simulate the system for each parameterized input and obtain the approximate objective and constraint violation value for the pNMPC problem. With the obtained results from the simulation, the input with minimum objective value or the least constraint violation value is selected and injected into the system and this is repeated in a receding horizon fashion. The method was experimentally validated on dSPACE MicroAutoBoX II (MABXII) and the results display good performance of the proposed approach. The pNMPC method was also augmented to parallelized pNMPC and the proposed method was implemented for control of semi-active suspension system for a half car vehicle. This method was implemented by virtue of Graphic Processing Units (GPUs) which serves as a paragon platform for implementation of parallel algorithms through its multi-core processors. Also, a stochastic version of the parallelized pNMPC method is proposed which is termed as Scenario-Stochastic pNMPC (SS-pNMPC) scheme and the method was implemented and tested on several NVIDIA embedded boards to verify and validate the RT feasibility of the proposed method for control of semi-active suspension system for a half car vehicle. In general, the parallelized pNMPC schemes provide good performance and also, fares well for large input parameterization space. Finally, the thesis proposes a software tool termed “pNMPC – A code generation software tool for implementation of derivative free pNMPC scheme for embedded control systems”. The code generation software (S/W) tool was programmed in C/C++ and also, provides interface to MATLAB/Simulink. The S/W tested for variety of examples both in simulation as well as on RT embedded hardware (MABXII) and the results looks promising and viable for RT implementation for real world applications. The code generation S/W tool also includes GPU code generation feature for parallel implementation. To conclude, the thesis was conducted under the purview of the EMPHYSIS project and the goals of the project align with this thesis and the proposed pNMPC methods are amenable with eFMI standard
11
Paraskevas, Zaharias. "Code generation for dataflow software pipelining." Thesis, McGill University, 1989. http://digitool.Library.McGill.CA:80/R/?func=dbin-jump-full&object_id=55627.
Full text
12
Theodoro, Júnior Marcelo Brandão. "MDWA : Uma abordagem guiada por modelos para desenvolvimento de software Web." Universidade Federal de São Carlos, 2012. https://repositorio.ufscar.br/handle/ufscar/515.
Full textAbstract:
Made available in DSpace on 2016-06-02T19:06:01Z (GMT). No. of bitstreams: 1
4801.pdf: 4117819 bytes, checksum: b4df67024157ee1a2c79256315a97e7d (MD5)
Previous issue date: 2012-11-13<br>Universidade Federal de Sao Carlos<br>Software development techniques continually evolve in order to improve development and maintenance processes in addition to lower costs and higher quality. The goal of MDD is to reduce the semantic distance between a problem and its solution specification. Therefore MDD focuses on high-level abstraction modeling and successive model transformations, until finally, generate code. Studies assert that model-driven development can be significantly more efficient than traditional source code-driven software development and still reduce the possibility of occurrence of several problems during the software life-cycle. Likewise, Web engineering can also be benefited by MDD adoption, especially when supported by approaches that facilitate MDD use. Web development is usually agile with frequent releases, these approaches must be flexible to adapt to this context. However, generally, the approaches proposed by the academic community have complex processes which involve many different model definitions, programming languages, plug-ins and IDEs. These features contradict the practices adopted by Web developers. This paper presents the MWDA (Model-Driven Web Applications) approach that provides a simple process to support model-driven web development. This approach does not depend on tools, technologies or plug-ins and encourage combination with other forms of reuse and development processes. Furthermore, the Ruby- MDWA was developed with Ruby language and Ruby on Rails framework support, in order to create Web applications with MDWA assistance. This tool provides a set of textual models and defines M2M and M2C transformation tools, maintaining the requirements traceability since its specification to its construction and further maintenance. In order to show the use of the approach and tool, it was performed a real study case with a software company, from São Carlos SP, where a project management system was developed. In parallel, two experiments were conducted with undergraduate students in Computer Science and Computer Engineering and a Masters in Computer Science, to evaluate the gains and limitations of the Ruby-MDWA tool.<br>As técnicas de desenvolvimento de software evoluem continuamente com a finalidade de melhorar processos de construção e manutenção de software, além de obter ganhos em tempo, custo e qualidade. O objetivo do MDD é reduzir a distância semântica entre um problema e a especificação de sua solução. Para isso, MDD tem enfoque na modelagem de alto nível de abstração e em sucessivos refinamentos dos modelos construídos em artefatos mais detalhados, até enfim, gerar código. Há afirmações de que o desenvolvimento orientado a modelos pode ser significativamente mais eficiente que o desenvolvimento tradicional guiado por código fonte, além de reduzir a possibilidade de ocorrência de uma série de problemas durante o ciclo de vida do software. Da mesma forma, a engenharia de aplicações Web também pode ser beneficiada pela adoção de MDD, em especial com o apoio de abordagens que facilitem sua utilização. Como o desenvolvimento de aplicações Web comumente é ágil e com publicações freqüentes, essas abordagens devem ser flexíveis para que se adaptem a esse contexto. Entretanto, em geral, as abordagens propostas pela comunidade acadêmica apresentam processos complexos que envolvem diversos modelos, linguagens de programação, plug-ins e ambientes de programação. Essas características contrariam as práticas aprovadas pelos desenvolvedores Web. Esta dissertação apresenta a abordagem MDWA (Model-Driven Web Applications) que fornece um processo simples para desenvolvimento de software Web com apoio de MDD. A abordagem não depende de ferramentas, tecnologias ou plug-ins e estimula a combinação com outras formas de reuso e processos de desenvolvimento. Além disso, foi construída uma ferramenta, denominada Ruby-MDWA, baseada na linguagem Ruby e no framework Ruby on Rails destinada à criação de aplicações Web com auxílio da abordagem MDWA. Essa ferramenta fornece um conjunto de quatro modelos textuais e define transformadores M2M e M2C, que mantém a rastreabilidade de um requisito desde sua especificação até sua construção e posterior manutenção. Para mostrar o uso da abordagem e da ferramenta, foi realizado um estudo de caso real em conjunto com uma empresa de software de São Carlos SP, onde um sistema de gerenciamento de projetos foi desenvolvido. De forma paralela, foram conduzidos dois experimentos com alunos de graduação em Bacharelado em Ciência da Computação e Engenharia de Computação e mestrado em computação da UFSCar, visando avaliar os ganhos e as limitações da ferramenta Ruby-MDWA.
13
Forsyth, Charles Harkness. "More adaptable code generation." Thesis, University of York, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.280449.
Full text
14
Jesus, Fábio Miguel Rodrigues de. "CodeGen: improving software development through code generation." Master's thesis, Instituto Politécnico de Setúbal.Escola Superior de Tecnologia de Setúbal, 2019. http://hdl.handle.net/10400.26/31332.
Full textAbstract:
Projeto realizado em âmbito empresarial<br>A project submitted in fulfillment of the requirements for the degree of master’s in software engineering<br>Developing software applications requires time and experience that developers often lack. Additionally, development is more about the problem’s domain and not about the coding process itself, making the automatization of the process quite challenging and engaging, unlike other successfully automated processes. To further reduce the developer’s engagement in corporal developing standards such as following specific patterns or rules, CodeGen presents itself as a code generating tool that, while limited as a prototype, is intended to build and test applications in a set of languages and patterns. In order to do so, an exploratory research on the topics of code generation, architectural and design patterns, and programming languages is required, in order to evaluate what can be done with the current technology and knowledge available. Supported by this research, a prototype is developed as a proof of concept for a Visual Studio Extension that generates web applications in .NET MVC (Model-View-Controller). Since Visual Studio can’t compile Java and the user is not restricted to the choice of development environment, the current research also analyses the possibility of having more than one user interface.
15
Franz, Michael Steffen Oliver. "Code-generation on-the-fly : a key portable software /." Zürich, 1994. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=10497.
Full text
16
Chen, Yuanxin. "Building software tools for combat modeling and analysis." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2004. http://handle.dtic.mil/100.2/ADA429676.
Full textAbstract:
Thesis (M.S. in Computer Science)--Naval Postgraduate School, Dec. 2004.<br>Thesis Advisor(s): Mikhail Auguston. "December 2004." Includes bibliographical references (p. 179-180). Also available online.
17
Medeiros, Thiago Fernandes Lins de. "CodeScoping: A source code based tool to software product lines scoping." Universidade Federal de Pernambuco, 2011. https://repositorio.ufpe.br/handle/123456789/2827.
Full textAbstract:
Made available in DSpace on 2014-06-12T16:01:25Z (GMT). No. of bitstreams: 2
arquivo8976_1.pdf: 2350079 bytes, checksum: 1eef40b33c036ecc8b5b613b08bff0a7 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2011<br>Engenharia de Linhas de Produto de Software (ELPS) emergiu rapidamente como uma
importante abordagem de desenvolvimento de software durantes os últimos anos. ELPS
foca-se na identificação e gerenciamento dos pontos em comum (commonalities) e dos
pontos de variação (variabilities) de um conjunto de produtos de software, de forma
que artefatos (core assets) possam ser desenvolvidos e (re)usados para construir diferentes
produtos com custo reduzido. Além disso, melhoria de produtividade, aumento
de qualidade e redução do tempo de entrega dos produtos são alguns dos benefícios
proporcionados pela abordagem.
Neste contexto, o processo de escopo em linhas de produto de software é responsável
pela definição da viabilidade a longo prazo da linha de produtos. Seu principal objetivo é
identificar e delimitar produtos, funcionalidades, subdomínios e artefatos (componentes,
documentos, etc.) existentes da linha de produtos, onde o investimento em reuso trará
benefícios econômicos para a empresa.
Normalmente, engenheiros de linha de produtos definem o escopo com informações
extraídas da documentação de produtos existentes e baseados no conhecimento de especialistas
de domínio. Esta é uma tarefa que demanda muito esforço, pois muito tempo é
investido na realização de workshops e entrevistas com os especialistas de domínio. Além
disso, frequentemente, os especialistas de domínio não tem tempo disponível para compartilhar
o conhecimento deles e a documentação dos produtos existentes é inexistente ou
está desatualizada.
Assim, a fim de reduzir custos e tempo para a realização do processo de escopo,
esta dissertação propõe uma abordagem para auxiliar o processo de escopo baseada
no código fonte dos produtos já existentes na empresa. Além disso, são apresentados
os requisitos, projeto e implementação de uma ferramenta com o objetivo de guiar os
analistas de escopo na identificação de similaridades e variações no código fonte dos
sistemas legados.
Finalmente, esta dissertação também descreve um estudo empírico que foi utilizado
para a elicitação de requisitos e um experimento que foi conduzido para avaliar a viabilidade
da ferramenta proposta neste trabalho
18
Rowlands, J. A. S. "Modularity and code generation in an extended programming language." Thesis, University of Manchester, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.234235.
Full text
19
Egerton, David. "Automated generation of SW design constructs from MESA source code /." Online version of thesis, 1993. http://hdl.handle.net/1850/12144.
Full text
20
Eriksson, Mattias. "Integrated Software Pipelining." Licentiate thesis, Linköping : Department of Computer and Information Science, Linköpings universitet, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-16170.
Full text
21
D'Angelo, Laura. "Evaluation of code generation in agile software development of embedded systems." Thesis, Uppsala universitet, Avdelningen för datorteknik, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-353798.
Full textAbstract:
Generating code from software models is considered to be a new generation leap within software development methods. The objective of this M.Sc. project is to evaluate how different approaches to modelling and code generation affect embedded systems software development and propose recommendations on how to improve software development. Two product areas at Saab Surveillance EW Systems in Järfälla, Stockholm, are used as study objects. A research overview is made to highlight themes regarding modelling, code generation and software development in general. Based on these, interviews are held with system engineers and software developers at each product area, where they use different modelling and code generation approaches. The two development processes are described thoroughly. Challenges and advantages related to each area’s approach are investigated. Software development within product area A is affected by the product complexity and the larger scale of the development, including projects running over a longer time with more teams involved. Recommendations include enabling code generation by aligning it with other investments on process improvement and limiting the approach to generating some system components. Software developers within product area B can use full code generation, enabled by the limited product complexity. The product area is affected by software standards and external requirements on the process. Recommendations include extending the modelling approach to make it easier to trace functionality from system to software level. Conclusions are that both product areas can apply modelling and code generation to more software development activities to improve their respective development processes.
22
Durão, Frederico Araujo. "Applying a semantic layer in a source code retrieval tool." Universidade Federal de Pernambuco, 2008. https://repositorio.ufpe.br/handle/123456789/1599.
Full textAbstract:
Made available in DSpace on 2014-06-12T15:51:21Z (GMT). No. of bitstreams: 1
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2008<br>O reuso de software é uma área de pesquisa da engenharia de software que tem
por objetivo prover melhorias na produtividade e qualidade da aplicação através
da redução do esforço. Trata-se de reutilizar artefatos existentes, ao invés de
construí-los do zero a fim de criar novas aplicações. Porém, para obter os
benefícios inerentes ao reuso, alguns obstáculos devem ser superados como, por
exemplo, a questão da busca e recuperação de componentes. Em geral, há uma
lacuna entre a formulação do problema, na mente do desenvolvedor e a
recuperação do mesmo no repositório, o que resulta em resultados irrelevantes
diminuindo as chances de reuso. Dessa maneira, mecanismos que auxiliem na
formulação das consultas e que contribuam para uma recuperação mais
próxima à necessidade do desenvolvedor, são bastante oportunos para
solucionar os problemas apresentados.
Nesse contexto, este trabalho propõe a extensão de uma ferramenta de
busca por palavra-chave através de uma camada semântica que tem por objetivo
principal aumentar a precisão da busca e, conseqüentemente, aumentar as
chances de reuso do componente procurado. A criação da camada semântica é
representada basicamente por dois componentes principais: um para auxiliar o
usuário na formulação da consulta, através do uso de uma ontologia de
domínio, e outro para tornar a recuperação mais eficiente, através de uma
indexação semântica dos componentes no repositório
23
Ordonio, Robert Romero. "An automated tool to facilitate code translation for software fault tree analysis." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1993. http://handle.dtic.mil/100.2/ADA273205.
Full text
24
Baca, Dejan. "Automated static code analysis : A tool for early vulnerability detection." Licentiate thesis, Karlskrona : Department of Systems and Software Engineering, School of Engineering, Blekinge Institute of Technology, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-00429.
Full text
25
Sud, Rajat. "A Synergistic Approach to Software Requirements Generation: The Synergistic Requirements Generation Model (SRGM) and, An Interactive Tool for Modeling SRGM (itSRGM)." Thesis, Virginia Tech, 2003. http://hdl.handle.net/10919/32942.
Full textAbstract:
The importance of a well-formulated set of software requirements contributing to a successful software development effort has been underscored in recent times. However, the software industry still faces a dearth of process models and artifacts populating the requirements generation process. Of those that do exist, they are often disconnected and narrowly focused, providing little structure to the requirement generation phase. Current methodologies advocate useful guidelines, but do not enforce them. To address these concerns, we introduce the â Synergistic Approach to Software Requirements Generationâ â an approach composed of two components â a model and an interactive tool implementing the model.
The first component is the Synergistic Requirements Generation Model (SRGM). The SRGM is complete with detailed processes spanning the entire software requirements generation phase. These processes have been identified and decomposed to low-level activities with the intent to improve clarity and understanding.
The second component entails the An Interactive Tool for modeling the SRGM (itSRGM) codifying the structure dictated by the model. The tool enforces guidelines and provides visual representations of the progression of activities involved in the requirements generation process.<br>Master of Science
26
Ekmefjord, Morgan. "Evaluation of the Perforce Source Code Management Tool used in Agile Software Development." Thesis, Uppsala University, Department of Information Technology, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-98334.
Full textAbstract:
<p>Focus in this report is how the Perforce source code management tools can be used in the Extreme Programming methodology and how the different features of Perforce work with the challenges of managing source code while working in an agile way with extreme programming. The study shows how the extreme programming methodology users can use Perforce for their daily operation for paradigms such as continuous integration and 10 minutes build. The bridging between agile methods such as extreme programming and source code management tools are not very clear and in this report some aspects of uniting the two is explained.</p>
27
Singh, Shikhar. "An approach to automate the adaptor software generation for tool integration in Application/ Product Lifecycle Management tool chains." Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2016. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-193919.
Full textAbstract:
An emerging problem in organisations is that there exist a large number of tools storing data that communicate with each other too often, throughout the process of an application or product development. However, no means of communication without the intervention of a central entity (usually a server) or storing the schema at a central repository exist. Accessing data among tools and linking them is tough and resource intensive. As part of the thesis, we develop a software (also referred to as ‘adaptor’ in the thesis), which, when implemented in the lifecycle management systems, integrates data seamlessly. This will eliminate the need of storing database schemas at a central repository and make the process of accessing data within tools less resource intensive. The adaptor acts as a wrapper to the tools and allows them to directly communicate with each other and exchange data. When using the developed adaptor for communicating data between various tools, the data in relational databases is first converted into RDF format and is then sent or received. Hence, RDF forms the crucial underlying concept on which the software will be based. The Resource description framework (RDF) provides the functionality of data integration irrespective of underlying schemas by treating data as resource and representing it as URIs. The model of RDF is a data model that is used for exchange and communication of data on the Internet and can be used in solving other real world problems like tool integration and automation of communication in relational databases. However, developing this adaptor for every tool requires understanding the individual schemas and structure of each of the tools’ database. This again requires a lot of effort for the developer of the adaptor. So, the main aim of the thesis will be to automate the development of such adaptors. With this automation, the need for anyone to manually assess the database and then develop the adaptor specific to the database is eliminated. Such adaptors and concepts can be used to implement similar solutions in other organisations faced with similar problems. In the end, the output of the thesis is an approachwhich automates the process of generating these adaptors.<br>Resource Description Framework (RDF) ger funktionaliteten av dataintegration, oberoende av underliggande scheman genom att behandla uppgifter som resurs och representerar det som URI. Modellen för Resource Description Framework är en datamodell som används för utbyte och kommunikation av uppgifter om Internet och kan användas för att lösa andra verkliga problem som integrationsverktyg och automatisering av kommunikation i relationsdatabaser. Ett växande problem i organisationer är att det finns ett stort antal verktyg som lagrar data och som kommunicerar med varandra alltför ofta, under hela processen för ett program eller produktutveckling. Men inga kommunikationsmedel utan ingripande av en central enhet (oftast en server) finns. Åtkomst av data mellan verktyg och länkningar mellan dem är resurskrävande. Som en del av avhandlingen utvecklar vi en programvara (även hänvisad till som "adapter" i avhandlingen), som integrerar data utan större problem. Detta kommer att eliminera behovet av att lagra databasscheman på en central lagringsplats och göra processen för att hämta data inom verktyg mindre resurskrävande. Detta kommer att ske efter beslut om en särskild strategi för att uppnå kommunikation mellan olika verktyg som kan vara en sammanslagning av många relevanta begrepp, genom studier av nya och kommande metoder som kan hjälpa i nämnda scenarier. Med den utvecklade programvaran konverteras först datat i relationsdatabaserna till RDF form och skickas och tas sedan emot i RDF format. Således utgör RDF det viktiga underliggande konceptet för programvaran. Det främsta målet med avhandlingen är att automatisera utvecklingen av ett sådant verktyg (adapter). Med denna automatisering elimineras behovet att av någon manuellt behöver utvärdera databasen och sedan utveckla adaptern enligt databasen. Ett sådant verktyg kan användas för att implementera liknande lösningar i andra organisationer som har liknande problem. Således är resultatet av avhandlingen en algoritm eller ett tillvägagångssätt för att automatisera processen av att skapa adaptern.
28
Wigent, Mark A., and Andrea M. Mazzario. "TENA Software Decommutation System." International Foundation for Telemetering, 2012. http://hdl.handle.net/10150/581846.
Full textAbstract:
The Test and Training Enabling Architecture (TENA) is implemented within the TENA Software Decommutation System (TSDS) in order to bring TENA as close as possible to the sensor interface. Key attributes of TSDS include: • TSDS is a software-based approach to telemetry stream decommutation implemented within Java. This offers technical advantages such as platform independence and portability. • TSDS uses auto code generation technologies to further reduce the effort associated with updating decommutation systems to support new telemetry stream definitions. Users of TSDS within the range are not required to have detailed knowledge of proprietary protocols, nor are they required to have an understanding of how to implement decommutation within software. The use of code generation in software decommutation offers potential cost savings throughout the entire T&E community. • TSDA offers a native TENA interface so that telemetry data can be published directly into TENA object models.
29
Galparsoro, Miguel Angel Maiza. "Automatic scheduling and parallel code generation for high performance real-time systems." Thesis, University of York, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.288061.
Full text
30
Faccin, João Guilherme. "Preference and context-based BDI plan selection using machine learning : from models to code generation." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2016. http://hdl.handle.net/10183/138209.
Full textAbstract:
A tecnologia de agentes surge como uma solução que fornece flexibilidade e robustez para lidar com domínios dinâmicos e complexos. Tal flexibilidade pode ser alcançada através da adoção de abordagens já existentes baseadas em agentes, como a arquitetura BDI, que provê agentes com características mentais de crenças, desejos e intenções. Essa arquitetura é altamente personalizável, deixando lacunas a serem preenchidas de acordo com aplicações específicas. Uma dessas lacunas é o algoritmo de seleção de planos, responsável por selecionar um plano para ser executado pelo agente buscando atingir um objetivo, e tendo grande influência no desempenho geral do agente. Grande parte das abordagens existentes requerem considerável esforço para personalização e ajuste a fim de serem utilizadas em aplicações específicas. Nessa dissertação, propomos uma abordagem para seleção de planos apta a aprender quais planos possivelmente terão os melhores resultados, baseando-se no contexto atual e nas preferências do agente. Nossa abordagem é composta por um meta-modelo, que deve ser instanciado a fim de especificar metadados de planos, e uma técnica que usa tais metadados para aprender e predizer resultados da execução destes planos. Avaliamos nossa abordagem experimentalmente e os resultados indicam que ela é efetiva. Adicionalmente, fornecemos uma ferramenta para apoiar o processo de desenvolvimento de agentes de software baseados em nosso trabalho. Essa ferramenta permite que desenvolvedores modelem e gerem código-fonte para agentes BDI com capacidades de aprendizado. Um estudo com usuários foi realizado para avaliar os benefícios de um método de desenvolvimento baseado em agentes BDI auxiliado por ferramenta. Evidências sugerem que nossa ferramenta pode auxiliar desenvolvedores que não sejam especialistas ou que não estejam familiarizados com a tecnologia de agentes.<br>Agent technology arises as a solution that provides flexibility and robustness to deal with dynamic and complex domains. Such flexibility can be achieved by the adoption of existing agent-based approaches, such as the BDI architecture, which provides agents with the mental attitudes of beliefs, desires and intentions. This architecture is highly customisable, leaving gaps to be fulfilled in particular applications. One of these gaps is the plan selection algorithm that is responsible for selecting a plan to be executed by an agent to achieve a goal, having an important influence on the overall agent performance. Most existing approaches require considerable effort for customisation and adjustment to be used in particular applications. In this dissertation, we propose a plan selection approach that is able to learn plans that provide possibly best outcomes, based on current context and agent’s preferences. Our approach is composed of a meta-model, which must be instantiated to specify plan metadata, and a technique that uses such metadata to learn and predict plan outcomes. We evaluated our approach experimentally, and results indicate it is effective. Additionally, we provide a tool to support the development process of software agents based on our work. This tool allows developers to model and generate source code for BDI agents with learning capabilities. A user study was performed to assess the improvements of a tool-supported BDI-agent-based development method, and evidences suggest that our tool can help developers that are not experts or are unfamiliar with the agent technology.
31
Saigal, Nalin. "IVCon : a GUI-based tool for visualizing and modularizing crosscutting concerns." [Tampa, Fla] : University of South Florida, 2009. http://purl.fcla.edu/usf/dc/et/SFE0003009.
Full text
32
Shahrezaei, Khashayar, and Pontus Holmström. "Software development from theory to practical machining techniques." Thesis, Luleå tekniska universitet, Institutionen för teknikvetenskap och matematik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:ltu:diva-79289.
Full textAbstract:
In already optimized processes it may be challenging to find room for further improvement. The solution can be found in the advanced software and tools that support the digital manufacturing, all the way from planning and design to in-machining and machining analysis. This project the- sis focuses on developing a process methodology to transcribe Sandvik Coromant’s theories and knowledge about machining operation grooving into machine-readable formats. Various software development models have been analysed and a particular model inspired by the incremental and iterative process model was developed to match the context of this project. This project thesis describes the working methodology for gathering theories and translating them into machine-interpretable format. A working methodology developed in this project thesis succeeded in transcribing different human- readable theories such as people’s minds (experts within the field) and handbooks into a machine- interpretable format. The proposed algorithms for tool path generation was developed and imple- mented successfully through the integration of mathematical modelling. MATLAB and Siemens NX has been used to build a proof of concept environment.
33
Nett, Tobias. "Round-trip Engineering of Template-based Code Generation in SkAT." Thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2015. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-170558.
Full textAbstract:
In recent years, the development of multi-core CPUs and GPUs with many cores has taken precedence over an increase in clock frequency. Therefore, writing parallel programs for multi-core and many-core systems becomes increasingly important. Due to the lack of inherently parallel language features in most programming languages, today many programs are written sequentially and then enhanced with special pragmas or framework calls hinting parallelizable parts of code. This hints are then used to modify and extend the code with parallel constructs in a preprocessing step. If it is crucial to optimize the run time of a program, the code generated by this step has to be inspected an manually tuned. To keep the original and the transformed code artifacts synchronized, an editor with a round-trip engineering (RTE) system can be used. RTE propagates changes made in the source artifacts to the generated artifacts and vice versa.
One tool that can be used to expand pragmas to parallelized source code is the invasive software composition framework SkAT. SkAT-based tools use reference attribute grammars (RAGs) to compose code fragments according to a composition program written in Java. To facilitate the creation of SkAT-based tools, a minimal composition system framework SkAT/Minimal on to of the SkAT core contains mechanisms to enable the incremental building of such tools. The principle of island parsing is employed to be able to express just as much of a language as is necessary for composition.
In this work, composition systems based on SkAT/Minimal are targeted. The task is split into two parts: first, approaches for RTE are analyzed and a concept for a RTE system is created. The focus lies on the analysis of features and requirements of existing RTE approaches and a thorough investigation of all relevant steps required to implement such a system for SkAT/Minimal. The second part of the task is the creation and evaluation of a prototypical implementation of the system.
34
Hameed, Muhammad Muzaffar, and Muhammad Zeeshan ul Haq. "DefectoFix : An interactive defect fix logging tool." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-5268.
Full textAbstract:
Despite the large efforts made during the development phase to produce fault free system, most of the software implementations still require the testing of entire system. The main problem in the software testing is the automation that could verify the system without manual intervention. Recent work in software testing is related to the automated fault injection by using fault models from repository. This requires a lot of efforts, which adds to the complexity of the system. To solve this issue, this thesis suggests DefectoFix framework. DefectoFix is an interactive defect fix logging tools that contains five components namely Version Control Sysem (VCS), source code files, differencing algorithm, Defect Fix Model (DFM) creation and additional information (project name, class name, file name, revision number, diff model). The proposed differencing algorithm extracts detailed information by detecting differences in source code files. This algorithm performs comparison at sub-tree levels of source code files. The extracted differences with additional information are stored as DFM in repository. DFM(s) can later be used for the automated fault injection process. The validation of DefectoFix framework is performed by a tool developed using Ruby programming language. Our case study confirms that the proposed framework generates a correct DFM and is useful in automated fault injection and software validation activities.
35
Markle, Lloyd. "JQuery - a tool for combining query results and a framework for building code perspectives." Thesis, University of British Columbia, 2008. http://hdl.handle.net/2429/1888.
Full textAbstract:
In this dissertation we identify two problems with current integrated development
environments (IDEs) and present JQuery as a tool to address these issues.
The first problem is that IDE views answer low level questions and do not provide a mechanism to combine results to answer complex higher level questions. Even relatively simple questions force the developers to mentally combine results from different views.
The second problem is that IDEs do not provide an easy way to create perspectives on project specific concerns such as naming conventions or annotations. Most IDEs do offer support for creating custom perspectives but the effort required to create a perspective is considerably more than the benefit a custom perspective provides.
JQuery is an Eclipse plugin which generates code views using an expressive query language. We have redesigned JQuery to support a number of new user interface (UI) features and add a more flexible architecture with better support for extending the UI.
To address the first problem, we have added multiple views to JQuery where each view supports drag and drop of results, selection linking, and regular expression search. These features enable a user to combine results from different views to answer more complex higher level questions. To address the second problem, we can leverage the fact that JQuery is built on an expressive query language. Through this query language we are able to define project specific concerns such as naming conventions or annotations and then create views and perspectives for these concerns through the JQuery UI.
36
Nguyen, Christofer. "Priority automation engineering : Evaluating a tool for automatic code generation and configuration of PLC-Applications." Thesis, Linnéuniversitetet, Institutionen för datavetenskap och medieteknik (DM), 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-85797.
Full textAbstract:
This research explores the Automation Interface created by Beckhoff through introducinga compiler solution. Today machine builders have to be able to build machinesor plants in different sizes and provide many variations of the machine orplant types. Automatic code generation can be used in the aspect to reuse code thathas been tested and is configurable to match the desired functionality. Additionally,the use of a pre-existing API could potentially result in less engineering resourceswasted in developing automatic code generation. This thesis aims to evaluate theAutomation Interface (AI) tool created by Beckhoff. This is accomplished throughmeans of incorporating the API functions into a compiler solution. The solution isdesigned to export the information required through an XML-file to generate PLCapplications.The generated PLC-code will be in Structured Text. In order to createa functional PLC-application, the construction of software requirements and testcases are established. The solution is then validated by means of generating a dataloggerto illustrate the usage. The exploratory research revealed both the benefitsand cons of using AI to a compiler solution. The evaluation indicated that the AutomationInterface can reduce engineering effort to produce a compiler solution, butthe learning curve of understanding the underlying components that work with theAPI required a great deal of effort.
37
Bordoni, Mirco. "Towards model driven software development for Arduino platforms: a DSL and automatic code generation." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amslaurea.unibo.it/4082/.
Full textAbstract:
La tesi ha lo scopo di esplorare la produzione di sistemi software per Embedded Systems mediante l'utilizzo di tecniche relative al mondo del Model Driven Software Development.
La fase più importante dello sviluppo sarà la definizione di un Meta-Modello che caratterizza i concetti fondamentali relativi agli embedded systems. Tale modello cercherà di astrarre dalla particolare piattaforma utilizzata ed individuare quali astrazioni caratterizzano il mondo degli embedded systems in generale. Tale meta-modello sarà quindi di tipo platform-independent.
Per la generazione automatica di codice è stata adottata una piattaforma di riferimento, cioè Arduino.
Arduino è un sistema embedded che si sta sempre più affermando perché coniuga un buon livello di performance ed un prezzo relativamente basso. Tale piattaforma permette lo sviluppo di sistemi special purpose che utilizzano sensori ed attuatori di vario genere, facilmente connessi ai pin messi a disposizione.
Il meta-modello definito è un'istanza del meta-metamodello MOF, definito formalmente dall'organizzazione OMG. Questo permette allo sviluppatore di pensare ad un sistema sotto forma di modello, istanza del meta-modello definito. Un meta-modello può essere considerato anche come la sintassi astratta di un linguaggio, quindi può essere definito da un insieme di regole EBNF.
La tecnologia utilizzata per la definizione del meta-modello è stata Xtext: un framework che permette la scrittura di regole EBNF e che genera automaticamente il modello Ecore associato al meta-modello definito. Ecore è l'implementazione di EMOF in ambiente Eclipse.
Xtext genera inoltre dei plugin che permettono di avere un editor guidato dalla sintassi, definita nel meta-modello.
La generazione automatica di codice è stata realizzata usando il linguaggio Xtend2. Tale linguaggio permette di esplorare l'Abstract Syntax Tree generato dalla traduzione del modello in Ecore e di generare tutti i file di codice necessari.
Il codice generato fornisce praticamente tutta la schematic part dell'applicazione, mentre lascia all'application designer lo sviluppo della business logic.
Dopo la definizione del meta-modello di un sistema embedded, il livello di astrazione è stato spostato più in alto, andando verso la definizione della parte di meta-modello relativa all'interazione di un sistema embedded con altri sistemi. Ci si è quindi spostati verso un ottica di Sistema, inteso come insieme di sistemi concentrati che interagiscono. Tale difinizione viene fatta dal punto di vista del sistema concentrato di cui si sta definendo il modello.
Nella tesi viene inoltre introdotto un caso di studio che, anche se abbastanza semplice, fornisce un esempio ed un tutorial allo sviluppo di applicazioni mediante l'uso del meta-modello. Ci permette inoltre di notare come il compito dell'application designer diventi piuttosto semplice ed immediato, sempre se basato su una buona analisi del problema.
I risultati ottenuti sono stati di buona qualità ed il meta-modello viene tradotto in codice che funziona correttamente.
38
Aydin, Elif. "An Automated Tool For Quality Manual Generation From Business Process Models." Master's thesis, METU, 2010. http://etd.lib.metu.edu.tr/upload/12612342/index.pdf.
Full textAbstract:
The majority of organizations make their business processes explicit to improve them. Defining business processes manually and modeling them are two alternatives utilized for this purpose. Meanwhile, organizations have quality management systems which are frequently shaped by frameworks. The most commonly used process improvement frameworks in the IT sector are ITIL, Cobit, CMMI and ISO 9001. These frameworks indicate the necessity of process documentation and ISO 9001 addresses the name &ldquo<br>Quality Manual&rdquo<br>for this purpose.
In this thesis, an automated tool is developed for quality manual generation from predetermined business process models. In addition, a case study is performed by means of a systematic approach and its results were discussed with the findings of structured interviews. The aim of the study is to reduce the effort and time required for quality manual preparation and merge quality management activities with process modeling by means of process documentation.
39
Adak, Bulent Mehmet. "Model-based Code Generation For The High Level Architecture Federates." Phd thesis, METU, 2007. http://etd.lib.metu.edu.tr/upload/3/12609032/index.pdf.
Full textAbstract:
We tackle the problem of automated code generation for a High Level Architecture (HLA)-
compliant federate application, given a model of the federation architecture including the
federate&rsquo<br>s behavior model. The behavior model is based on Live Sequence Charts (LSCs),
adopted as the behavioral specification formalism in the Federation Architecture Metamodel
(FAMM). The FAMM is constructed conforming to metaGME, the meta-metamodel offered
by Generic Modeling Environment (GME). FAMM serves as a formal language for
describing federation architectures. We present a code generator that generates Java/AspectJ
code directly from a federation architecture model. An objective is to help verify a federation
architecture by testing it early in the development lifecycle. Another objective is to help
developers construct complete federate applications. Our approach to achieve these
objectives is aspect-oriented in that the code generated from the LSC in conjunction with the
Federation Object Model (FOM) serves as the base code on which the computation logic is
weaved as an aspect.
40
Messaoud, Safa. "Translating Discrete Time SIMULINK to SIGNAL." Thesis, Virginia Tech, 2014. http://hdl.handle.net/10919/49299.
Full textAbstract:
As Cyber Physical Systems (CPS) are getting more complex and safety critical, Model Based
Design (MBD), which consists of building formal models of a system in order to be used in
verification and correct-by-construction code generation, is becoming a promising methodology
for the development of the embedded software of such systems. This design paradigm
significantly reduces the development cost and time while guaranteeing better robustness,
capability and correctness with respect to the original specifications, when compared with
the traditional ad-hoc design methods. SIMULINK has been the most popular tool for embedded
control design in research as well as in industry, for the last decades. As SIMULINK
does not have formal semantics, the application of the model based design methodology and
tools to its models is very limited. In this thesis, we present a semantic translator that
transform discrete time SIMULINK models into SIGNAL programs. The choice of SIGNAL
is motivated by its polychronous formalism that enhances synchronous programming with
asynchronous concurrency, as well as, by the ability of its compiler of generating deterministic
multi thread code. Our translation involves three major steps: clock inference, type
inference and hierarchical top-down translation. We validate the semantic preservation of
our prototype tool by testing it on different SIMULINK models.<br>Master of Science
41
Tran, Sy Nguyen. "Consistency techniques for test data generation." Université catholique de Louvain, 2005. http://edoc.bib.ucl.ac.be:81/ETD-db/collection/available/BelnUcetd-05272005-173308/.
Full textAbstract:
This thesis presents a new approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. A test program (with procedure calls) is represented by an Interprocedural Control Flow Graph (ICFG). The classical testing criteria (statement, branch, and path coverage), widely used in unit testing, are extended to the ICFG. Path coverage is the core of our approach. Given a specified path of the ICFG, a path constraint is derived and solved to obtain a test case. The constraint solving is carried out based on a consistency notion. For statement (and branch) coverage, paths reaching a specified node or branch are dynamically constructed. The search for suitable paths is guided by the interprocedural control dependences of the program. The search is also pruned by our consistency filter. Finally, test data are generated by the application of the proposed path coverage algorithm. A prototype system implements our approach for C programs. Experimental results, including complex numerical programs, demonstrate the feasibility of the method and the efficiency of the system, as well as its versatility and flexibility to different classes of problems (integer and/or float variables; arrays, procedures, path coverage, statement coverage).
42
Doungsa-ard, Chartchai. "Generation of Software Test Data from the Design Specification Using Heuristic Techniques. Exploring the UML State Machine Diagrams and GA Based Heuristic Techniques in the Automated Generation of Software Test Data and Test Code." Thesis, University of Bradford, 2011. http://hdl.handle.net/10454/5380.
Full textAbstract:
Software testing is a tedious and very expensive undertaking. Automatic test data generation is, therefore, proposed in this research to help testers reduce their work as well as ascertain software quality. The concept of test driven development (TDD) has become increasingly popular during the past several years. According to TDD, test data should be prepared before the beginning of code implementation. Therefore, this research asserts that the test data should be generated from the software design documents which are normally created prior to software code implementation. Among such design documents, the UML state machine diagrams are selected as a platform for the proposed automated test data generation mechanism. Such diagrams are selected because they show behaviours of a single object in the system. The genetic algorithm (GA) based approach has been developed and applied in the process of searching for the right amount of quality test data. Finally, the generated test data have been used together with UML class diagrams for JUnit test code generation. The GA-based test data generation methods have been enhanced to take care of parallel path and loop problems of the UML state machines. In addition the proposed GA-based approach is also targeted to solve the diagrams with parameterised triggers. As a result, the proposed framework generates test data from the basic state machine diagram and the basic class diagram without any additional nonstandard information, while most other approaches require additional information or the generation of test data from other formal languages. The transition coverage values for the introduced approach here are also high; therefore, the generated test data can cover most of the behaviour of the system.
43
Dutko, Adam M. "THE RELATIONAL DATABASE: A NEW STATIC ANALYSIS TOOL?" Cleveland State University / OhioLINK, 2011. http://rave.ohiolink.edu/etdc/view?acc_num=csu1313678735.
Full text
44
Barrocas, Samuel Lincoln Magalhães. "A strategy to verify the code generation from concurrent and state-rich circus specifications to executable code." PROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2018. https://repositorio.ufrn.br/jspui/handle/123456789/25443.
Full textAbstract:
Submitted by Automação e Estatística (sst@bczm.ufrn.br) on 2018-06-15T20:18:58Z
No. of bitstreams: 1
SamuelLincolnMagalhaesBarrocas_TESE.pdf: 4123420 bytes, checksum: 746539c9cf569cfefe66e16e60516a7d (MD5)<br>Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2018-06-18T19:19:46Z (GMT) No. of bitstreams: 1
SamuelLincolnMagalhaesBarrocas_TESE.pdf: 4123420 bytes, checksum: 746539c9cf569cfefe66e16e60516a7d (MD5)<br>Made available in DSpace on 2018-06-18T19:19:46Z (GMT). No. of bitstreams: 1
SamuelLincolnMagalhaesBarrocas_TESE.pdf: 4123420 bytes, checksum: 746539c9cf569cfefe66e16e60516a7d (MD5)
Previous issue date: 2018-02-22<br>O uso de Geradores Automáticos de Código para Métodos Formais não apenas minimiza
esforços na implementação de Sistemas de Software, como também reduz a chance
da existência de erros na execução destes Sistemas. Estas ferramentas, no entanto, podem
ter faltas em seus códigos-fonte que causam erros na geração dos Sistemas de Software,
e então a verificação de tais ferramentas é encorajada. Esta tese de Doutorado visa criar
e desenvolver uma estratégia para verificar JCircus, um Gerador Automático de Código
de um amplo sub-conjunto de Circus para Java. O interesse em Circus vem do fato de
que ele permite a especificação dos aspectos concorrentes e de estado de um Sistema de
maneira direta. A estratégia de verificação consiste nos seguintes passos: (1) extensão da
Semântica Operacional de Woodcock e prova de que ela é sólida com respeito à Semântica
Denotacional existente de Circus na Teoria Unificada de Programação (UTP), que é um
framework que permite prova e unificação entre diferentes teorias; (2) desenvolvimento e
implementação de uma estratégia que verifica o refinamento do código gerado por JCircus,
através de uma toolchain que engloba um Gerador de Sistema de Transições Rotuladas
com Predicado (LPTS) para Circus e um Gerador de Modelos que aceita como entrada
(I) o LPTS e (II) o código gerado por JCircus, e gera um modelo em Java Pathfinder que
verifica o refinamento do código gerado por JCircus. Através da aplicação do passo (2)
combinada com técnicas baseadas em cobertura no código fonte de JCircus, nós visamos
aumentar a confiabilidade do código gerado de Circus para Java.<br>The use of Automatic Code Generators for Formal Methods not only minimizes efforts
on the implementation of Software Systems, but also reduces the chance of existing errors
on the execution of such Systems. These tools, however, can themselves have faults on
their source codes that may cause errors on the generation of Software Systems, and thus
verification of such tools is encouraged. This PhD thesis aims at creating and developing a
strategy to verify the code generation from the Circus formal method to Java Code. The
interest in Circus comes from the fact that it allows the specification of concurrent and
state-rich aspects of a System in a straightforward manner. The code generation envisaged
to be verified is performed by JCircus, a tool that translates a large subset of Circus to Java
code that implements the JCSP API. The strategy of verification consists on the following
steps: (1) extension of Woodcock’s Operational Semantics to Circus processes and proof
that it is sound with respect to the Denotational Semantics of Circus in the Unifying
Theories of Programming (UTP), that is a framework that allows proof and unification of
different theories; (2) development and implementation of a strategy that refinement-checks
the code generated by JCircus, through a toolchain that encompasses (2.1) a Labelled
Predicate Transition System (LPTS) Generator for Circus and (2.2) a Model Generator that
inputs (I) a LPTS and (II) the code generated by JCircus, and generates a model (that
uses the Java Pathfinder code model-checker) that refinement-checks the code generated
by JCircus. Combined with coverage-based techniques on the source code of JCircus,
we envisage improving the reliability of the Code Generation from Circus to Java.
45
Specht, Emilena. "An approach for embedded software generation based in declarative alloy models." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2008. http://hdl.handle.net/10183/22812.
Full textAbstract:
Este trabalho propõe uma nova abordagem para o desenvolvimento de sistemas embarcados, através da combinação da abstração e propriedades de verificação de modelos da linguagem declarativa Alloy com a ampla aceitação de Java na indústria. A abordagem surge no contexto de que a automação de software no domínio embarcado tornou-se extremamente necessária, uma vez que atualmente a maior parte do tempo de desenvolvimento é gasta no projeto de software de produtos tão restritos em termos de recursos. As ferramentas de automação de software embarcado devem atender a demanda por produtividade e manutenibilidade, mas respeitar restrições naturais deste tipo de sistema, tais como espaço de memória, potência e desempenho. As ferramentas de automação de projeto lidam com produtividade e manutenibilidade ao permitir especificações de alto nível, tarefa difícil de atender no domínio embarcado devido ao comportamento misto de muitas aplicações embarcadas. Abordagens que promovem meios para verificação formal também são atrativas, embora geralmente sejam difíceis de usar, e por este motivo não são de grande auxílio na tarefa de reduzir o tempo de chegada ao mercado do produto. Através do uso de Alloy, baseada em lógica de primeira-ordem, é possível obter especificações em altonível e verificação formal de modelos com uma única linguagem. Este trabalho apresenta a poderosa abstração proporcionada pela linguagem Alloy em aplicações embarcadas, assim como regras para obter automaticamente código Java a partir de modelos Alloy. A geração de código Java a partir de modelos Alloy, combinada a uma ferramenta de estimativa, provê exploração de espaço de projeto, atendendo assim as fortes restrições do projeto de software embarcado, o que normalmente não é contemplado pela engenharia de software tradicional.<br>This work proposes a new approach for embedded software development, by combining the abstraction and model verification properties of the Alloy declarative language with the broad acceptance in industry of Java. The approach comes into play since software automation in the embedded domain has become a major need, as currently most of the development time is spent designing software for such hardconstrained resources products. Design automation tools for embedded systems must meet the demand for productivity and maintainability, but constraints such as memory, power and performance must still be considered. Design automation tools deal with productivity and maintainability by allowing high-level specifications, which is hard to accomplish on the embedded domain due to the mixed behavior nature of many embedded applications. Approaches that provide means for formal verification are also attractive, but their usage is usually not straightforward, and for this reason they are not that helpful in dealing with time-tomarket constraints. By using Alloy, based in first-order logic, it is possible to obtain high-level specifications and formal model verification with a single language. This work shows the powerful abstraction provided by the Alloy language for embedded applications, as well as rules for obtaining automatically Java code from Alloy models. The Java source code generation from Alloy models, combined with an estimation tool, provides design space exploration to match tight embedded software design constraints, what is usually not taken into account by standard software engineering techniques.
46
Mwelwa, Chisanga. "Development and assessment of a tool to support pattern-based code generation of time-triggered (TT) embedded systems." Thesis, University of Leicester, 2006. http://hdl.handle.net/2381/30236.
Full textAbstract:
This thesis is concerned with embedded systems which employ time-triggered software architectures and for which there are both severe resource constraints and a requirement for highly-predictable behaviour. The thesis discusses design patterns and their benefits to software development and reviews a pattern language (the PTTES collection) previously assembled to support the development of time-triggered embedded systems. As embedded systems become ever more complex and - in many cases - take on an increasing role in safety, it is widely recognised that developers require tools and techniques that support the 'automatic' generation of such designs. This thesis makes a novel contribution to the field of pattern-based automated code generation and illustrates the capabilities of this approach in the development of reliable time-triggered embedded systems. Specifically, the approach described in this thesis addresses a key limitation of previous work in this area, namely the challenge of implementing the 'one pattern, many implementations' relationship. Furthermore, unlike previous pattern tools, the approach described in this thesis is based on a substantial pattern language: this paves the way for the generation of coherent application code from groups of related patterns. To test the above ideas, the thesis describes PTTES Builder, a pattern-based code generation tool based on the PTTES collection. In an empirical study, the effectiveness of the PTTES Builder approach is compared with an equivalent 'manual' approach. The results obtained demonstrate that time-triggered embedded systems can be created using this approach. There is also some evidence that the use of the tool is likely to lead to improved code reliability and quality. In a second study discussed in the thesis, there are indications that the approach implemented by PTTES Builder is robust enough to support the evolution of its underlying pattern collection. The thesis concludes by making a number of suggestions for future extensions to this work.
47
Jose, Bijoy Antony. "Formal Model Driven Software Synthesis for Embedded Systems." Diss., Virginia Tech, 2011. http://hdl.handle.net/10919/28622.
Full textAbstract:
Due to the ever increasing complexity of safety-critical applications, handwritten code is being
replaced by automatically generated code derived from a high level specification. Code generation
from high level specification requires a model of computation with an underlying formalism
and correctness-preserving refinement steps to generate the lower level application code. Such
software synthesis techniques are said to be â correct-by-constructionâ . Synchronous programming
languages such as Esterel, LUSTRE, which are based on a synchronous model of computation
are used for sequential code generation. They work on a synchrony assumption (zero time intraprocess
computation and zero time inter process communication) at the specification level. Early
versions of synchronous languages followed an execution pattern where an iteration of software
was mapped to an interval between ticks of an external reference clock. Since this external reference
tick was unrelated to variables (or signals) within the software, redundant operations such
as reading of ports, computation of guards were performed for each tick. In this dissertation, we
highlight some of these performance issues and missed optimization opportunities. Also we show
how a multi-clock (or polychronous) formalism, where each variable has an independent rate of
execution associated with it, can avoid these problems.
An existing polychronous language named SIGNAL, creates a hierarchy of clocks based on the
rate of execution of individual variables, to form a root clock which acts a reference tick. We
seek to replace the clock analysis with a technique to form a unique order of events without a
reference time line. For this purpose, we present a new polychronous formalism termed Multi-rate
Instantaneous Channel connected Data Flow (MRICDF). Our new synthesis technique inspects
the specification to identify a master trigger at a Boolean equation level to act as the reference
tick. Furthermore, we attempt to make polychronous specification based software synthesis more
accessible to practicing engineers, by constructing a software tool EmCodeSyn, with a visual environment
for specification and a more intuitive analysis technique. Our Boolean approach to
sequential synthesis of embedded software has multiple implementations, each of which utilizes
existing academic software tools. Optimizations are proposed to minimize synthesis time by simplifying
the input to these external tools. Weaknesses in causal loop analysis techniques applied
by existing synthesis tools are highlighted and solutions for performing time efficient loop analysis
are integrated into EmCodeSyn. We have also determined that a part of the non-synthesizable
polychronous specifications can be used to generate correct multi-threaded code. Additionally,
we investigate composition of polychronous modules and propose properties that are necessary to
guarantee agreement on shared signals.<br>Ph. D.
48
Johnson, Corrigan Redford. "SPEST - A TOOL FOR SPECIFICATION-BASED TESTING." DigitalCommons@CalPoly, 2016. https://digitalcommons.calpoly.edu/theses/1520.
Full textAbstract:
This thesis presents a tool for SPEcification based teSTing (SPEST). SPEST is designed to use well known practices for automated black-box testing to reduce the burden of testing on developers. The tool uses a simple formal specification language to generate highly-readable unit tests that embody best practices for thorough software testing. Because the specification language used to generate the assertions about the code can be compiled, it can also be used to ensure that documentation describing the code is maintained during development and refactoring.
The utility and effectiveness of SPEST were validated through several exper- iments conducted with students in undergraduate software engineering classes. The first experiment compared the understandability and efficiency of SPEST generated tests against student written tests based on the Java Modeling Lan- guage (JML)[25] specifications. JML is a widely used language for behavior program specification. A second experiment evaluated readability through a sur- vey comparing SPEST generated tests against tests written by well established software developers. The results from the experiments showed that SPEST’s specification language is at least understandable as JML, SPEST’s specification language is more readable than JML, and strongly suggest that SPEST is capable of reducing the effort required to produce effective tests.
49
Sunil, Kamalakar FNU. "Automatically Generating Tests from Natural Language Descriptions of Software Behavior." Thesis, Virginia Tech, 2013. http://hdl.handle.net/10919/23907.
Full textAbstract:
Behavior-Driven Development (BDD) is an emerging agile development approach where all stakeholders (including developers and customers) work together to write user stories in structured natural language to capture a software application's functionality in terms of re- quired "behaviors". Developers then manually write "glue" code so that these scenarios can be executed as software tests. This glue code represents individual steps within unit and acceptance test cases, and tools exist that automate the mapping from scenario descriptions to manually written code steps (typically using regular expressions). Instead of requiring programmers to write manual glue code, this thesis investigates a practical approach to con- vert natural language scenario descriptions into executable software tests fully automatically. To show feasibility, we developed a tool called Kirby that uses natural language processing techniques, code information extraction and probabilistic matching to automatically gener- ate executable software tests from structured English scenario descriptions. Kirby relieves the developer from the laborious work of writing code for the individual steps described in scenarios, so that both developers and customers can both focus on the scenarios as pure behavior descriptions (understandable to all, not just programmers). Results from assessing the performance and accuracy of this technique are presented.<br>Master of Science
50
Hudgins, Gene. "THE TEST AND TRAINING ENABLING ARCHITECTURE, TENA, AN IMPORTANT COMPONENT IN JOINT MISSION ENVIRONMENT TEST CAPABILITY (JMETC) SUCCESSES." International Foundation for Telemetering, 2007. http://hdl.handle.net/10150/604400.
Full textAbstract:
ITC/USA 2007 Conference Proceedings / The Forty-Third Annual International Telemetering Conference and Technical Exhibition / October 22-25, 2007 / Riviera Hotel & Convention Center, Las Vegas, Nevada<br>The Joint Mission Environment Test Capability (JMETC) is a distributed live, virtual, and constructive (LVC) testing capability developed to support the acquisition community and to demonstrate Net-Ready Key Performance Parameters (KPP) requirements in a customer-specific Joint Mission Environment (JME). JMETC provides connectivity to the Services’ distributed test capabilities and simulations, as well as industry test resources. JMETC uses the Test and Training Enabling Architecture, TENA, which is well-designed for supporting JMETC events. TENA provides the architecture and software capabilities necessary to enable interoperability among range instrumentation systems, facilities, and simulations. TENA, used in major field exercises and numerous distributed test events, provides JMETC with a technology already being deployed in DoD.