1
|
Material Type: Artigo
|
|
Identification method for defect-introducing fine-grained software changes
Yuan, Zi ; Yu, Lili ; Liu, Chao
Journal of Beijing University of Aeronautics and Astronautics, 2014-09, Vol.40 (9), p.1231-1238
[Periódico revisado por pares]
Sem texto completo
|
2
|
Material Type: Artigo
|
|
Embedded software testing technology based on all-digital simulation
Liu, Hui ; Jin, Maozhong
Journal of Beijing University of Aeronautics and Astronautics, 2014-03, Vol.40 (3), p.394-400
[Periódico revisado por pares]
Sem texto completo
|
3
|
Material Type: Artigo
|
|
Dynamic symbolic execution approach based on tabu search
Cai, Jun ; Zou, Peng ; Ma, Jinxin ; He, Jun
Journal of Beijing University of Aeronautics and Astronautics, 2015-12, Vol.41 (12), p.2348-2355
[Periódico revisado por pares]
Sem texto completo
|
4
|
Material Type: Artigo
|
|
Group delay calibration method for GNSS signal simulator channel
Li, Shiguang ; Kou, Yanhong ; Yang, Jun ; Wang, Wei
Journal of Beijing University of Aeronautics and Astronautics, 2015-12, Vol.41 (12), p.2328-2334
[Periódico revisado por pares]
Sem texto completo
|
5
|
Material Type: Artigo
|
|
Dependability oriented avionics embedded software development framework
Niu, Wensheng ; Li, Yahui ; Wu, Ji
Journal of Beijing University of Aeronautics and Astronautics, 2012-12, Vol.38 (12), p.1577-1581
[Periódico revisado por pares]
Sem texto completo
|
6
|
Material Type: Artigo
|
|
Modeling and verification of de-icing software safety requirement based on expanded Petri net
Li, Zhen ; Liu, Bin ; Lu, Minyan ; Yin, Yongfeng
Journal of Beijing University of Aeronautics and Astronautics, 2012-01, Vol.38 (1), p.64-105
[Periódico revisado por pares]
Sem texto completo
|
7
|
Material Type: Artigo
|
|
Software reliability growth model with S-shaped testing effort function
Li, Qiuying ; Li, Haifeng ; Lu, Minyan ; Wang, Xuecheng
Journal of Beijing University of Aeronautics and Astronautics, 2011-02, Vol.37 (2), p.149-160
[Periódico revisado por pares]
Sem texto completo
|
8
|
Material Type: Artigo
|
|
Approach to choose integration testing combination for foundational software platform
Gao, Jing ; Lan, Yuqing ; Jin, Maozhong
Journal of Beijing University of Aeronautics and Astronautics, 2010-03, Vol.36 (3), p.265-269
[Periódico revisado por pares]
Sem texto completo
|
9
|
Material Type: Artigo
|
|
Improvement on ABDOM with normalized and discrete parameters
He, Zhitao ; Yan, Haihua ; Liu, Chao
Journal of Beijing University of Aeronautics and Astronautics, 2012-10, Vol.38 (10), p.1415-1419
[Periódico revisado por pares]
Sem texto completo
|
10
|
Material Type: Artigo
|
|
Accessory gearbox temperature field analysis considering fuel injection lubrication
Chen, Yunxia ; Liu, Wangjia
Journal of Beijing University of Aeronautics and Astronautics, 2015-07, Vol.41 (7), p.1171-1176
[Periódico revisado por pares]
Sem texto completo
|