Model-based Software Engineering
Download the complete issue
Editorial: Change: The Only Constant
By Praveen B. Malla
Researcher's Prescription: Modeling and Programming with State Variables
By Vamsi Krishna B. and Venkatesh Choppella
Aspects and reactive programming languages do not target software composition using state. The authors explore the possibilities of using state variables in application programming, device drivers and to extend implementations of observer pattern for modeling and programming.
Implementation: Automating Functional Testing using Business Process Flows
By Deepali Kholkar, Nikhil Goenka and Praveen Gupta
Systems are built to support an organization's business processes. Functional testing is required at several stages during the development and maintenance lifecycle via system testing and integration testing. The authors propose a model-based test generation method for creation of a quality functional test suite.
Application: Automatic Test Derivation from an Extended Context Free Grammar Model of Behavior
By P.V.R. Murty
The author proposes modeling the functional behavior of a module using an Extended Context Free Grammar (ECFG) model for test generation purposes. Simple CFG is augmented with guard conditions, variables, actions and test statements to allow a test generator to generate executable tests in any desired programming language.
Model: Test Case Prioritization of Object-Oriented Programs
By Chhabi Rani Panigrahi and Rajib Mall
Regression Test Selection (RTS), Test Suite Minimization (TSM) and Test Case Prioritization (TCP) are techniques used to reduce cost and improve effectiveness of regression testing. However, these techniques ignore implicit dependencies arising due to object relations in object-oriented code. The authors propose a model-based approach to prioritize regression test cases for object-oriented programs.
Methodology: A Novel Methodology for Software Risk Assessment at Architectural Level using UML Diagrams
By Mitrabinda Ray and Durga Prasad Mohapatra
In order to improve the quality of a software product and save cost and time during software development lifecycle (SDLC), the risks associated with a system needs to be analyzed at an early stage. The authors propose an analytical method for reliability-based risk assessment methodology at the architectural level.
Approach: An Approach to Generate Test Input Data from UCAD Models
By Anjaneyulu Pasala, Sharal Nisha D'Souza and Manuel Aráoz
In this paper, the authors propose a comprehensive test data generation approach that can generate test input data for all types of attributes directly obtained from the requirements specifications document. The new approach generates test cases by leveraging constraints and system requirements modeled as structured Use Case Activity Diagram (UCAD).
Research: Modeling as Theory Building: Addressing Knowledge Management Problems in System Engineering
By Tony Clark and Balbir S. Barn
This article analyzes Peter Naur's thesis that program development should be viewed in terms of domain specific theories. The authors develop the thesis further by arguing that both programming and modeling should be based on theory building thereby providing a unifying framework to address current day knowledge management programs.
Expert View: Model-Based Testing: A Broad-brush View
By Padmanabhan Krishnan
The author stresses the need and importance of separate models for development and testing. The aim is to develop a model-driven software development process for test automation that is capable of testing other systems for desired behavior and qualities.
Download the complete issue