崔凯
- 作品数：9 被引量：12H指数：2
- 供职机构：大连理工大学国家示范性软件学院更多>>
- 发文基金：国家自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- Android智能电视测试用例生成方法及应用研究被引量：1
- 2016年
- 相比传统电视,由于增加上网浏览、音视频文件播放、下载各种应用软件等多种功能,智能电视系统软硬件变得异常复杂,用户使用相对繁琐,这种大批量消费类产品的可靠性是目前智能电视厂家面临的主要问题。提出根据系统设计规格书对智能电视的操作行为采用AutoStar进行层次化状态迁移矩阵(STM)建模,进而转化为具有记忆功能的正则表达式,同时根据正则表达式圈复杂度来递归确定正则表达式中包含所有闭包循环的次数,并生成测试用例,自动转成Python脚本,通过Android提供的ADB接口发送给Android智能电视,最后设计实现Android智能电视测试平台,该平台应用于国内智能电视的测试。
- 崔凯周宽久梁浩然潘杰
- 关键词：圈复杂度正则表达式
- WCSD动态检测方法
- 2012年
- 嵌入式软件最大堆栈深度(worst-case-stack depth,WCSD)是指导硬件设计和软件开发的重要指标,然而它的测量却极其困难。通过详细分析堆栈使用原因及其相互关系,建立多层中断叠加模型并提出一种WCSD动态检测方法,以检测嵌入式软件堆栈深度上限。同时,基于嵌入式软件全数字仿真平台完成实验以验证该模型和方法的可行性。实验结果表明,该模型和方法可测得较准确的WCSD结果,有助于在降低内存开销,保证嵌入式系统的堆栈安全以及提高嵌入式软件的可靠性。
- 李显杰周宽久王洁崔凯苏翰
- 关键词：嵌入式软件测试
- 嵌入式系统中断服务可靠性评估方法被引量：5
- 2016年
- 在资源受限的情况下,嵌入式软件在运行时其性能指标能否满足要求至关重要,在确定的目标前提下,对于已给定的参数配置,嵌入式系统的设计也是至关重要的。针对嵌入式系统内中断服务的随机性、实时性和并发性等特点,该文提出基于排队理论的嵌入式系统中断服务可靠性评估方法,并构建多级中断服务抢占优先权的排队模型,得出中断服务系统的性能评估指标。仿真实验结果表明:基于排队的中断服务方法符合嵌入式系统的动态可靠性评估,同时具有一定的普适性。
- 崔凯王洁周宽久梁浩然潘杰李明楚
- 关键词：嵌入式软件
- 基于控制流切片的代码安全缺陷检测方法
- 2012年
- 为轻松获得程序的可能执行路径,进而实现程序变量的状态跟踪,提出了一种C/C++源代码控制流提取算法,通过该模型获取控制流切片,产生局部控制流图,将数据流异常检测与安全子集检测相结合,弥补了单独使用安全子集方法无法跟踪数据流的不足,增强代码安全隐患的挖掘能力。利用控制流图化简,排除部分不可达控制流信息,提高跟踪效率。通过对3个Linux内核源文件的检测,验证了该方法不仅可以检测出违反安全子集的代码安全隐患,同时对代码数据流异常检测提供支持,准确率达94.9%。
- 周宽久杨广赖晓晨崔凯姚艳双
- 关键词：控制流分析数据流分析
- 一种解决嵌入式软件并发缺陷的建模方法被引量：1
- 2020年
- 嵌入式并发软件的中断嵌套和线程交织等程序的随机性和不确定性(Randomicity and Nondeterminism)会引起数据竞争(Data Race)和原子性违背(Atomicity Violations)等并发缺陷问题,并且这些问题很难被修复和重新构建。针对嵌入式软件中的数据竞争和原子性违背这类并发缺陷问题,文中提出了瘦中断处理(Thin Interrupt Service Routine,Thin ISR)方式。首先,利用状态迁移矩阵(State Transition Matrix,STM)进行建模,把中断处理程序中与访问共享变量相关的程序段移植到主程序中,即中断处理程序只负责将外界中断请求数据存到缓冲区中,中断的具体处理由主程序完成;然后,利用构建的STM模型生成对应的C代码,这样可以有效地避免原子性违背和数据竞争等并发缺陷;最后,利用排队方法对中断的到达时间与离开时间进行仿真。实验结果验证了本方法在解决数据竞争和原子性违背等并发缺陷问题方面的可行性与有效性。
- 崔凯赵国亮周宽久李明楚
- 关键词：数据竞争
- 基于遗传算法的嵌入式软件WCSD检测方法被引量：2
- 2012年
- 在资源受限的嵌入式系统中,为了降低嵌入式软件最大堆栈深度(Worst-Case-StackDepth,WCSD)的检测误差,从而确定系统内存容量,通过详细分析堆栈使用原因和中断类型,建立中断调度模型,提出基于遗传算法的WCSD动态检测方法以更加准确地指导嵌入式硬件设计和软件开发。基于嵌入式软件全数字仿真平台完成实验,对该模型和方法加以验证。实验结果表明该方法可测得较准确的软件堆栈深度上限,有助于降低内存开销和提高系统的可信度。
- 李显杰周宽久王洁侯刚崔凯
- 关键词：软件测试
- 基于遗传算法的嵌入式软件中断过载动态检测被引量：2
- 2011年
- 嵌入式软件需要处理大量中断。中断的随机特性导致越来越复杂的嵌入式系统测试困难。该文基于遗传算法的中断过载动态检测方法,使用均匀变异增加中断类型多样性,非均匀变异算法的使用提高了局部搜索能力;构造产生堆栈深度的中断执行序列测试中断处理的堆栈溢出错误。采用自主研发基于SPARC V8架构的Virtualsparc仿真平台进行中断过载仿真测试,实验表明:该方法可以快速检测堆栈中待处理的中断丢失率,随着堆栈深度的动态修改,大大降低了中断处理在堆栈里的丢失率,同时对中断过载进行定位来提高嵌入式软件中断缺陷检测效率。
- 王洁崔凯周宽久李显杰
- 关键词：堆栈溢出遗传算法
- 嵌入式软件形式化建模方法被引量：1
- 2018年
- 随着嵌入式系统在各行各业的普及,嵌入式系统也越来越复杂,为保证嵌入式系统正确性,研究从需求分析、系统设计到系统验证、代码自动生成统一建模方法尤为重要。针对以上问题,提出采用状态变迁矩阵(STM)对嵌入式软件进行建模,通过确认STM中的每个单元格保证软件的正确性,且在需求分析阶段更容易发现需求遗漏。针对单元格处理经常出现大量的逻辑判断问题,提出采用决策表(DT)模型对复杂多条件判断分支问题进行建模。在模型建立后进行验证,最后自动生成代码。通过对紧急制动控制建模实验,说明方法的正确性。
- 潘杰渡边政彦周宽久梁浩然崔凯
- 关键词：决策树嵌入式系统代码自动生成
- 基于PEFSM行为模型的黑盒测试用例生成方法被引量：1
- 2017年
- 随着计算机软件在医疗、航天、金融等领域的广泛应用,人们对软件系统可靠性的要求越来越严格。软件测试是保证软件安全可靠的有效手段,测试用例的优劣会直接影响测试效果及测试成本。针对嵌入式系统黑盒测试问题,提出了基于概率扩展有限状态机(PEFSM)行为模型的测试用例生成方法,通过两个假设给出了该方法的适用场景,设计了正则表达式转化和展开算法,并将该方法应用于Android智能电视的黑盒测试。该方法的特点是:1)根据用户对待测系统各类操作的使用频率信息,优先测试用户常用操作,从而缩减测试用例的数量和长度;2)可人为指定测试用例的初始状态和结束状态,设置闭包循环次数和迁移之间的等待时长,从而保证测试方法的灵活性和适用性。对比实验结果表明,该方法能够降低软件测试成本,提高测试用例的错误探测效率。
- 梁浩然周宽久崔凯潘杰侯刚
- 关键词：正则表达式自动化测试
