Software Quality is Not a Coincidence: A Model-Based Test Case Generator

Author(s):  
Thomas Hermes ◽  
Axel Schultze ◽  
Oliver Predelli
2014 ◽  
Vol 513-517 ◽  
pp. 1621-1624
Author(s):  
Zhi Jian Diao

with the computer technology development, software expands the application layer and shows the multiple characteristics of requirement. In recent years, the summarized scale of software system obtains the development and the development technology becomes complicated. Under this condition, software quality receives more attention. The accepted route can distinct the software quality level. Moreover, the created relative use cases will promote the test. Therefore, develop the test automatic layer can decrease the test cost, increase the software summarization quality. We can explore the test case, create the schema, and build the available model.


Author(s):  
TAGHI M. KHOSHGOFTAAR ◽  
EDWARD B. ALLEN ◽  
ARCHANA NAIK ◽  
WENDELL D. JONES ◽  
JOHN P. HUDEPOHL

High software reliability is an important attribute of high-assurance systems. Software quality models yield timely predictions of quality indicators on a module-by-module basis, enabling one to focus on finding faults early in development. This paper introduces the Classification And Regression Trees (CART) a algorithm to practitioners in high-assurance systems engineering. This paper presents practical lessons learned on building classification trees for software quality modeling, including an innovative way to control the balance between misclassification rates. A case study of a very large telecommunications system used CART to build software quality models. The models predicted whether or not modules would have faults discovered by customers, based on various sets of software product and process metrics as independent variables. We found that a model based on two software product metrics had comparable accuracy to a model based on forty product and process metrics.


2018 ◽  
Vol 26 (4) ◽  
pp. 1451-1482 ◽  
Author(s):  
João Felipe S. Ouriques ◽  
Emanuela G. Cartaxo ◽  
Patrícia D. L. Machado

2018 ◽  
Vol 2018 ◽  
pp. 1-14
Author(s):  
Paulo Diego Barbosa da Silva ◽  
Ana Maria Ambrosio ◽  
Emilia Villani

Operational simulators have a fundamental role in space programs. During a satellite operation, these simulators are essential for validating critical manoeuvres, testing new on-board software versions, and supporting the diagnosis of anomalies. With the purpose of reusing the operational simulators, the Brazilian National Institute for Space Research has proposed a new standard for the specification of the components that must be integrated in their in-house developed simulators. The new standard describes the behaviour of satellite subsystems using cause-effect tables that relate telecommands, electrical switches, equipment working states, energy consumption, telemetries, and operating modes of the subsystem. Using this new standard as input, this work proposes an approach that merges model-based testing and model checking to verify the correct implementation of new components in the satellite simulator. The verification approach consists of extracting state machines from the cause-effect tables and used it to automatically derive a test case suite. In order to validate the proposal, we applied it to three different satellite subsystems and assessed the results obtained from the test campaigns. In all the three cases, the proposed approach identified errors in the simulator components that were not initially detected by the traditional testing approach used at the Brazilian National Institute for Space Research.


Sign in / Sign up

Export Citation Format

Share Document