从人机交互界面到人与人交互界面

传统的人机界面学研究的是单个用户与计算机系统的交互关系，随着ＣＳＣＷ的出现，要求研究支持群体交互的界面，为此，本文提出了人与人交互界面的概念，并要主要介绍其研究内容及设计原则，用以支持人与人的交互活动。     

成对测试中的测试生成策略研究

测试用例生成是软件测试的关键，成对测试是根据特定的测试原则研究测试用例的产生方法。基于这一原则分别构造了IPO-H算法和IPO-V算法的测试以产生整个测试用例，具有产生的测试用例少，时间消耗小等优点。并与另一个成对测试的测试生成工具AETG(高效自动测试生成器)进行了比较、分析，证明了改进的IPO策略便于构造自动测试工具。     

CBS测试策略研究

基于构件的软件系统（CBS）被广泛应用并成为一种主流软件形态。然而，构件软件系统的异质性扣实现透明性等特点给测试带来了极大的挑战。寻求高效的构件软件测试技术和开发实用的测试工具是当今软件业界亟待解决的一个课题。本文分析构件软件测试存在的主要问．题，给出相应的测试策略，并提出改进的建议。     

关于并行程序时序测试中测试覆盖率的研究

在软件测试中,测试覆盖率（ｃｏｖｒａｇｅ ｒａｔｉｏ）是评判程序测试完成程度的重要指标之一。然而,针对并行程序时序的测试覆盖率,目前国际上还未见比较实用的定星分析方法。文中以树型拓扑结构的广播与归并操作的分布工并行实现为例,提高了一种建立在同步序列模型基础之上并专门适合于原子事件测试方法的有关分布式并行程序时序测试的测试覆盖率的数值计算方法。由于广播与归并是两个比较有代表性的并行操作,因此文中所描     

探索性测试研究

探索性测试强调系统学习,测试设计,测试执行同时执行,边测试边学习被测系统,从而可以在认知不充分的情况下快速找到重大错误。     

基于API测试的分布式测试框架的研究与实现

以APT测试为应用背景,在研究现有的测试驱动器的基础上设计了一个较完整的分布式测试框架,同时对一些关键技术的实现进行了讨论。该分布式测试框架采用客户机／服务器模型和对称结构,可以应用于分布式测试口远程测试及非分布式测试,具有自动化测试能力,同时考虑了对第3方测试工具的松散集成。     

界面类对象测试建模技术研究

目前,大量ＯＯ应用软件采用图形界面,对这类软件的测试尚缺乏有效的技术支持。分析了这类软件的特点,基于用户－应用系统交互和应用系统－系统环境交互的视角,提出了一种界面类对象状态测试建模技术,从而支持这类软件的测试。     

嵌入式软件安全性测试研究

安全性测试作为一种常见的测试类型,在嵌入式软件测试中发挥着重要作用,可以有效保证嵌入式软件稳定、安全运行。本文对常见的安全性测试要点和测试方法进行研究和介绍,为软件开发人员和测试人员提供参考。     

基于状态的类测试技术研究

面向对象软件测试是面向对象软件开发的重要一环，是保证软件质量、提高软件可靠性的关键，类测试是面向对象软件测试的关键，类的状态的测试是面向对象软件测试中的重要内容，本文介绍了基于状态转移图的类测试和基于对象动态测试模型的类测试。     

基于CSCW的人机界面研究与设计

文章分析了CSCW环境下人机界面的特性,并描述了人机界面各个模型的功能、特点,在此基础上提出了一个基于CSCW的人机界面模型结构,同时讨论了该模型的工作流程,最后通过一个实例对实现该模型的几项关键技术进行了探讨。     

可移植的汉语人—机接口系统的研究与实现

可移植汉语人一机接口是我国界当前研究的热点之一。本文通过分析汉语的特点, 对在微机上建造中小型应用系统的可移植汉语人一机接口, 提出了一种切实可行的实现方法, 文中还介绍了反用这一方法实现的实验系统的具体结构。     

基于认知心理学知识的人机界面设计

提出把认知心理学知识应用于人机界面设计的理念。首先对传统人机界面设计方法的缺陷进行了分析,然后论述如何利用认知心理学知识建立合理、有效、良好的人机界面,并总结出设计人机界面的多个原则。运用这些原则进行实际设计取得了良好的效果。     

一种软件可靠性的随机测试模型研究

本文提出一种基于随机测试模型的软件可靠性测试方法、评判准则和测试策略,并利用蒙特卡罗方法进行了分析。通过实例证明了该模型在软件测试中的实用性和有效性,使用该模型可以提高软件测试的准确性和正确率、缩短软件测试的周期。     

基于网络远程机器人学的人-机接口界面分析研究

分析网络远程机器人学的发展状况及存在的问题 ,对网络远程机器人系统的人 机接口界面和工作方式进行了详细讨论。根据用户在网络远程机器人系统中的行为表现及其状况分析 ,提出人 机网络闭环控制系统的以人为中心的人 机接口界面设计方法。最后 ,探讨了网络远程机器人学的应用前景。     

软件移植测试过程的探讨

分析了传统软件测试方法在软件移植过程中可能出现的问题,并在此基础上提出了在软件移植过程中软件测试的过程与框架.     

财务软件中XML接口的设计

针对目前财务软件和其它软件数据交换问题，本文尝试用XML技术来解决此问题。本文首先简单地介绍了XML技术，在此基础上提出了财务软件XML接口的作用、目标和设计。     

集成平台数据转换接口的验证

对数据接口工具软件进行严格的测试是保证集成系统数据安全的基本手段,论述了数据转换接口工具软件的验证方法,并根据一个工程实例详细说明了其验证过程。     

类测试技术研究

类是面向对象软件的基本构成单元,类测试是面向对象软件测试的关键。文章从基于服务的、基于对象动态测试模型的、基于流图的以及基于规约的四个方面论述了类测试的思想和方法。     

电子计价秤软件测试关键技术研究

本文从静态测试方法和动态测试方法两个方面对电子计价秤软件测试中的关键技术进行了研究和总结,包括代码检查、等价类划分测试、控制流测试、数据流测试等,能够为电子计价秤软件测试领域的研究提供参考,同时可以为相关计量器具软件的测试提供借鉴。