软件设计中的模块依赖研究

针对软件开发中的模块依赖提出了一种新的模块间依赖模型。新模型的关键思想是依赖是由规范调节的,这样不仅记录了依赖的存在,而且记录了依赖的质量。单个模块不一定只提供单个规范,每个依赖模块可以通过不同的规范使用它。这种依赖的概念比传统的概念更容易解释一些常见的编程习惯用法,并为分析和设计提供了新的评价体系。     

GUI软件的自动化测试

软件测试的目的是为了对软件的质量或可接受性做出判断,并发现软件存在的问题。大多数GUI软件的测试通过手工操作来完成,因此存在成本高,浪费时间等缺点。通过探讨GUI软件的自动化测试方法,比较手工测试的测试过程,得出了自动化测试的优点和缺点,并提出了GUI软件自动化测试过程中存在的问题。     

可依赖软件设计的关注点分离的研究

对于具有关键和非关键功能的"混合临界"系统,对可靠性的最大影响可能是在设计级别。通过设计使每个关键需求都有一个小的可信基,可以大大降低可靠性案例所需的分析成本。该种方法的一个含义是,传统的面向对象设计可能是一种责任,因为它会导致"纠缠",而基于分离服务的方法可能更可取。