赵建华
- 作品数:69 被引量:139H指数:6
- 供职机构:南京大学更多>>
- 发文基金:国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域:自动化与计算机技术文化科学电子电信医药卫生更多>>
- 一种智能家居线性时序逻辑规约生成的方法和装置
- 本发明公开了一种由智能家居生成线性时序逻辑规约的方法和装置,用于在智能家居领域中将用户输入的自然语言需求文本转换成线性时序逻辑规约。该方法首先对输入的自然语言文本进行预处理;然后使用自然语言处理技术,生成语法分析树和语法...
- 卜磊翟娟张时雨张秋萍赵建华李宣东
- 文献传递
- 基于偶然正确性概率的回归测试选择方法被引量:2
- 2021年
- 数据驱动的智能系统的核心是处理数据的算法,对算法正确性的要求高,导致其测试开销大,需要有效地缩减测试的规模,其中回归测试选择是控制测试规模的有效手段.数据驱动的智能系统由于其动态信息流强度弱的原因,发生偶然正确性现象的概率较高,并且该现象会导致常用的回归测试选择技术所选择出的测试集包含大量检测不到故障的测试用例.因此,从偶然正确性现象的角度出发,提出一种基于偶然正确性概率的回归测试选择技术,进一步排除可能发生偶然正确性现象的用例.该方法能够兼顾代码覆盖,同时从偶然正确性的角度保证缩减后的测试用例集合对被修改的代码的测试是充分的.根据在用例缩减和故障检测能力之间侧重的不同,提出了基于最小化和安全性技术的两种选择策略,并给出3种具体的选择算法.在实验中将所提方法与一种安全的测试选择技术进行比较,结果表明,这3种选择算法都很好地缩减了测试集合的规模,提高了测试选择的精度,并提高了安全性和精度的综合指标.
- 周小莉赵建华
- C++的一种并发扩充方案被引量:6
- 1998年
- 该文给出了一种对C++进行并发扩充的方案.它基于这样的并发面向对象模型:系统由一组自治的并发对象构成,对象可以有一个体,一旦对象被创建,对象体就开始执行;对象间采用同步消息传递,允许对象内部的并发;对象的并发控制分散在各方法的激励条件中.文章还给出了一种转换策略,把扩充的C++描述转换成C++描述,使之能被现有的C++编译器识别.转换中利用了某些多任务操作系统(如Windows95)所提供的多线程和同步设施.
- 陈家骏赵建华郑国梁
- 关键词:面向对象C++语言程序设计语言
- 基于代码生成和符号执行的访问控制策略测试自动生成方法
- 本发明提出一种基于代码生成和符号执行的访问控制策略测试自动生成方法,以针对XACML策略测试的实际需求,弥补现有测试XACML策略技术和工具的不足。该发明方法首先对用户指定受测试的XACML策略进行数值化处理,然后将受测...
- 王林章李永超赵建华李宣东陈志
- 文献传递
- 基于代码查询进行源代码插桩的方法
- 一种使用基于代码查询进行源代码插桩的方法,包括步骤:步骤10:打开一个工程;步骤11:通过在JSearch编辑器里输入相应的插桩命令;步骤12:工具运行JSearch命令,得到所有的插桩点定义步骤13:审查所有插桩点的定...
- 张天陶永晶赵建华
- 文献传递
- 一种基于共享不可行路径池的代码并行验证方法和装置
- 本发明公开了一种基于共享不可行路径池的代码并行验证方法和装置。该方法分为初始化过程、找出潜在路径过程和对潜在路径分析过程。在初始化过程中,输入的源程序和验证目标被构建成相应的SAT约束编码G。然后通过对不可行路径池中路径...
- 卜磊闾乐成谢准一郭育鲲赵建华李宣东
- 文献传递
- 基于偶然正确性概率的错误定位技术被引量:1
- 2021年
- 基于代码覆盖的错误定位技术是一种常用的错误定位方法,被用来识别与故障相关的程序元素.然而,有研究工作表明,基于代码覆盖的错误定位技术的有效性受到了偶然正确性现象的影响.偶然正确性现象是指程序中包含的错误被执行,但没有产生错误结果的情况,它在实际场景中是非常普遍的.根据以往的研究工作,提出了一种估算发生偶然正确性现象概率的方法.该方法从程序运行时内存中值的定义-使用关系出发,将各语句的执行对程序输出的影响进行了估计.基于偶然正确性概率,对基于代码覆盖的错误定位技术中可疑度的计算方法进行了修正,以消除偶然正确性现象对错误定位技术的影响.在SIR(software-artifact infrastructure repository)中提供的西门子测试套件上进行了实验,这也是偶然正确性相关工作中常被使用的目标程序.实验结果表明,相对于基于代码覆盖信息的错误定位技术,提出的方法提高或至少维持了原有的安全性,并较好地提高了错误定位的精确度.
- 周小莉赵建华
- 基于偏序规约的中断驱动系统有界模型检验方法
- 基于偏序规约的中断驱动系统有界模型检验方法,该方法采用偏序规约来约减中断驱动系统有界模型检验状态遍历过程中的路径和状态。本发明根据中断驱动系统所具有的性质,首先定义中断处理程序之间的依赖关系;然后通过静态分析,得到中断处...
- 赵建华蔡增科戎挺
- 文献传递
- 高灵敏核酸检测方法研究及其在临床诊断中的应用
- 鞠熀先严枫雷建平赵建华张志洁叶永康刘志安
- 以临床实验诊断中高效、灵敏、准确、快速、价廉、安全检测,并最终实现早期筛查、疗效监测和床旁检验为目标,利用化学、生物、材料、临床医学等领域的新成就,通过超分子组装,创新DNA检测原理与思路,创建了DNA序列和浓度检测的新...
- 关键词:
- 关键词:核酸检测
- 基于数据流分析的单链表可达性自动化验证
- 2015年
- 程序验证中的常见情景是判断某个用户指定的性质在程序执行之后或执行过程中的某个程序点上是否成立。人工的形式化验证过程繁琐且容易出错,因此形式化验证的自动化是提高代码验证效率的重要方法。数据流分析技术是一种能够自动发现程序中某类性质的技术。研究了将一种数据流分析技术(单链表形状分析)和基于Scope Logic的代码验证过程相结合的方法。通过数据流分析获得所有程序点上的单链表可达性性质,将结果表达为带有递归函数的一阶逻辑公式,并将其插入到相应程序点中。分析程序还根据Scope Logic的证明法则设定了这些公式之间的逻辑依赖关系。实例测试表明所提方法可以分析得到单链表可达性性质,并且分析结果能够被基于Scope Logic的代码形式化验证过程有效利用,提高了代码形式化证明的效率。
- 冬雨辰王寒非赵建华
- 关键词:数据流分析SCOPELOGIC