程烨
- 作品数：3 被引量：10H指数：2
- 供职机构：上海师范大学信息与机电工程学院计算机科学与技术系更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于遗传算法的类对象测试数据自动生成研究被引量：4
- 2006年
- 在测试数据自动化生成方法中,对类对象测试数据的生成目前在实际中还没有完善的解决方法。针对这个不足,研究了基于遗传算法的类对象测试数据自动生成技术。在扩展海明距离法的基础上,提出了一种在遗传算法中生成类对象测试数据的适应度函数改进方法,并在理论上证明了该方法在缩短执行时间上的可行性。最后将方法实验于实际系统,实验结果显示在生成类对象测试数据的效率和准确性上都有明显的提高。
- 程烨高建华齐丽娜
- 关键词：遗传算法测试数据生成适应度函数
- 与设计模式相结合的测试驱动开发方法被引量：4
- 2006年
- 测试驱动开发是与传统程序开发方式相反的一种新型程序设计方法。它以测试编码来推动程序设计,大大缩减了设计和编码的冗余度。设计模式是在软件设计过程中解决某一类问题的方法,是在经过前人总结得出的方法中选出一种最适合当前系统使用的方法。设计模式与测试驱动开发方法具有互补性。对一种结合设计模式的测试驱动开发方法进行了研究,该方法在前期先用设计模式进行系统构架设计,然后使用测试驱动开发方法进行程序开发。
- 程烨高建华
- 关键词：测试驱动开发设计模式软件工程可靠性
- 基于有穷自动机的面向对象软件规约的测试被引量：2
- 2007年
- 尽管作为软件工程中面向对象的技术已逐步取代了面向过程的技术,但是测试和维护软件的费用并没有因此而减少。在面向对象软件的测试研究中,对如何减少面向对象软件的错误提出了许多方法,绝大多数人关注的是类测试而不是对面向对象规约的高级测试。该文提供了一个基于有穷自动机的测试框架来测试面向对象规约。该方法在一个可执行的有穷自动机上直接进行了测试,不用手动进行证明,并且可产生大量的状态空间。测试结果证明了该方法的有效性。
- 程烨高建华
- 关键词：有穷自动机形式化方法软件规约面向对象
