[1]刘斌,高小鹏,陆民燕,等.嵌入式软件可靠性仿真测试系统研究[J].北京航空航天大学学报,2000,26(4):490493
Liu B,Gao X P,Lu M Y,et al. Study on reliablility simulation testing system for embedded software[J].Journal of Beijing University of Aeronautics and Astronautics,2000,26(4):490493
[2]贺红卫. 全数字仿真环境技术及其在航天软件测试中的应用[C].软件测试学术交流会,黄山,2005
He H W. Alldigital simulation environment technology and its application in aerospace software testing[C].Software Testing Symposium,Huangshan,2005
[3]张世琨,张文娟,常欣,等.基于软件体系结构的可复用构件制作和组装[J].软件学报,2001,12(9):13511359
Zhang S K,Zhang W J,Chang X,et al. Building and assembling reusable components based on software architecture[J].Journal of Software,2001,12(9):13511359
[4]Chang C K,Kim S.A petrinet based specification method for architectural components[C].The 23rd Annual International Computer Software and Application Conference,Phoenix USA,1999