-
题名嵌入式软件的动态测试
被引量:12
- 1
-
-
作者
刘久富
孙德敏
杨忠
张志强
-
机构
合肥中国科学技术大学自动化系
南京南京航空航天大学自动化学院
上海创景计算机系统有限公司
-
出处
《微计算机信息》
北大核心
2006年第01Z期82-84,248,共4页
-
基金
空装重点预研专项资助项目(402050102)
国防科技重点实验室基金资助项目编号:51463030303ZS5204
-
文摘
软件测试是软件质量保证的重要手段。本文构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以求方程根的c程序为例进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果。性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间,以及运行次数。
-
关键词
软件测试
嵌入式软件
软件质量
软件性能分析
-
Keywords
Software testing
embedded software
software quality
software performance analysis
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名无人机飞行控制软件的自修复技术研究
被引量:3
- 2
-
-
作者
刘久富
孙德敏
杨忠
沈春林
-
机构
合肥中国科学技术大学自动化系
南京南京航空航天大学自动化学院
-
出处
《微计算机信息》
北大核心
2006年第02S期196-198,共3页
-
基金
空装重点预研专项资助项目(402050102)
国防科技重点实验室基金资助项目(51463030303ZS5204)
-
文摘
软件产品的质量是设计出来的,并不是测试出来的。本文归纳了无人机飞行控制软件自修复技术的具体研究内容,提出了基于经典过程控制理论与新的软件分层体系结构相结合的无人机飞行控制软件自修复技术研究的解决方法。
-
关键词
自修复软件
软件质量
飞行控制软件
-
Keywords
self-heating software
software quality
flight control software
-
分类号
TP393
[自动化与计算机技术—计算机应用技术]
-
-
题名HT46R47在电热水壶中的应用
被引量:1
- 3
-
-
作者
杨红科
刘春生
-
机构
江苏南京工业职业技术学院机械工程系
江苏南京南京航空航天大学自动化学院
-
出处
《微计算机信息》
2004年第11期77-78,共2页
-
文摘
本文提出了一种以HT46R47单片机为控制芯片,对电热水壶工作进行控制的设计方案,使电热水壶使用更加方便、安全。
-
关键词
HT46R47
温度控制
单片机
-
Keywords
HT46R47
temperature-control
signal-chip processor
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-