CFP last date
20 May 2024
Reseach Article

A Validation Frame Work Design Concept for Mutation based Evaluation of Integrated Performance of Avionics Systems of Unmanned Air Vehicles

by Sudha Rani. S. V., B. Ramadoss
International Journal of Computer Applications
Foundation of Computer Science (FCS), NY, USA
Volume 97 - Number 12
Year of Publication: 2014
Authors: Sudha Rani. S. V., B. Ramadoss
10.5120/17062-7469

Sudha Rani. S. V., B. Ramadoss . A Validation Frame Work Design Concept for Mutation based Evaluation of Integrated Performance of Avionics Systems of Unmanned Air Vehicles. International Journal of Computer Applications. 97, 12 ( July 2014), 37-44. DOI=10.5120/17062-7469

@article{ 10.5120/17062-7469,
author = { Sudha Rani. S. V., B. Ramadoss },
title = { A Validation Frame Work Design Concept for Mutation based Evaluation of Integrated Performance of Avionics Systems of Unmanned Air Vehicles },
journal = { International Journal of Computer Applications },
issue_date = { July 2014 },
volume = { 97 },
number = { 12 },
month = { July },
year = { 2014 },
issn = { 0975-8887 },
pages = { 37-44 },
numpages = {9},
url = { https://ijcaonline.org/archives/volume97/number12/17062-7469/ },
doi = { 10.5120/17062-7469 },
publisher = {Foundation of Computer Science (FCS), NY, USA},
address = {New York, USA}
}
%0 Journal Article
%1 2024-02-06T22:25:00.007274+05:30
%A Sudha Rani. S. V.
%A B. Ramadoss
%T A Validation Frame Work Design Concept for Mutation based Evaluation of Integrated Performance of Avionics Systems of Unmanned Air Vehicles
%J International Journal of Computer Applications
%@ 0975-8887
%V 97
%N 12
%P 37-44
%D 2014
%I Foundation of Computer Science (FCS), NY, USA
Abstract

The Avionics of an Unmanned Air Vehicle comprises of a number of Flight-Critical and Mission-Critical systems and a pilot-vehicle interface with complex real-time performance capabilities. Verification of integrated dynamic performance of such systems in an Avionics Integration Rig is a challenging task in terms of achieving sufficient test adequacy and inclusion of optimization in test case design. As the complexity of the systems increases, generating effective test cases to improve test adequacy and an optimistic way of classification of test case combinations becomes a necessity. This paper proposes a Validation Framework Design for Integrated Evaluation of Avionics Systems in a Rig with the introduction of various classifications of mutant operator models required for Mutation Testing, to achieve both the above factors required for evaluation of an Integrated Avionics System with respect to its System Level Specifications and Functional Performance.

References
  1. Paul Amman, Jeff Offutt. 2008 – "Introduction to Software Testing" Cambridge University Press.
  2. Mathur . P. Aditya. 2008 - "Foundations of Software Testing", Fundamentals Algorithms and Techniques, Pearson Education.
  3. Ashutosh Kumar Jha. 2010 - "Development of Test Automation Framework for Testing Avionics Systems" – 29th Digital Avionics Systems Conference
  4. Fevzi Belli, Mutlu Beyazit. 2010- "A Formal Framework for Mutation Testing" Fourth International Conference on Secure Software Integration and Reliability Improvement.
  5. Robert Nilsson, Jeff Offutt, Sten F. Andler. 2004-"Mutation Based Testing Criteria for Timeliness" –Proceedings of the 28th Annual International Computer Software and Applications Conference (COMPSAC'04).
  6. Robert Nilsson, Jeff Offutt, Jonas Mellin. 2006 – "Test Case Generation for Mutation-based Testing of Timeliness" electronically published in Electronic Notes in Theoretical Computer Science.
  7. Robert Nilsson, Jeff Offutt. 2007 - "Automated Testing of Timeliness: A Case Study" – Second International Workshop on Automation of Software (AST'07).
  8. Marcio E. Delamaro, Jose C. Maldonado, Aditya . P. Mathur. April 1996 - "Integration Testing Using Interface Mutation" Technical Report SERC-TR169-P. Software Engineering Research Centre, Purdue University.
  9. Ying Jiang, Ying-Na Li1, Xiao-Dong Fu. 2010 - Faculty of Information Engineering and Automation "The Support of Interface Specifications in Black-box Components Testing" - Kunming University of Science - Fifth International Conference on Frontier of Computer Science and Technology.
  10. Shan-Shan Hou1,2, Lu Zhang1,2, Tao Xie3, Hong Mei1,2, Jia-Su Sun1. 2007 – "Applying Interface-Contract Mutation in Regression Testing of Component-Based Software" - IEEE.
  11. Tafline Murnane, Associate Professor Karl Reed. 2001 -On the Effectiveness of Mutation Analysis as a Black Box Testing Technique.
  12. Xiaoying Bai, Shufang Lee, Yinong Chen. 2007 - "Mutation-Based Simulation Test Data Generation for Testing Complex Real-Time Software" – Proceedings of the 40th Annual Simulation Symposium(ANSS'07) IEEE.
  13. DeMillo, R. A. 1983 - "Program Mutation: An Approach to Software Testing". Technical report, Georgia Institute of Technology, Atlanta, GA.
  14. Timothy Alan Budd. May 1980 - "Mutation Analysis of Program Test Data". Ph. D dissertation, Yale University.
  15. Mathur . P. Aditya. Presentation during Fall 2007 updated on 23-12-2009.
  16. Budd, T. A. , and A. S. Gopal. 1985 - "Program testing by specification mutation" Computer Languages, 10 (1).
  17. Gordon Fraser and Franz Wotawa. 2006– "Using Model-Checkers for Mutation-Based Test-Case Generation, Coverage Analysis and Specification Analysis" - Proceedings of the International Conference on Software Engineering Advances (ICSEA'06) - IEEE.
  18. Mark Harman, Yue Jia and William B. Langdon. 2010 "A Manifesto for Higher Order Mutation Testing" - Third International Conference on Software Testing, Verification, and Validation Workshops.
  19. Yue Jia, Mark Harman. 2008 - "Constructing Subtle Faults Using Higher Order Mutation Testing" –Eighth IEEE International Working Conference on Source Code Analysis and Manipulation.
Index Terms

Computer Science
Information Sciences

Keywords

Unmanned Air Vehicle Avionics Systems Avionics Integration Rig Ground Control Station Simulators Mutant Operators Line Replaceable Units Test Case Generation Mutation Testing Test Adequacy Mutation Analysis.