Mani Padmanabhan

Bio: Mani Padmanabhan is an academic researcher from VIT University. The author has contributed to research in topics: Test case & Block diagram. The author has an hindex of 1, co-authored 4 publications receiving 5 citations.

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

Abstract: Software testing of the real-time system (RTS) software based on specification diagram has a necessary sequence of parallel events for generation of test cases. In the model-based test case generation for RTS both automated and manual is limited in techniques as some situations inadvertently forget the simulation events. Many meta-heuristic techniques have solved the problem in RTS test cases generation. However, the technique seems to have much more focus on the optimum solution. 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. The proposed method applies for automated test case generation tool aims at validating the executable code and covers the systems behaviours in an optimized manner. The methodology is tested with three different RTS software such as client-server based real-time transaction, embedded based real-time sequence and sensor based real –time events. This proposed approach, based on the executable test cases, dynamically increases the productivity of the real-time

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

Abstract: The development of the Internet provides opportunities for new types of communications between virtual assistant and human. The technology which is mainly used in the communications is chatbot. A chatbot is a simulated computer program that enabled human conversation by the Internet. The virtual assistant is currently used for a variety of purposes. The chatbot database flow is the important activity for the development of software for the virtual assistant. The process of chatbot testing is based on the well-formalized test cases. The test cases are based on the chatbot trace in the database. Trace path identification during the development of the chatbot software is the challenging process. This paper presents the methodology to identify the test cases for virtual assistant using chatbot database flow-oriented specification. Chatbot database flow is one of the few specification languages supporting for formal description into an applied specification. The database specification divided into several of specification trace using the proposed algorithm. Finally, the chatbot intent trace has provided the path for software test case generation. The experiments show trace path-based test cases that have yielded the effective coverage criteria in the chatbot software development.

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

Abstract: Automated testing techniques for software design specification include model-based approaches that generate test cases from a coding or state machine model of the interface, capture-replay methods that require the user to specify and demonstrate each test case individually, and modelling-language approaches that provide templates for abstract test cases. In this paper elucidates a method for automatic software analysis testing for IoT service. Nowadays real-time IoT software is used to satisfy the needs and functions of a user and it is assisted in this by the hardware. Software testing is generally used to detect bugs and errors and eliminate them to produce a high quality, reliable software. The automated testing depends on the kind of approach taken. This testing may be poorly implemented which results in a low quality software or it may be effectively implemented which results in a high quality software. Automated IoT software testing can decrease time and cost. When these techniques are identified, the cost and time can be reduced. The automated testing is based on three steps such as analyzing the test case, test execution and log analyzer. These steps provide user friendly software with high standard. The automated process provides test reusability and repeatability and saves the test coverage cost and time. In this paper compare 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.

Test Path Identification for Internet of Things using Transaction Based Specification

Abstract: The Internet of Things (IoT) is becoming a valuable strength for establishing various domains such as smart cities, smart homes, and smart factories, health care, transportation, disaster management, smart grid and smart cars in the current digital word. Interrelating different sensor and physical nodes are revealing them as a service is a complex which is even more challenging for effective software testing. IoT-based services vary from web services testing since they usually interact with the physical environment via sensor. The problem during the software testing of IoT physical and virtual nodes is how to apply Model-Based Testing (MBT) approaches for enabling scalable and efficient test results. This paper introduces a novel test path identification framework to facilitate functional evaluation of IoT. The quality software services has been enhanced through the verification and validation methodologies. The proposed path identification approach with regard to validate the IoT software services and experiments shows that the proposed approaches can enhance the effective path coverage for IoT software testing.

Validation of automated test cases with specification path

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...

Generation of Test Cases from UML Diagrams - A Systematic Literature Review

Abstract: Model-Based testing (MBT) is a technique to derive test cases from models of the system under test (SUT), and the UML is the leading and de-facto standard language for system models both in industry and academia. This paper describes the results of a general systematic literature review (SLR) on the topic of generating test cases based on UML diagrams. By using selection and exclusion criteria, 62 primary studies were chosen from 443 identified publications, which ranged from 1999 to 2019. This study analysed the approaches and outcomes of the reviewed papers. The analysis is mainly focused on the model type, intermediate formats used and coverage criteria. Based on the review results, research trends and deficiencies are identified, and future works are proposed.

Model-Based Quality Assessment of Internet of Things Software Applications: A Systematic Mapping Study

Abstract: The Internet of things (IoT) is growing at a fast pace owing to its vast applications in varied fields such as medicine, society, economy, and even the military This growth cannot continue without establishing high quality Over the past decade, interest in research for the quality assurance of IoT has gradually grown However, the discipline is still evolving, and further research is required to investigate the various quality-related aspects Although assessing the entire system is impractical, to assure the quality of IoT applications, various assessment levels are required A well-known and established approach to mitigate this difficulty is to model the entire system or a few parts of it for the sake of assessment, which is known as model-based testing To determine what has been achieved thus far and what is lacking in this direction, this paper presents an extensive study on the use of the model-based approach to assure the quality of IoT applications The study systematically reviews papers published from 2009 (early publications on IoT) to 2019 that reported the explicit use of models to assess the quality aspects of IoT applications As a result of an extensive search process, the paper presents the results of scanning and reviewing 390 published papers Thus far, out of these, 54 studies used the model-based approach to assess at least one quality aspect of an IoT application In addition to the several relevant research questions that have been addressed in this study, this paper also presents several new insights and approaches for future research

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

Abstract: Automated testing techniques for software design specification include model-based approaches that generate test cases from a coding or state machine model of the interface, capture-replay methods that require the user to specify and demonstrate each test case individually, and modelling-language approaches that provide templates for abstract test cases. In this paper elucidates a method for automatic software analysis testing for IoT service. Nowadays real-time IoT software is used to satisfy the needs and functions of a user and it is assisted in this by the hardware. Software testing is generally used to detect bugs and errors and eliminate them to produce a high quality, reliable software. The automated testing depends on the kind of approach taken. This testing may be poorly implemented which results in a low quality software or it may be effectively implemented which results in a high quality software. Automated IoT software testing can decrease time and cost. When these techniques are identified, the cost and time can be reduced. The automated testing is based on three steps such as analyzing the test case, test execution and log analyzer. These steps provide user friendly software with high standard. The automated process provides test reusability and repeatability and saves the test coverage cost and time. In this paper compare 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.

Test Path Identification for Internet of Things using Transaction Based Specification

Abstract: The Internet of Things (IoT) is becoming a valuable strength for establishing various domains such as smart cities, smart homes, and smart factories, health care, transportation, disaster management, smart grid and smart cars in the current digital word. Interrelating different sensor and physical nodes are revealing them as a service is a complex which is even more challenging for effective software testing. IoT-based services vary from web services testing since they usually interact with the physical environment via sensor. The problem during the software testing of IoT physical and virtual nodes is how to apply Model-Based Testing (MBT) approaches for enabling scalable and efficient test results. This paper introduces a novel test path identification framework to facilitate functional evaluation of IoT. The quality software services has been enhanced through the verification and validation methodologies. The proposed path identification approach with regard to validate the IoT software services and experiments shows that the proposed approaches can enhance the effective path coverage for IoT software testing.