1.
Analysis and Application of Software Model Checking Based on JPF
基于JPF的软件模型检测分析与应用
2.
Source-oriented Software Model Checking and its Implementation
面向源代码的软件模型检测及其实现
3.
Research on Model-Checking and Testing Techniques of Software Vulnerability
软件脆弱性模型检查与测试技术研究
4.
Study on a Reconfigurable Software Model and Its Application in Measurement System;
可重构软件模型及其在检测系统中的应用研究
5.
APPLICATION OF MODEL CHECKING IN SOFTWARE REQUIREMENTS ANALYSIS AND DESIGN
模型检测在软件需求分析及设计中的应用
6.
SoftMan-IDS Model for Networked Manufacturing Environment
网络化制造环境下的“软件人”入侵检测模型
7.
Software Test Study of Rough Set Based Model;
软件测试Rough Set模型研究
8.
Research on Software Fault Detection and Conformance Test Generation Based on EFSM Model
基于EFSM模型的软件故障检测与一致性测试生成研究
9.
Application of Standardized Hypertext and Info Database to Auto Test Equipment Software
超媒体文本与模型信息库在自动检测设备软件中的应用
10.
Detection of Software Vulnerability by Using Fault Pattern and Program Slicing
错误模式和程序切片的软件漏洞检测
11.
Research of Proactive Testing Model for Optimizing Software Testing;
优化软件测试中前置测试模型的研究
12.
Research on Testing Component-Based Software Based on Observation Model;
基于观测模型的构件化软件集成测试方法研究
13.
Why would a software tester like the spiral model better than the others?
众多软件开发模型中，为什么一个软件测试人员更喜欢“螺旋模型”？
14.
Application of Software Testing Based on CPN Model Derived from UML Model;
基于UML的CPN模型在软件测试中的应用
15.
Studying the Model-based Framework for Testing Graphical User Interfaces;
基于模型的GUI软件测试框架研究
16.
Software Testability Model、Metric and Its Application;
软件的可测试性模型、度量及其应用
17.
The Research of the Agent-based Software Testing System Model;
基于Agent的软件测试系统模型的研究
18.
An Evaluation Model for Chinese Software Enterprises Based on CMM;
基于CMM的中国软件企业评测模型