scholarly journals Real-Time Extended Interface Automata for Software Testing Cases Generation

2014 ◽  
Vol 2014 ◽  
pp. 1-12 ◽  
Author(s):  
Shunkun Yang ◽  
Jiaqi Xu ◽  
Tianlong Man ◽  
Bin Liu

Testing and verification of the interface between software components are particularly important due to the large number of complex interactions, which requires the traditional modeling languages to overcome the existing shortcomings in the aspects of temporal information description and software testing input controlling. This paper presents the real-time extended interface automata (RTEIA) which adds clearer and more detailed temporal information description by the application of time words. We also establish the input interface automaton for every input in order to solve the problems of input controlling and interface covering nimbly when applied in the software testing field. Detailed definitions of the RTEIA and the testing cases generation algorithm are provided in this paper. The feasibility and efficiency of this method have been verified in the testing of one real aircraft braking system.

2010 ◽  
Vol 143-144 ◽  
pp. 152-155
Author(s):  
Yong Feng Yin ◽  
Bin Liu ◽  
Hong Ying Ni

At present, the automated real-time embedded software testing is a hot topic. Automated testing is essentially based on user programming and how to build test script quickly and effectively is one of the key problems to be resolved. In this paper, the object-oriented and framework technologies are introduced into the real-time embedded software testing field and the real-time testing object framework (RT-TOF) is studied firstly. And then, the test script generation process based on RT-TOF is proposed. Furthermore, the design of RT-TOF is put forward. Finally, the test script sample of the avionics embedded software system testing is given. Practical application of RT-TOF in engineering shows that the method proposed in this paper can improve the efficiency of automated testing greatly and the test script based on RT-TOF has better maintainability and reusability.


2020 ◽  
Author(s):  
Yongtao Zhao ◽  
Yiyong Yang ◽  
Xiuheng Wu ◽  
Xingjun Tao

Abstract Accurate pressure control and fast dynamic response are vital to the pneumatic electric braking system (PEBS) for that commercial vehicles require higher regulation precision of braking force on four wheels when braking force distribution is carried out under some conditions. Due to the lagging information acquisition, most feedback-based control algorithms are difficult to further improve the dynamic response of PEBS. Meanwhile, feedforward-based control algorithms like predictive control perform well in improving dynamic performance. but because of the large amount of computation and complexity of this kind of control algorithm, it cannot be applied in real-time on single-chip microcomputer, and it is still in the stage of theoretical research at present. To address this issue and for the sake of engineering reliability, this article presents a logic threshold control scheme combining analogous model predictive control (AMPC) and proportional control. In addition, an experimental device for real-time measuring PEBS multi-dynamic parameters is built. After correcting the key parameters, the precise model is determined and the influence of switching solenoid valve on its dynamic response characteristics is studied. For the control scheme, numerical and physical validation are executed to demonstrate the feasibility of the strategy and for the performance of the controller design. The experimental results show that the dynamic model of PEBS can accurately reflect its pressure characteristics. Furthermore, under different air source pressures, the designed controller can stably control the pressure output of PEBS and ensure that the error is within 8KPa. Compared with the traditional control algorithm, the rapidity is improved by 32.5%.


Author(s):  
Miguel Simonet

This chapter provides a selective overview of recent research on the phonetics and phonology of bilingualism. The central idea put forth in the chapter is that, in bilingualism and second-language learning, cross-language categories are involved in complex interactions that can take many forms, including assimilations and dissimilations. The sound categories of the two languages of a bilingual seem to coexist in a common representational network and appear to be activated simultaneously in the processing of speech in real time, but some degree of specificity is attested. The chapter then goes on to explore some of the characteristics of cross-language sound interactions, including the fact that these interactions are pliable and appear to be mediated by the structure of the lexicon.


2017 ◽  
Vol 30 (4) ◽  
pp. 927-945 ◽  
Author(s):  
Deepti Mishra ◽  
Sofiya Ostrovska ◽  
Tuna Hacaloglu

Purpose Testing is one of the indispensable activities in software development and is being adopted as an independent course by software engineering (SE) departments at universities worldwide. The purpose of this paper is to carry out an investigation of the performance of learners about testing, given the tendencies in the industry and motivation caused by the unavailability of similar studies in software testing field. Design/methodology/approach This study is based on the data collected over three years (between 2012 and 2014) from students taking the software testing course. The course is included in the second year of undergraduate curriculum for the bachelor of engineering (SE). Findings It has been observed that, from the performance perspective, automated testing outperforms structural and functional testing techniques, and that a strong correlation exists among these three approaches. Moreover, a strong programming background does help toward further success in structural and automated testing, but has no effect on functional testing. The results of different teaching styles within the course are also presented together with an analysis exploring the relationship between students’ gender and success in the software testing course, revealing that there is no difference in terms of performance between male and female students in the course. Moreover, it is advisable to introduce teaching concepts one at a time because students find it difficult to grasp the ideas otherwise. Research limitations/implications These findings are based on the analysis conducted using three years of data collected while teaching a course in testing. Obviously, there are some limitations to this study. For example, student’s strength in programming is calculated using the score of C programming courses taken in previous year/semester. Such scores may not reflect their current level of programming knowledge. Furthermore, attempt was made to ensure that the exercises given for different testing techniques have similar difficulty level to guarantee that the difference in success between these testing techniques is due to the inherent complexity of the technique itself and not because of different exercises. Still, there is small probability that a certain degree of change in success may be due to the difference in the difficulty levels of the exercises. As such, it is obviously premature to consider the present results as final since there is a lack of similar type of studies, with which the authors can compare the results. Therefore, more work needs to be done in different settings to draw sound conclusions in this respect. Originality/value Although there are few studies (see e.g. Chan et al., 2005; Garousi and Zhi, 2013; Ng et al., 2004) exploring the preference of testers over distinct software testing techniques in the industry, there appears to be no paper comparing the preferences and performances of learners in terms of different testing techniques.


Sign in / Sign up

Export Citation Format

Share Document