|
1
|
嵌入式软件模糊测试研究综述 |
孙琪明
侯刚
靳文杰
黄晨
孔维强
|
《计算机科学》
北大核心
|
2025 |
0 |
|
|
2
|
轻量级嵌入式软件自动化测试框架设计 |
陈建
沈亚峰
张谊
|
《计算机工程与设计》
北大核心
|
2024 |
3
|
|
|
3
|
基于马尔科夫链的构件化嵌入式软件能耗估算模型 |
熊冰
郭兵
沈艳
王继禾
伍元胜
刘云本
|
《小型微型计算机系统》
CSCD
北大核心
|
2012 |
7
|
|
|
4
|
嵌入式软件平台的构件化模型研究 |
古幼鹏
桑楠
熊光泽
|
《计算机科学》
CSCD
北大核心
|
2005 |
3
|
|
|
5
|
嵌入式软件可靠性仿真测试系统研究 |
刘斌
高小鹏
陆民燕
阮镰
|
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
|
2000 |
46
|
|
|
6
|
嵌入式软件体系结构级能耗建模方法 |
刘啸滨
郭兵
沈艳
熊冰
王继禾
伍元胜
刘云本
|
《软件学报》
EI
CSCD
北大核心
|
2012 |
23
|
|
|
7
|
实时嵌入式软件的测试技术 |
孙昌爱
靳若明
刘超
金茂忠
|
《小型微型计算机系统》
EI
CSCD
北大核心
|
2000 |
30
|
|
|
8
|
嵌入式软件智能合成框架及关键科学问题 |
杨孟飞
顾斌
段振华
金芝
詹乃军
董云卫
田聪
李戈
董晓刚
李晓锋
|
《中国空间科学技术》
CSCD
北大核心
|
2022 |
15
|
|
|
9
|
基于Python的实时嵌入式软件测试脚本 |
蒋崇武
刘斌
王轶辰
胡璇
|
《计算机工程》
CAS
CSCD
北大核心
|
2009 |
20
|
|
|
10
|
嵌入式软件仿真开发系统的研究 |
陈定君
郭晓东
张应辉
余克清
刘积仁
|
《电子学报》
EI
CAS
CSCD
北大核心
|
2000 |
16
|
|
|
11
|
嵌入式软件中断系统资源冲突检测技术研究 |
杨芳
齐璇
董丽
叶东升
|
《计算机工程与设计》
CSCD
北大核心
|
2010 |
13
|
|
|
12
|
基于ARM处理器的嵌入式软件能耗统计模型 |
刘啸滨
郭兵
沈艳
朱建
王继禾
伍元胜
|
《电子科技大学学报》
EI
CAS
CSCD
北大核心
|
2012 |
11
|
|
|
13
|
汇编嵌入式软件程序流程图自动生成的研究 |
汪文勇
王学东
向渝
唐科
刘利枚
|
《计算机科学》
CSCD
北大核心
|
2005 |
9
|
|
|
14
|
星载嵌入式软件测试过程模型的研究 |
陈佳豫
邢忠宝
刘金国
孔德柱
徐东
|
《光学精密工程》
EI
CAS
CSCD
北大核心
|
2008 |
8
|
|
|
15
|
基于UML实时扩展的嵌入式软件测试用例生成技术 |
殷永峰
郑本焘
陆民燕
倪红英
|
《系统工程与电子技术》
EI
CSCD
北大核心
|
2011 |
11
|
|
|
16
|
嵌入式软件建模、实现与验证:研究与进展 |
胡军
张岩
于笑丰
王林章
李宣东
郑国梁
|
《计算机科学》
CSCD
北大核心
|
2005 |
10
|
|
|
17
|
可组合嵌入式软件建模与验证技术研究综述 |
王博
白晓颖
贺飞
Xiaoyu SONG
|
《软件学报》
EI
CSCD
北大核心
|
2014 |
18
|
|
|
18
|
面向嵌入式软件测试的仿真建模 |
蒋崇武
杨顺昆
刘斌
|
《计算机工程》
CAS
CSCD
北大核心
|
2008 |
17
|
|
|
19
|
嵌入式软件虚拟化测试技术标准框架研究 |
曲明成
崔乃刚
吴翔虎
陶永超
|
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
|
2017 |
12
|
|
|
20
|
基于需求的航空嵌入式软件测试技术研究 |
张义德
王国庆
杨平
张臻鉴
|
《计算机工程与设计》
CSCD
|
2002 |
11
|
|
