Integration, testing and debugging of C code together with UML-generated sources
ثبت نشده
چکیده
However many companies shy away from the perceived effort required for the changeover to these new techniques. They have a code base that has been built up over decades and although the software has been constantly extended and improved. This has also led to the creation of more and more “spaghetti code”. Millions of functioning lines of code would need to be analyzed, re-programmed, and finally re-tested.
منابع مشابه
An Experiment of Traceability-Driven System Testing
Traceability has been held as an important factor in testing activities as well as modeldriven development. Vertical traceability affords us opportunities to improve manageability from models and test cases to a code in testing and debugging phase. This paper represents a vertical test method which connects a system test level and an integration test level in testing stage by using UML. An expe...
متن کاملPrototyping an Embedded Automotive System from its UML/SysML Models
The paper introduces a fast approach to prototype embedded systems. Software components are first modeled and formally verified using a SysML environment named AVATAR, supported by a free software named TTool. Simulation and formal verification of AVATAR components can be performed at the push of a button. The C/POSIX code of AVATAR components can also be generated directly from TTool. The gene...
متن کاملTesting of UML Activity Diagrams
In model-driven development, modeling languages provide the means for software development on a higher level of abstraction than traditional general purpose languages. However, compared to general purpose languages, these modeling languages often lack the proper tool support, such as tools for debugging and testing. Especially testing is essential to achieve a high quality of the final software...
متن کاملValidating UML simulation models with model-level unit tests
We describe model-level unit tests for model-driven simulation based on UML models. We refer to the well-known unit testing method and apply this concept on a higher abstraction level, that is on UML simulation models. The concept of model-based simulation has become more and more popular throughout the last years. This trend is fostered by the availability of tools that automatically transform...
متن کاملUsing UML Collaboration Diagrams for Static Checking and Test Generation
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models of software (such as control ow graphs), and speci cations/requirements. UML collaboration diagrams represent a signi cant opportunity for testing because they precisely describe how the functions the software provide...
متن کامل