|
1.
|
基于CHAM模型的LTS状态树生成算法 被引次数：2
|
|
|
|
|
|
|
叶俊民 王振宇 曹瀚 赵恒《哈尔滨工程大学学报》,2003年第24卷第3期
|
|
|
标号迁移系统(1abelled transition system，LTS)是形式化一致性测试的重要研究方向，在软件体系结构(software architectures，SA)测试计划生成的研究中，需要从化学抽象机(chemical abstract machine，CHAM)模型中生成LTS，以表达出软件体系结构的动态特征，因此，LTS状态树生成算法是导出软件测试计划和测试用例研究工作中的关键问题，基于CHAM模型，提出了通用LTS状态树生成算法，并使用实例验证了该算法。
|
|
2.
|
一种软件体系结构级测试序列生成技术
|
|
|
|
|
|
|
徐士华 吕莉媛 赵磊《微电子学与计算机》,2012年第29卷第1期
|
|
|
软件体系结构(software architecture,SA)通过对系统构件及其交互的抽象,提供了一个描述大型、复杂系统的高层次模型,软件体系结构的动态描述常被用来指导分析和测试.本文通过CHAM(chemical abstract ma-chine,CHAM)描述的SA规格说明生成LTS,并根据测试需求进行测试功能的选取,提出了基于功能的最小LTS图(M-LTS)生成方法,根据McCabe覆盖方法生成M-LTS图的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.
|
|
3.
|
基于标号变迁系统的测试集自动生成 被引次数：3
|
|
|
|
|
|
|
蒋凡 宁华中《计算机研究与发展》,2001年第38卷第12期
|
|
|
首先，依据ISO89646的定义，阐述了协议一致性测试的基本概念，然后，介绍标号变迁系统（LTS）的形式化理论的定义和基本性质，利用LTS，给出测试例、测试集以及测试生成的形式化定义，第3，表述了实现关系在测试生成中的地位和作用，定义了输入输出系统，并在输入输出系统以及△变换的基础上引入实现关系ioco，根据实现关系ioco给出了一个测试集自动生成算法，该算法能很好地适用于递归的LTS。
|
|
4.
|
基于扩展CHAM模型的软件集成测试方法 被引次数：2
|
|
|
|
|
|
|
叶俊民 罗景 朱凯 赵良 赵恒 王振宇《计算机科学》,2005年第32卷第6期
|
|
|
基于构件的软件工程(Component-Based Software Engineering,CBSE)正逐渐成为软件开发的一种新趋势。目前构件提供者所交付的构件仅仅包括其功能描述和接口描述,而代码通常是不可见的,这给软件系统的集成测试带来较大困难。本文针对软件体系结构(Software Architecture,SA)层中的构件规格说明,提出一种集成测试方法。首先使用扩展的化学抽象自动机(Extend Chemical Abstract Machine,E-CHAM)模型描述软件系统的体系结构;接着使用LTS状态树生成算法,生成标号迁移系统(Labeled Transition System,LTS)表示单一构件的动态行为;最后按照自底向上的集成测试策略完成了整个系统的测试。
|
|
5.
|
用于测试的SA动态模型生成方法
|
|
|
|
|
|
|
顾燕萍 高建华《微机发展》,2006年第16卷第8期
|
|
|
SA(软件体系结构)的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统(LTS)来模拟软件体系结构动态性的,利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。
|
|
6.
|
用于测试的SA动态模型生成方法
|
|
|
|
|
|
|
顾燕萍 高建华《计算机技术与发展》,2006年第16卷第8期
|
|
|
SA（软件体系结构）的动态性描述在基于软件体系结构的一致性测试中是非常关键的一步。许多软件体系结构描述语言是利用带标号的转换系统（LTS）来模拟软件体系结构动态性的，利用LTS作为软件体系结构动态性模型并从中选取测试序列。通过实例研究了两种体系结构描述语言及其分别向动态模型LTS转变的过程。
|
|
7.
|
基于扩展CHAM的SA级路径覆盖方法
|
|
|
|
|
|
|
徐士华 吕莉媛 赵磊《微电子学与计算机》,2011年第28卷第9期
|
|
|
化学抽象机形式化语言（CHAM）通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构（SA）中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统（LTS）,以表示该构件与其它构件之间的行为交互,并根据选取的测试覆盖准则,生成基于此构件的LTS中的所有测试路径.最后以B/S体系结构为例,通过实验验证了该方法在生成DB构件的测试路径上是可行的.
|
|
8.
|
嵌入式软件可靠性设计研究
|
|
|
|
|
|
|
何永太《电子世界》,2014年第8期
|
|
|
本文总结了影响嵌入式软件可靠性的因素;分析了提高嵌入式软件可靠性的设计方法;探究了测试嵌入式软件的核心技术及系统。旨在提高嵌入式软件的可靠性。
|
|
9.
|
基于DSP的GPS软件接收机关键技术研究与实现 被引次数：7
|
|
|
|
|
|
|
曾庆喜 王庆 王浩为 潘树国《仪器仪表学报》,2009年第30卷第6期
|
|
|
基于GP2015射频前端芯片和TMS32005713数字信号处理器,提出了一种嵌入式GPS软件接收机的架构.给出了射频前端电路的设计方法及其与DSP芯片进行高速实时传输的接口设计方案,提出了适合本软件接收机平台的信号捕获与跟踪算法.系统测试结果表明按本方案设计的嵌入式软件接收机具有可靠性高、算法和软件升级容易的特点,非常适用于嵌入式GPS软件接收机算法的开发与验证.为多模嵌入式卫星定位软件接收机的工程实现提供了技术基础和经验指导.
|
|
10.
|
数字程控交换机线路自动测试系统的软件设计与实现
|
|
|
|
|
|
|
阎峰 郑庆华《计算机工程与设计》,1998年第19卷第2期
|
|
|
以国标为准则，设计实现了基于ＰＣ机和中文Ｗｉｎｄｏｗｓ操作系统的数字程控交换机线路自动测试系统ＬＴＳ软件，在简要介绍ＬＴＳ的功能目标和硬件结构的基础上，给出了ＬＴＳ软件的层次与模块结构，并就软件设计中所涉及的主从处理机间通信、多进程通信与协作、测试数据处理与故障诊断、多用户并发请求测试的处理、数据库共享、多种语言混合编程等技术问题作了分析说明。
|
|
11.
|
嵌入式软件测试的实践与研究
|
|
|
|
|
|
|
郝会泉 许云超《中国新技术新产品》,2010年第23期
|
|
|
随着社会的发展,嵌入式系统在人们的工作和生活中起到了越来越重要的作用,手机作为嵌入式系统的代表已经成为人们生活中不可或缺的物品。目前,嵌入式系统中软件系统的比重越来越大,也越来越复杂,嵌入式软件的可靠性正面临严峻的挑战。本文主要工作包括从嵌入式系统的介绍着手,分析了嵌入式系统的硬件及软件构成。分析了软件测试的基本方法和软件测试的过程,重点分析了嵌入式软件测试的特点、测试技术及测试工具。
|
|
12.
|
嵌入式软件测试的研究
|
|
|
|
|
|
|
王明珠《信息通信》,2014年第10期
|
|
|
嵌入式软件是一种较为特殊的软件,在嵌入式系统中所占的比重比较大,在嵌入式系统广为应用的背景下,人们对嵌入式软件的可靠性给予了足够的重视,嵌入式软件测试就是提高其可靠性最有效的手段。文章主要对当前嵌入式软件测试的相关问题进行了分析,并对嵌入式软件测试的技术和策略进行了探讨。
|
|
13.
|
嵌入式软件测试技术与方法
|
|
|
|
|
|
|
刘颖 祝宇林《信息技术》,2013年第5期
|
|
|
随着电子信息技术的不断发展,嵌入式系统得到广泛的应用,硬件的规格和复杂度不断提高,软件代码日益复杂,系统的高可靠性要求给软件测试工作带来了挑战。针对此特点本文介绍了如何在嵌入式软件的生命周期内对嵌入式软件进行全面测试的技术与方法。
|
|
14.
|
软件测试中测试用例自动生成方法研究
|
|
|
|
|
|
|
贾冀婷《数字社区&智能家居》,2010年第15期
|
|
|
软件测试是保证软件质量和软件可靠性的关键,而提高生成测试用例的自动化程度又是提高软件测试自动化程度的关键。该文分析了软件测试中测试用例自动生成技术的发展现状和粒子群优化算法的基本原理。在此基础上,改进了基本粒子群优化算法,并提出了基于改进的粒子群优化算法的测试用例自动生成算法。实验结果表明,使用本文提出的算法测试用例自动生成效果明显优于遗传算法等测试用例自动生成算法。
|
|
15.
|
军工产品嵌入式软件可靠性评测技术 被引次数：1
|
|
|
|
|
|
|
周华 刘建兵 杨进候 唐恒《鱼雷技术》,2007年第15卷第5期
|
|
|
软件可靠性是衡量软件质量的重要指标之一，软件可靠性评测是获取软件可靠性定量指标的关键手段和方法，合理、有效地获取软件可靠性数据对评价软件质量具有重要意义。该文结合有关军工产品中嵌入式软件的开发过程，较为详尽地分析了软件可靠性评测的全过程，在“测试-排错-新版本”的迭代过程中采用软件负载压力测试方法和可靠性统计技术，跟踪故障强度的变化，并对软件失效数据进行采集与分析，从而达到软件可靠性评价的目的，最后，对软件测试与软件可靠性测试进行了比较分析，提出了各自测试的侧重点。通过对软件实行可靠性评测，可使软件产品在投入使用或装载在硬件产品之前就提高了其系统可靠性，使军工产品系统可靠性的提高有了更充分的保证和支持。
|
|
16.
|
基于故障注入的仿真测试方法过程框架 被引次数：1
|
|
|
|
|
|
|
徐应诗 刘斌 阮镰《测控技术》,2007年第26卷第10期
|
|
|
在嵌入式系统组成特性和嵌入式软件测试抽象分析基础上,提出了一种基于故障注入的嵌入式软件仿真测试方法.结合故障注入试验过程特点,将故障分析、故障建模和故障注入技术有效地应用于嵌入式软件仿真测试过程中,并对该方法的测试过程框架进行了探讨.
|
|
17.
|
电网智能终端中嵌入式软件系统的测试
|
|
|
|
|
|
|
张威 张之刚 吕卓《重庆理工大学学报(自然科学版)》,2013年第7期
|
|
|
介绍了嵌入式智能终端在电网中的应用和开展嵌入式软件系统测试的现实意义,分析了嵌入式软件系统测试的基本过程和智能终端的嵌入式测试方法,对全数字模拟测试、交叉测试和测试环境进行了详细说明,最后提出了对电网智能终端嵌入式系统测试的安全性要求。
|
|
18.
|
嵌入式软件系统开发技术及测试技术探讨
|
|
|
|
|
|
|
袁慧《计算机光盘软件与应用》,2014年第12期
|
|
|
随着科技时代的快速发展,嵌入式软件系统应用发展也是非常迅速的,然而在硬件技术发展越来越稳定时,嵌入式软件系统稳定性却越来越差,因此嵌入式系统测试技术也应运而生了。本文通过对嵌入式软件系统特点的分析和研究,从而对其测试提出相应的方法。
|
|
19.
|
基于UML状态机与B方法的高可信嵌入式软件开发 被引次数：5
|
|
|
|
|
|
|
肖健宇 张德运 陈海诠 董皓《计算机工程》,2006年第32卷第8期
|
|
|
提出了一套集成UML与B方法开发高可信嵌入式软件的实用方案：以软件的UML状态机模型为起点，将其转换为B抽象模型并在B工具中验证该模型的一致性，然后遵循B模型逐步精化的开发规则，利用B方法的精化正确性验证功能，得到系统的可靠的实现模型，最后借助B工具自动生成C代码。实例分析表明，这套方法可以提高尚可信嵌入式软件的开发验证效率。给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。
|
|
20.
|
电能表嵌入式软件半仿真测试系统设计
|
|
|
|
|
|
|
钱晓耀 胡献华 郑荐中《中国计量学院学报》,2014年第1期
|
|
|
电子式电能表嵌入式软件测试依赖目标机和外部交互设备,运行环境与测试环境相适应问题是嵌入式软件仿真测试的技术难题.在研究了嵌入式软件仿真技术的基础上,提出了一种电子式电能表嵌入式软件半仿真测试的方法,构建了仿真测试环境,以实现对被测系统中嵌入式软件的动态测试.同时,还对其中的计算机仿真系统模拟外部交互设备、仿真测试环境工作模型进行了分析说明,通过对电子式电能表测试,验证该方法能较好地满足电子式电能表嵌入式软件测试.
|
