scispace - formally typeset
Journal ArticleDOI

Validation of automated test cases with specification path

P Mani, +1 more
- 16 Nov 2017 - 
- Vol. 20, Iss: 4, pp 535-542
TLDR
This paper presents a method for validation of automated test cases using specification path of embedded system and accessible the proposed method with examples of real-time embedded system software.
Abstract
Software development life cycle (SDLC) contains different phases. Software testing life cycle (STLC) has to be spent more time and cost during the development of embedded system software. Test case...

read more

Citations
More filters
Journal ArticleDOI

Software maintainability prediction using an enhanced random forest algorithm

TL;DR: Enhanced- RFA performs significantly better than RFA for both the datasets with an improvement in R2 values equal to 69.57% for QUES and 31.81% for UIMS using chisquared, RF and linear correlation filter techniques respectively.
Journal ArticleDOI

Ontology-Based Regression Testing: A Systematic Literature Review

TL;DR: The safety of critical systems is a possible future research direction to prevent human life risks and seven challenges to ontology-driven regression testing approaches are reported in the selected studies.
Journal ArticleDOI

Object based learning using multi-dimensional games

TL;DR: This research shows that multi-dimensional game based learning help software learners to enhance their knowledge, enhance project quality and output in all software process.
Book ChapterDOI

Test Path Identification for Virtual Assistants Based on a Chatbot Flow Specifications

TL;DR: In this article, the authors present a methodology to identify the test cases for virtual assistant using chatbot database flow-oriented specification, which is one of the few specification languages supporting for formal description into an applied specification.
Proceedings ArticleDOI

A Study on Transaction Specification based Software Testing for Internet of Things

TL;DR: The automated software testing for IoT transactions and system peripherals such as sensor, DMA controller, internal counters, physical layer, and virtual layer using IoT specification based software testing is compared.
References
More filters
Journal ArticleDOI

Challenge of validation in requirements engineering

TL;DR: This paper will review the evolution of validation techniques and their current status in Requirements Engineering by answering the following questions: What validate?
Journal ArticleDOI

Efficient test case generation for validation of UML activity diagrams

TL;DR: This article presents a methodology for automatically generating test cases based on various model checking techniques to enable efficient test case generation and proposes coverage-driven mapping rules that can automatically translate activity diagram to formal models.
Journal ArticleDOI

Availability Modelling of Fault Tolerant Cloud Computing System

TL;DR: The key target of this paper is to show how the Markov-based model can fulfil the client request and a few scenarios of the failure rate of virtual machine's practices, for example, single system failure, multiple system failures, power outage are considered by applying theMarkov model.
Proceedings Article

Design and development of an intelligent agent based framework for predictive analytics

TL;DR: An overview of how intelligent and autonomous software agents will become the most important tools in coming days for building predictive models is given.
Journal ArticleDOI

Test Case Generation for Real-Time System Software Using Specification Diagram

TL;DR: This paper presents a methodology based on timed input-output event of specification diagram that supports a wide range of possible test cases for RTS application software and dynamically increases the productivity of the real-time software.