张岩
- 作品数：5 被引量：12H指数：2
- 供职机构：江苏自动化研究所更多>>
- 发文基金：安徽省高校省级自然科学研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 自动生成测试用例的方法设计及实现被引量：2
- 2011年
- 为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,目前很多方法都是针对有限状态机自动生成测试用例进行介绍,而在本文中根据扩展有限状态机对象状态迁移的特点,利用扩展有限状态机模型,提出了扩展有限状态机自动生成测试用例的测试方法,并应用于自动售货机Coinbox类软件测试中。
- 张岩
- 关键词：扩展有限状态机软件测试
- 数据库安全性测试研究被引量：3
- 2012年
- 随着数据库在系统软件开发中的比重越来越高,数据的安全成为了软件系统中的重中之重。根据数据库安全的定义,针对数据库安全的设计,给出数据库身份认证、访问控制、数据访问机密性、数据完整性、审计能力、可用性的安全性测试方法。
- 张岩
- 关键词：数据库安全软件测试
- 人机交互界面测试研究被引量：5
- 2012年
- 人机界面是软件与用户最直接的交互层,界面的好坏决定用户对软件的第一印象。良好的界面设计越来越受到系统分析、设计人员的重视,但是如何对人机界面进行测试并给出客观、公正的评价,却没有一个统一的标准。从通用规则和个性突出的角度,给出一些人机界面的测试原则和建议。
- 阚丹丹张岩惠小霞
- 回归测试方法的研究与分析被引量：1
- 2011年
- 在整个软件的测试过程中,回归测试是其重要的组成部分,它总是在发现错误并更改软件后进行。根据回归测试的目的及意义,详细描述四种回归测试方法,并对各种方法进行比较分析,从而获得根据不同情况优先选择测试方法的回归测试策略,更好地实现回归测试。
- 张岩惠小霞阚丹丹
- 数组越界的静态分析被引量：1
- 2012年
- 软件测试分为静态测试和动态测试,而数组越界是静态测试中最常见的问题之一,并且其带来的危害巨大,甚至导致软件系统崩溃。根据数组越界的现象及特点,详细描述了数组越界的定义和种类,给出了数组越界产生的条件及防范技巧,并对检测方法及工具进行比较分析,从而更好地实现软件测试。
- 惠小霞张岩
- 关键词：数组越界
