Research on scenario-event-driven simulation test script language for-safety-critical software system

2010 ◽  
Vol 30 (2) ◽  
pp. 374-379 ◽  
Author(s):  
Gang YU ◽  
Zhong-wei XU ◽  
Jun-wei DU
Author(s):  
Wei-Tek Tsai ◽  
Ray Paul ◽  
Lian Yu ◽  
Xiao Wei

Systems change often, and each change requires reverification and revalidation. Modern software development processes such as agile process even welcome and accommodate frequent software changes. Traditionally, software reverification and revalidation are handled by regression testing. This chapter presents a pattern-oriented scenario-based approach to rapidly reverify and revalidate frequently changed software. Key features of this approach are (1) classifying system scenarios into reusable patterns; (2) application of a formal completeness analysis to identify missing scenarios; (3) identifying scenario patterns (SPs) and corresponding verification patterns (VPs) and robustness patterns (RBPs); (4) rapid test script generation by reusing test script templates. This approach is also compatible with formal approaches such as model checking. This approach has been used at industrial sites to test safety-critical medical devices with significant savings in cost and effort. The chapter presents several examples to illustrate the effectiveness and efficiency of this approach.


2013 ◽  
Vol 409-410 ◽  
pp. 1608-1610
Author(s):  
Hua Dai ◽  
Lu Tie Xu ◽  
Wen Ping Chang

The structure and working principle of the virtual instrument are introduced in this article. The Virtual Instrument (VI) is mainly composed of computer hardware resources, modular instruments and utility software. Software is the core component of simulation test, whose effect is to complete the man-machine conversation and data processing, which will directly affect the detection accuracy and efficiency of detecting instrument.


Sign in / Sign up

Export Citation Format

Share Document