Abstract Model-based testing (MBT) is a method that supports the design and execution of test cases by models specify intended behaviors system under test. While systematic literature reviews on MBT in general exist, state art modeling performance requirements has seen much less attention. Therefore, we conducted mapping study model-based testing. Then, studied natural language software specifi...

An equivalent method from dynamic load to static using the aircraft full finite element model based on structure energy theory is proposed solve problem that fuse pin structures cannot be precisely designed under impact loading. Two groups of material and test are performed verify strength failure mode with load. The experimental analytical results indicate sized can accurately destroyed, simil...