TY - GEN
T1 - Research on test requirement modeling for software-intensive avionics and the tool implementation
AU - Meng, Gao
AU - Deming, Zhong
AU - Minyan, Lu
AU - Yongfeng, Yin
PY - 2007
Y1 - 2007
N2 - System-testing is an effective way to improve the quality and reliability of avionic software. Using formalized languages to establish the requirement model is facilitated to increase the automatization degree of system-testing. The quality characteristics of software are demonstrated by system behaviors. UML state chart has formal features, and overcomes drawbacks of the traditional finite state machines, retains the advantages of the finite-state modeling, including the marking of nesting and subsequent states; therefore, state-chart is very suitable for detailed behaviors modeling of real-time software. In this paper, based on object-oriented thinking and using state-chart as the core technology, a modeling method is proposed that is suited to establish the requirement model for software-intensive avionics. The method makes abstraction for avionic system common characters, including data, receiving, sending, scenes, events, conditions and period. Using the requirement model generated from the method, and combining with a certain test case generation strategy, test cases and the surrounding environment simulation models of system under test (SUT) can be automatically generated. As an example, the model for the control function of a missile of an aircraft avionics is established by using the method and the model has succinct, intuitive and user-friendly features. And it is also able to support test data generation for different types of testing. Finally, a brief introduction for the implementation of the test requirement modeling (TRM) tool is made.
AB - System-testing is an effective way to improve the quality and reliability of avionic software. Using formalized languages to establish the requirement model is facilitated to increase the automatization degree of system-testing. The quality characteristics of software are demonstrated by system behaviors. UML state chart has formal features, and overcomes drawbacks of the traditional finite state machines, retains the advantages of the finite-state modeling, including the marking of nesting and subsequent states; therefore, state-chart is very suitable for detailed behaviors modeling of real-time software. In this paper, based on object-oriented thinking and using state-chart as the core technology, a modeling method is proposed that is suited to establish the requirement model for software-intensive avionics. The method makes abstraction for avionic system common characters, including data, receiving, sending, scenes, events, conditions and period. Using the requirement model generated from the method, and combining with a certain test case generation strategy, test cases and the surrounding environment simulation models of system under test (SUT) can be automatically generated. As an example, the model for the control function of a missile of an aircraft avionics is established by using the method and the model has succinct, intuitive and user-friendly features. And it is also able to support test data generation for different types of testing. Finally, a brief introduction for the implementation of the test requirement modeling (TRM) tool is made.
KW - Avionics
KW - Dynamic behaviors
KW - Requirement modeling
KW - State chart
KW - System testing
UR - https://www.scopus.com/pages/publications/48349084700
U2 - 10.1109/DASC.2007.4391962
DO - 10.1109/DASC.2007.4391962
M3 - 会议稿件
AN - SCOPUS:48349084700
SN - 1424411084
SN - 9781424411085
T3 - AIAA/IEEE Digital Avionics Systems Conference - Proceedings
SP - 6D21-6D210
BT - 26th DASC Digital Avionics Systems Conference - 4-Dimensional Trajectory-Based Operaions
T2 - 26th DASC Digital Avionics Systems Conference - 4-Dimensional Trajectory-Based Operaions: Impact on Future Avionics and Systems
Y2 - 21 October 2007 through 25 October 2007
ER -