| 软件测试自动化系统的性质及其描述方法 |
| |
| 引用本文： | 孟洛明. 软件测试自动化系统的性质及其描述方法[J]. 小型微型计算机系统, 1994, 15(2): 16-20 |
| |
| 作者姓名： | 孟洛明 |
| |
| 作者单位： | 北京邮电学院 |
| |
| 基金项目： | 邮电部中青年教师科学基金 |
| |
| 摘 要： | 本文从分析软件测试自动化的必要条件出发，讨论了软件测试自动化对形式化的特殊要求，提出了用于软件测试自动化的形式系统应具有的性质。基于框架的互补定义的形式描述方法可以作为用于软件测试自动化的形式系统的描述方法。
|
| 关 键 词： | 软件测试 自动化系统 软件工程 |
THE PROPERTY OF AUTOMATED SOFTWARE TESTING AND DEFINITION METHOD |
| |
| Meng Luoming. THE PROPERTY OF AUTOMATED SOFTWARE TESTING AND DEFINITION METHOD[J]. Mini-micro Systems, 1994, 15(2): 16-20 |
| |
| Authors: | Meng Luoming |
| |
| Abstract: | |
| |
| Keywords: | Software testing Formal approach Attribute grammar |
| 本文献已被 CNKI 维普 等数据库收录！ |
|
