scholarly journals Proactive model based testing and evaluation for component-based systems

2017 ◽  
Vol 7 (1.1) ◽  
pp. 74
Author(s):  
A. Surendar ◽  
M. Kavitha ◽  
V. Saravanakumar
Keyword(s):  
System Development ◽  
Embedded Software ◽  
Software Systems ◽  
Optimization Approach ◽  
Testing Methods ◽  
Model Based Testing ◽  
Methods And Techniques ◽  
The Media ◽  
Testing And Evaluation ◽  
Integration Order

Embedded software systems are getting more and more complex. The demand for new features and functions led to an increasing complexity in the design and development of these systems. There are frequent reports in the media about software systems crashing and damages occurring due to software errors. One reason for this is that there are many software testing methods and techniques but they are often non-practical and difficult to use. The aim of the study was to improve existing testing methods and their practicality especially from the integrator viewpoint. Component-based system development, components of different granularities must be tested. Furthermore, an optimization approach based on simulated annealing is presented which is used to derive an integration order with respect to the proposed parameters in a powerful and reliable manner. The paper discusses explicit properties and the requirements that are to be verified, imposed upon software-intensive systems by their environment and by their users.

Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

2013 ◽  
pp. 108-125
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Software ◽  
Combinatorial Design ◽  
Software Systems ◽  
Development Effort ◽  
Industrial Case Study ◽  
Model Based ◽  
Model Based Testing ◽  
Configurable System ◽  
Parameter Values

This article reports the results of an industrial case study demonstrating the efficacy of a model-based testing process in assuring the quality of highly configurable systems from the automation domain. Escalating demand for flexibility has made modern embedded software systems highly configurable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can account for significant changes in the system’s behavior, whereas in other cases, changed parameters may not result in any perceivable reaction. This case study addresses the challenge of applying model-based testing to configurable embedded software systems to reduce development effort. As a result of the case study, a model-based testing process was developed and tailored toward the needs of the automation domain. This process integrates existing model-based testing methods and tools, such as combinatorial design and constraint processing. The testing process was applied as part of the case study and analyzed in terms of its actual saving potentials, which reduced the testing effort by more than a third.

Model-Based Testing of Highly Configurable Embedded Systems in the Automation Domain

2011 ◽  
Vol 2 (2) ◽  
pp. 22-41
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Software ◽  
Combinatorial Design ◽  
Software Systems ◽  
Development Effort ◽  
Industrial Case Study ◽  
Model Based ◽  
Model Based Testing ◽  
Configurable System ◽  
Parameter Values

This article reports the results of an industrial case study demonstrating the efficacy of a model-based testing process in assuring the quality of highly configurable systems from the automation domain. Escalating demand for flexibility has made modern embedded software systems highly configurable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can account for significant changes in the system’s behavior, whereas in other cases, changed parameters may not result in any perceivable reaction. This case study addresses the challenge of applying model-based testing to configurable embedded software systems to reduce development effort. As a result of the case study, a model-based testing process was developed and tailored toward the needs of the automation domain. This process integrates existing model-based testing methods and tools, such as combinatorial design and constraint processing. The testing process was applied as part of the case study and analyzed in terms of its actual saving potentials, which reduced the testing effort by more than a third.

Model-Based Testing of Highly Configurable Embedded Systems

2014 ◽  
pp. 234-261
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Case Studies ◽  
Embedded Software ◽  
Product Line ◽  
Combinatorial Design ◽  
Feature Model ◽  
Software Systems ◽  
Model Based ◽  
Model Based Testing

This chapter reports the results of a cycle computer case study and a previously conducted industrial case study from the automation domain. The key result is a model-based testing process for highly configurable embedded systems. The initial version of the testing process was built upon parameterizeable systems. The cycle computer case study adds the configuration using the product line concept and a feature model to store the parameterizable data. Thus, parameters and their constraints can be managed in a very structured way. Escalating demand for flexibility has made modern embedded software systems highly adjustable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can often account for significant changes in the system's behavior, whereas in some other cases, changed parameters may not result in any perceivable reaction. The case studies address the challenge of applying model-based testing to configurable embedded software systems in order to reduce development effort. As a result of the case studies, a model-based testing process was developed. This process integrates existing model-based testing methods and tools such as combinatorial design and constraint processing as well as the product line engineering approach. The testing process was applied as part of the case studies and analyzed in terms of its actual saving potentials, which turned out to reduce the testing effort by more than a third.

Model-Based Testing of Highly Configurable Embedded Systems

2017 ◽  
pp. 557-584
Author(s):  
Detlef Streitferdt ◽  
Florian Kantz ◽  
Philipp Nenninger ◽  
Thomas Ruschival ◽  
Holger Kaul ◽  
...  
Keyword(s):  
Embedded Systems ◽  
Case Studies ◽  
Embedded Software ◽  
Product Line ◽  
Combinatorial Design ◽  
Feature Model ◽  
Software Systems ◽  
Model Based ◽  
Model Based Testing

This chapter reports the results of a cycle computer case study and a previously conducted industrial case study from the automation domain. The key result is a model-based testing process for highly configurable embedded systems. The initial version of the testing process was built upon parameterizeable systems. The cycle computer case study adds the configuration using the product line concept and a feature model to store the parameterizable data. Thus, parameters and their constraints can be managed in a very structured way. Escalating demand for flexibility has made modern embedded software systems highly adjustable. This configurability is often realized through parameters and a highly configurable system possesses a handful of those. Small changes in parameter values can often account for significant changes in the system's behavior, whereas in some other cases, changed parameters may not result in any perceivable reaction. The case studies address the challenge of applying model-based testing to configurable embedded software systems in order to reduce development effort. As a result of the case studies, a model-based testing process was developed. This process integrates existing model-based testing methods and tools such as combinatorial design and constraint processing as well as the product line engineering approach. The testing process was applied as part of the case studies and analyzed in terms of its actual saving potentials, which turned out to reduce the testing effort by more than a third.

Model Pemasaran Usaha Mikro Kecil Dan Menengah (Umkm) Berbasis Online Dalam Mendukung Pariwisata

2017 ◽  
Vol 17 (1) ◽  
pp. 66
Author(s):  
Muhammad Tajuddin ◽  
Abdul Manan
Keyword(s):  
Information Technology ◽  
Small And Medium Enterprises ◽  
System Development ◽  
Internet Technology ◽  
Raw Material ◽  
Integrated Marketing ◽  
International Scope ◽  
Data Base Design ◽  
The Media ◽  
Medium Enterprises

West Nusa Tenggara ’NTB’ is a region of the golden triangle stripe of tourism destination located between Komodo island and Tana Toraja. As the industry backing for small and middle scale businesses getting grow up and have got governmental supporting since economical crises hit Indonesia at the end 1997. In fact, many of those who have not yet optimize the information technology (IT) in running their business. The approach to meet the Small and Medium Enterprises (SMEs) with the proper customer or to find the proper raw material seller is through the media.  Development of internet technology is so rapid, it is a necessity of SMEs using it as a business communications medium, because Internet utility for e-commerce complement has long been developed in both national and international scope.  Furthermore, the research elaborates the integrated e-commerce model and SMEs as an information technology-based model of integrated marketing strategy besides, software creation and its implementation on SMEs in Mataram municipality.  E-commerce and SMEs were designed to use System Development Life Cycle (SDLC) concerning the safety sistem, flowcart diagram and data base design aspects.

SAT Revisited — A Critical Post-Examination of the Systems Approach to Training

1975 ◽  
Vol 19 (2) ◽  
pp. 271-273
Author(s):  
Robert C. Sugarman ◽  
Steven L. Johnson ◽  
William M. Hinton ◽  
Chester C. Buckenmaier
Keyword(s):  
Developmental Stages ◽  
Systems Approach ◽  
Selection Process ◽  
System Development ◽  
Instructional System ◽  
Society Meeting ◽  
System A ◽  
Instructional System Development ◽  
The Media ◽  
Training Community

A unique application of the Systems Approach to Training (SAT) was carried out for the design of the B-1 aircrew instructional system. A preliminary report was presented at the 1975 Human Factors Society Meeting by Johnson, et aI, (1974) and Sugarman, et aI, (1974). Based on the additional experience, this presentation will share with the training community a look at some of the strengths and weaknesses of the SAT process. The particular application provided a harsh test of the process since the B-1 air vehicle is still in the developmental stages. This resulted in many opportunities to be faced with missing or incomplete data whose criticality to the analysis became more than apparent. The genral state-of-knowledge within Instructional System Development (ISD) itself is incomplete, which also became apparent when applying a highly structured (i.e., internally consistent and documented) SAT process. The major strength of the SAT process is the capability it provides for the justification of many decisions that were hitherto prone to hand-waving. This particular strength comes from the internal documentation for each decision process which is an important feature of SAT. The adequacy of the assumptions underlying the decision processes then becomes subject to scrutiny. The power of the documentation is enhanced by the use of computer aids in data management and economic analysis which facilitate the documentation. Within the present paper, problem areas which weaken the SAT process are also discussed. These include the data bases for the task analysis and economic/policy data, the media selection process, and the development of instructional strategies.

scholarly journals An Implementation of Location Based Service (LBS) for Community Tracking

2017 ◽  
Vol 8 (2) ◽  
pp. 69
Author(s):  
Budi Yulianto ◽  
Rita Layona
Keyword(s):  
Global Position System ◽  
System Development ◽  
Planning System ◽  
Parental Supervision ◽  
Design Development ◽  
Location Based Service ◽  
Application Development ◽  
Rapid Application Development ◽  
Missing Children ◽  
The Media

The case of lost or missing children when people go traveling or in the hustle often occurs due to lack of parental supervision. These problems can be solved using Global Position System (GPS)-based navigation technology Location Based Service (LBS). This research aimed to determine the position of members of the community (such as family) who were lost or missing by using mobile devices. Rapid Application Development (RAD) was used for system development, which comprised the step of requirement or planning, system design, development, and cutover. The result of this research is a GPS-based application that is able to display the position of members of the community, the route to the location, and the media discussion (comments). The conclusions show that the application provides an easy and useful function in finding the location of the community member, displays the route to the location, and allows the interaction in the form of communication.

Measuring the Progress of a System Development

2014 ◽  
pp. 1415-1439
Author(s):  
Marta (Plaska) Olszewska ◽  
Marina Waldén
Keyword(s):  
Formal Methods ◽  
Design Process ◽  
Formal Specification ◽  
System Development ◽  
Structural Complexity ◽  
Software Systems ◽  
System Construction ◽  
Design Decisions ◽  
And Control

For most of the developers and managers, the structure and the behaviour of software systems represented in a graphical manner is more understandable than a formal specification of a system or than plain code. Our previous work combined the intuitiveness of UML with the development rigour brought by formal methods and created progress diagrams. In progress diagrams, the design decisions within a system refinement chain are assisted by the application of patterns and illustrated in a comprehensible and compact manner. In order to rigorously assess and control the design process, we need to thoroughly monitor it. In this chapter we show how the application of generic refinement patterns is reflected in measurements. We establish measures for the evaluation of the design progress of the system, where the progress diagrams are assessed from the size and structural complexity perspective. Our motivation is to support the system developers and managers in making the design decisions that regard the system construction.

Sign in / Sign up

Export Citation Format

Share Document