袁园
- 作品数：9 被引量：14H指数：3
- 供职机构：中国科学技术大学更多>>
- 发文基金：安徽省自然科学基金更多>>
- 相关领域：自动化与计算机技术电气工程医药卫生文化科学更多>>
- 基于矩阵分解算法和快速正交搜索方法的肌力估计研究
- 作为运动生物力学的一个分支，肌力估计研究在人造关节与假体设计、临床康复医学以及专业体育评估等诸多领域都有着十分重要的意义。表面肌电信号作为人体骨骼肌在收缩过程中所产生的一类电生理信号，能够间接反映出肌肉的收缩状态和激活情...
- 袁园
- 关键词：运动生物力学
- 电解型的MnO<Sub>2</Sub>-Zn水系电池
- 本公开提供了一种阳离子加速器优化的电解型MnO<Sub>2</Sub>‑Zn水系电池，包括：正极，正极为MnO<Sub>2</Sub>；负极，负极为Zn；电解液体系，电解液体系为含有金属阳离子的酸性溶液，其中，金属阳离子...
- 陈维揣明艳袁园
- MERS--CoV和SARS--CoV刺突蛋白及其与受体相互作用的结构与功能研究
- 2012年在中东地区暴发的中东呼吸综合征冠状病毒(Middle East respiratorysyndrome coronavirus，MERS-CoV)是继2002年暴发的严重急性呼吸综合征冠状病毒（severe a...
- 袁园
- 水系酸性锌锰电池
- 本发明公开了一种水系酸性锌锰电池，包括正极、负极和分离正、负极的阴离子交换膜；其中，正极包括正极集流体和正极电解液，其中，正极电解液包括含有锰盐和无机酸的水溶液；负极包括负极集流体和负极电解液，其中，负极集流体包括锌合金...
- 陈维孙继飞袁园
- 文献传递
- 一种生成测试用例的方法及装置
- 一种生成测试用例的方法，该方法包括：随机生成一个测试用例；判断所述测试用例是否违反与测试用例集合的似然不变量集合相对应的断言；当所述测试用例违反断言时，将所述测试用例添加到测试用例集合中，并进行不变量提取，以生成添加了所...
- 曾凡平袁园邓超强武飞熊能董齐兴
- 文献传递
- 基于污点跟踪的黑盒fuzzing测试被引量：6
- 2012年
- 针对传统fuzzing测试中的低效率问题,提出一种基于污点跟踪的黑盒fuzzing测试方法.通过将合法输入标记为污染源,并记录污点在应用程序中的传播过程,提取关键的污点信息,用以指导新的测试用例的生成.这样生成的测试用例,具有更好的针对性,以及能够达到较深的代码深度,有良好的代码覆盖率,能更好的挖掘出潜在的漏洞和安全脆弱点.采用这种方法对几款图形处理软件和图形库进行了测试,发现了一个漏洞,并提交SecurityFocus通过.
- 朱贯淼曾凡平袁园武飞
- 关键词：FUZZING黑盒漏洞挖掘
- 水系酸性锌锰电池
- 本发明公开了一种水系酸性锌锰电池，包括正极、负极和分离正、负极的阴离子交换膜；其中，正极包括正极集流体和正极电解液，其中，正极电解液包括含有锰盐和无机酸的水溶液；负极包括负极集流体和负极电解液，其中，负极集流体包括锌合金...
- 陈维孙继飞袁园
- 不变量指导的随机测试用例生成被引量：3
- 2011年
- 随机测试以其自动化程度高、揭错能力强的优势一直在测试用例的自动化生成领域占据着重要的地位,但其冗余度高、覆盖率低的缺陷限制了它的应用.程序不变量是程序的某个或某些特定的点上保持为真的属性,它可以提供程序运行时的有价值的信息.提出一种不变量指导下的随机测试用例的自动化生成方法.这种方法通过提取程序运行时的动态不变量,指导随机测试用例的生成,并且利用随机生成的无效用例的反馈信息,约简冗余的随机用例空间,增大了选中有效用例的概率.实验结果表明,该方法在保持随机测试的高揭错能力的前提下,可以有效的降低随机测试的冗余度,提高其覆盖率.
- 曾凡平袁园潘能刚邓超强
- 关键词：程序不变量测试用例
- 基于不变量的测试用例自动生成技术研究
- 软件测试是保证软件质量的重要方法之一，是软件生命周期中非常重要的一个环节。软件测试的关键技术之一就是高质量的测试用例的构造。由于传统的手工构造测试用例的方法效率低下，且受测试人员经验等人为因素的干扰较大，因此高质量测试用...
- 袁园
- 关键词：测试用例程序不变量
- 文献传递
