-
题名基于搜索的Simulink测试数据生成
被引量：1
- 1
-
-
作者
邓绍鹏
杨志义
王宇英
-
机构
西北工业大学计算机学院 陕西省嵌入式系统技术重点实验室
-
出处
《计算机应用研究》
CSCD
北大核心
2012年第7期2527-2530,共4页
-
基金
国家“863”计划资助项目(2011AA010101)
西安市科技计划项目(CXY1008)
-
文摘
为满足基于模型的测试需求,研究了基于搜索的Simulink模型测试数据生成方法。对于严格约束,该方法利用代价函数规则构建目标函数,针对Simulink模型复杂性的特点,采用模拟退火算法对目标函数求优,最终搜索出满足目标约束的测试数据。由此设计了一种综合考虑宽松约束和严格约束的Simulink测试数据生成框架,最后实现了该方法在典型案例的应用。实践证明,该方法快速有效地解决了Simulink模型的测试数据生成问题。
-
关键词
测试数据生成
Simulink测试
基于搜索的测试
基于模型的测试
模拟退火
-
Keywords
test-data generation
Simulink testing
search-based testing
model-based testing
simulated annealing
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名安卓智能终端自动化测试技术综述
- 2
-
-
作者
曹捷
黄翰
雷丰强
刘方青
-
机构
华南理工大学软件学院
微科智检(佛山市)科技有限公司
-
出处
《计算机科学与探索》
CSCD
北大核心
2024年第1期1-23,共23页
-
基金
国家自然科学基金(62276103)。
-
文摘
随着新一代移动通信技术和芯片的发展,智能移动终端用户规模不断增加。为了快速抢占市场,开发商缩短了智能终端的开发周期,这对应用系统的可靠性、稳定性等提出了更高的要求,而自动化测试技术是保障这些智能终端高可靠、强稳定运行的重要手段。结合目前主流智能终端的架构特点和组件特征,分别探讨了安卓系统的黑盒测试技术和白盒测试技术。在黑盒测试方面,比较分析了最新的用户界面测试和模糊测试技术以及工具使用情况,评价了它们在保证应用系统可靠性和稳定性方面的效果。在白盒测试方面,总结了自动生成测试用例技术、动静态的污点分析技术、第三方库检测技术和权限检测技术。随着人工智能大模型等新兴技术不断涌现,越来越多的智能终端设备开始搭载各种深度学习模型,这些模型的不透明性使得内部决策过程难以解释和理解,从而黑盒测试在评估模型可靠性和稳定性过程中越发重要。自动化测试正在面临从传统规则基础下的测试向更加智能的机器学习驱动的测试转变。未来将人工智能大模型等新兴技术引入到现有的智能终端测试实践中,成为解决这一问题的必然趋势。
-
关键词
智能终端
安卓系统
软件测试
基于搜索的测试生成
-
Keywords
intelligent terminal
Android system
software testing
search-based test case generation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
