The Name of the Class (Course)
The Name of the School (University)
The City and State
Development of Platform Independent Testing
Introduction
Model Driven Developments (MDD) is commonly used in airports (Amman & Outt, 2008; Cavarra, Crichton & Davies, 2004). Its main function is to specify the type of software used in safety-critical systems. Model Driven developments are commonly used in the verification of software. MDD does not have the ability to deal with model coverage analysis (Nebut et al., 2006; Memon & Xie, 2005). The platform model driven developments uses in validation involve several platforms that require movement of systems. Movement of systems takes time because in each platform the procedure of testing has to start all over again (Harman et al., 2004). Therefore, there is a need to come up with an independent platform that will cover processes all the way to implementation. The technique must also reduce time wastage.
Problem Statement
MDA has different modeling environments. Most of these modeling environments focus on functional testing. Use of functional testing makes it possible to authenticate design models contrary to their plan. Verification is commonly performed through model simulation. However, when coming up with safety critical software, there are requirements that should be availed. These requirements are used to show that test carried out covers the scope it was required: this scope is implementation. Set of test begins by changing design model into a coding system. Codes are put together to collect data. These data is then used for structural cover analysis.
Following these, procedure means that testing changes to the platform dependent. When testing becomes platform dependent, systems, have to be moved from one platform to another. Moving of the system from one platform to another takes time. This is because in each platform the process must begin again. In order to meet objectives of Model Driven Development new techniques need to be established. These techniques must be platform independent. It must also cover a large portion of the implementation.
Significance of Problem
Research study can give information on the techniques that can be used in the verification of Model Driven Development. These techniques are able to revolutionize avionics in a great manner. Moreover, findings from this study can be used to change policies that are related to platform testing and verification process in engineering. Furthermore, the study can also provide a review on Model Driven Development. The study will also assist engineers learn more on model-driven development software.
Literature Review
Few studies have been carried out on analysis of fUML models. Research carried out by Lazar et al. has made studies on this subject easy. The studies brought about concepts that will assist researchers of fUML models explore this subject more. Lazar et al. (2009) brought about an extensive definition of ComDeValCo framework. Lazar (2011) further did a study on the framework. His study revealed that ComDeValCo framework could be extended.
According to Hassan (2010), tests cases can be developed for an independent platform. This research employed the use of case models to come up with these platforms. Briand et al. (2002) has also carried out a study related to Hassan’s research. The research advocated the use of sequence diagrams to showcase scenarios. Moreover, the research established different test information and requirements. Byun (2013) has done a study on the use of model-driven development in mobile testing. According to this research, trade-off must be used in order to carry out effective testing modern, driven development. Mistakes are easily detected when platform is dependent. Therefore, there is a need to come up with an independent platform that will validate all the way to implementation. According to Heckel and Lohmann (2003), Model-driven architecture can be used as a strategy in verification. The study reveals that a model-driven architecture performs the duties of interoperability between diverse middleware platforms. Therefore, model-driven testing needs the same technology to help in the establishment of cases and oracles. Therefore, as the literature review shows, few researches have been carried out to show models of the independent platform. Most researchers have focused on model-driven testing.
Research Methodology
Qualitative research methodology is used in this research. Qualitative research involves assessing behaviors. Surveys will be carried out in selected avionics industries. Interviews and surveys are the main data collection methods. Interviews will be conducted on software engineers in selected avionics organization. Avionics organization will be selected randomly with the help of Aviation department.
The study will also use literature from various authors. Sources will be sampled based on the topics and date it was written. Main word used in searching literature is platform independent testing. 20 literature reviews will be sampled. After collection of data, analysis will be done using coding. Coding will be done after data has been arranged in topics to create categories.
Tentative Schedule
Bibliography
Ammann, P. & Outt, J. 2008. Introduction to Software Testing. New York: Cambridge University Press.
Harman, M., et al. 2004. Testability transformation. Software Engineering, IEEE Transactions 30(1), pp. 3-16.
Hassan, A.H., & Yousif, Z.E. 2010. Generating Test Cases for Platform Independent Model by Using Use Case Model. International Journal of Engineering Science and Technology, 2(12), pp. 7665-7675
Briand, L.C.; Labiche, Y. 2002. A UML-Based Approach to System Testing. Journal of Software and Systems Modeling, 1(1), pp. 10-42
Nebut, C., et al. 2006. Automatic Test Generation: A Use Case Driven Approach. IEEE Transactions on Software Engineering, 32 (3).
Byun, S. 2013. Applying Model-Driven Techniques to Mobile Testing. International Journal of Software Engineering and Its Applications, 7(2), 245-254
Cavarra, A., Crichton, C and Davies, J. 2004. A Method for the Automatic Generation of Test Suites from Object Models. Information and Software Technology, 46(5), pp. 309-314
Batori, G., & Asztalos, D. 2005. Using TTCN-3 for Testing Platform Independent Models. Lecture Notes in Computer Science, 3502, pp. 304-317
Heckel, R., & Lohmann, M. 2003. Towards Model-Driven Testing. Electronic Notes in Theoretical Computer Science, 82(6), pp. 1-11
Navarro, P.L., Ruiz, D. S., Perez, G.M. 2010. A Proposal for Automatic Testing of GUIs Based on Annotated Use Cases. Advances in Software. http://www.hindawi.com/journals/ase/2010/671284/
Memon, A. and Xie, Q. 2005. Studying the fault-detection effectiveness of GUI test cases for rapidly evolving software. IEEE Transactions on Software Engineering, 31(10), pp. 884–896