The Experts below are selected from a list of 180 Experts worldwide ranked by ideXlab platform

Doug Abbott - One of the best experts on this subject based on the ideXlab platform.

  • Source Code Control—GIT
    Linux for Embedded and Real-time Applications, 2013
    Co-Authors: Doug Abbott
    Abstract:

    Chapter 15 introduces Source Code Control in the context of git, a package initially developed by Linus Torvalds specifically for the Linux kernel. We start by comparing and contrasting centralized version Control systems with distributed systems. Git is a distributed system. The system’s operation is described using a simple example project. We then look at the Eclipse graphical wrapper for git using the same example project. Finally we create a new git repository for one of the projects from earlier in the book.

  • Source Code Control git
    Linux for Embedded and Real-time Applications (Third Edition), 2013
    Co-Authors: Doug Abbott
    Abstract:

    Chapter 15 introduces Source Code Control in the context of git, a package initially developed by Linus Torvalds specifically for the Linux kernel. We start by comparing and contrasting centralized version Control systems with distributed systems. Git is a distributed system. The system’s operation is described using a simple example project. We then look at the Eclipse graphical wrapper for git using the same example project. Finally we create a new git repository for one of the projects from earlier in the book.

  • Eclipse Advanced Features
    Embedded Linux Development Using Eclipse, 2009
    Co-Authors: Doug Abbott
    Abstract:

    Publisher Summary This chapter looks at a couple of advanced features of Eclipse that are also of value to embedded developers, Source Code Control using CVS, and software design modeling using UML. UML (Unified Modeling Language) is a mechanism for expressing the constructs and relationships of complex systems, in particular software systems. More specifically, it is a graphical notation that can be used to describe the various models of a software system. It is a powerful tool for visualizing complex software and deriving Code templates from the graphical models. Although most open Source UML tools tend to be oriented to Java, there's nothing to prevent tools that have a C++ flavor. Eclipse plug-in Central lists 35 plug-ins in its UML category. CVS (Concurrent Versioning System) is an Open Source software package that supports simultaneous development of files by multiple developers. It is commonly used in large programming projects, but its use is not limited to software development. It can be useful in any task that involves managing files of data on a computer system. CVS is an integral part of Eclipse that brings some order to the potential chaos of team development. Project reSources are checked in and out of a central repository in an orderly fashion, and conflicting changes can be easily identified for resolution. CVS tracks every change so that the Code can be rolled back to any previous version if necessary.

Shaoying Liu - One of the best experts on this subject based on the ideXlab platform.

  • Generating test data from SOFL specifications
    Journal of Systems and Software, 1999
    Co-Authors: A. Jefferson Offut, Shaoying Liu
    Abstract:

    Abstract Software testing can only be formalized and quantified when a solid basis for test generation can be defined. Tests are commonly generated from the Source Code, Control flow graphs, design representations, and specifications/requirements. Formal specifications represent a significant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form that can be easily manipulated. This paper presents a new method for generating tests from formal specifications. This method is comprehensive in specification coverage, applies at several levels of abstraction, and can be highly automated. The paper applies the method to SOFL specifications, describes the technique, and demonstrates the application on a case study. A preliminary evaluation using a Code-level coverage criterion (mutation testing), indicates that the method can result in very effective tests.

A. Jefferson Offut - One of the best experts on this subject based on the ideXlab platform.

  • Generating test data from SOFL specifications
    Journal of Systems and Software, 1999
    Co-Authors: A. Jefferson Offut, Shaoying Liu
    Abstract:

    Abstract Software testing can only be formalized and quantified when a solid basis for test generation can be defined. Tests are commonly generated from the Source Code, Control flow graphs, design representations, and specifications/requirements. Formal specifications represent a significant opportunity for testing because they precisely describe what functions the software is supposed to provide in a form that can be easily manipulated. This paper presents a new method for generating tests from formal specifications. This method is comprehensive in specification coverage, applies at several levels of abstraction, and can be highly automated. The paper applies the method to SOFL specifications, describes the technique, and demonstrates the application on a case study. A preliminary evaluation using a Code-level coverage criterion (mutation testing), indicates that the method can result in very effective tests.

Muhammed Harbi - One of the best experts on this subject based on the ideXlab platform.

  • Scalable Source Code Similarity Detection in Large Code Repositories
    ICST Transactions on Scalable Information Systems, 2019
    Co-Authors: Firas Alomari, Muhammed Harbi
    Abstract:

    Source Code similarity are increasingly used in application development to identify clones, isolate bugs, and find copy-rights violations. Similar Code fragments can be very problematic due to the fact that errors in the original Code must be fixed in every copy. Other maintenance changes, such as extensions or patches, must be applied multiple times. Furthermore, the diversity of coding styles and flexibility of modern languages makes it difficult and cost ineffective to manually inspect large Code repositories. Therefore, detection is only feasible by automatic techniques. We present an efficient and scalable approach for similar Code fragment identification based on Source Code Control flow graphs fingerprinting. The Source Code is processed to generate Control flow graphs that are then hashed to create a unique fingerprint of the Code capturing semantics as well as syntax similarity. The fingerprints can then be efficiently stored and retrieved to perform similarity search between Code fragments. Experimental results from our prototype implementation supports the validity of our approach and show its effectiveness and efficiency in comparison with other solutions.

Molly K. Maskrey - One of the best experts on this subject based on the ideXlab platform.

  • Source-Code Control
    App Development Recipes for iOS and watchOS, 2016
    Co-Authors: Molly K. Maskrey
    Abstract:

    Without a doubt, protecting the investment you’ve made developing your iOS application by preventing loss due to a system crash or other mishap has to be done whether you’re working for a company or a contractor or running your own business. Not too long ago we backed up our work to floppy disks or separate hard drives, even USB/Flash drives. When cloud storage services such as Dropbox became available, things became a bit easier, but these still did not offer the services required for maintaining more than rudimentary file backups. What we really needed was some type of version Control; that is, a way to not only store back-up files but also keep track of changes so that it would be possible to revert to an earlier version if something we tried didn’t work out.