No description available.

Thesis (M.S. in Engineering Science (Computer Systems))--Naval Postgraduate School, December 1990. / Thesis Advisor(s): Cotton, Mitchell L. Second Reader: Lee, Chin-Hwa. "December 1990." Description based on title screen as viewed on March 30, 2010. DTIC Descriptor(s): Artificial Satellites, Computer Communications, Students, Theses, Paper, Vehicles, Learning, Circuit Testers, Naval Equipment, Requirements, Control, Reliability Author(s) subject terms: Satellite Communications, Satellite Microprocessors. Includes bibliographical references (p. 91-93). Also available in print.

Not available / text

Computer systems which interact with human users to collect, update or provide information are growing more complex. Additionally, users are demanding more thorough testing of all computer systems. Because of the complexity and thoroughness required, automation of interactive systems testing is desirable, especially for functional testing. Many currently available testing tools, like program proving, are impractical for testing large systems. The solution presented here is the development of an automated test system which simulates human users. This system incorporates a high-level programming language, ATLIS. ATLIS programs are compiled and interpretively executed. Programs are selected for execution by operator command, and failures are reported to the operator's console. An audit trail of all activity is provided. This solution provides improved efficiency and effectiveness over conventional testing methods.

Rule-based systems are tested by developing a set of inputs which will produce already known outputs. The problem with this form of testing is that the system code is not considered when generating test cases. This makes software testing completeness difficult to measure. This is important because all the computational models are constructed within the code. Therefore, to show the models of the system are tested, it must be shown that the code is tested. Chem uses the Loci rule-based application framework to build computational fluid dynamics models. These models are tested using the Quick Test suite. The data flow structure built by Loci, along with Quick Test, provided a case study for the research. The test suite was compared against three levels of coverage. The measures indicated that the lowest level of coverage was not achieved. This shows us that structural coverage measures can be utilized to measure rule-based system testing completeness.

This paper examines the results of a usability study for finding aids from the Special Collections Research Center at North Carolina State University. In 2005, the Special Collections Research Center reformatted its finding aids so that the container information, typically located on the left-hand side of the document, moved to the right-hand side of the document. The study tested the effectiveness of this change, and determined that traditional finding aids performed better. The analysis of the study’s results is followed by a discussion about Web usability guidelines for online finding aids.

Thesis (MPhil)--Stellenbosch University, 2005. / ENGLISH ABSTRACT: In the last decade, the use of computers has proliferated the industrial arena in South Africa. Due to frequent changes in computer programs and developments in the computing field, users have often been adversely affected. Users experience problems with computer programs that are not user friendly. Usability is about satisfying the user needs by allowing the user to accomplish their goals quickly, efficiently and easily. Thus it is crucial that industries invest in computer programs that offer optimum usability. In this research an attempt is made to provide a framework for methodology that can be used to test and evaluate usability in the Transwerk Risk Management Information System, that is Computer Assisted Risk Management Systems (CARMS). I first consider the difference between unusable and usable programs. Usability properties are then identified including properties enhancing effectiveness, efficiency, flexibility, laemability and attitude of the computer program. The CARMS components or modules and users were identified. Usability problems were identified that cause the users to be selective and discouraged to use other components of CARMS. To further verified and address the usability problems identified, the whole program needs to be tested and evaluated. The methodology was laid for how to do usability testing and evaluation in computer program that are currently in use like CARMS. Benefits and limitations of testing and evaluating usability were detailed in this research. It is recommended that, testing and evaluating usability should be done to prevent errors, dissatisfaction and to improve usability of the CARMS program. / AFRIKAANSE OPSOMMING: In die laaste dekade het die gebruik van rekenaars uitgebrei in die industriele arena in Suid-Afrika. Weens gereelde veranderings in rekenaar programme en ontwikkellings in die informatika veld is gebruikers gereeld nadelig geraak. Gebruikers ervaar probleme met rekenaar programme wat nie gebruikersvriendelik is nie. Bruikbaarheid het te make met bevrediging van gebruikersbehoeftes deur hulle in staat te stel om hulle doelwitte vinnig, doelmatig en maklik te bereik. Dit is dus van kritiese belang dat industriee investeer in rekenaar programme wat optimale bruikbaarheid bied. In hierdie navorsing word gepoog om 'n raamwerk vir metodologie wat gebruik kan word om die bruikbaarheid van die "Transwerk Risk Management Information System" (dit is "Computer Assisted Risk Management Systems" of CARMS) te toets en te evalueer. Ek bespreek eerstens die verskil tussen onbruikbare en bruikbare programme. Bruikbaarheidseienskappe word dan geidentifiseer, insluitend eienskappe wat doeltreffendheid, doelmatigheid, buigsaamheid, aanleerbaarheid en houding van die rekenaar program verbeter. Die CARMS komponente of modules en gebruikers is geidentifiseer. Bruikbaarheidsprobleme is geidentifiseer wat veroorsaak dat gebruikers selektief raak en ontmoedig raak om ander komponente van CARMS te gebruik. Om verder die geidentifiseerde bruikbaarheidsprobleme te verifieer en adreseer moet die hele program getoets en evalueer word. Die metodologie is vasgele waarvolgens bruikbaarheidstoetsing en evaluasie van rekenaar programme wat tans in gebruik is (soos CARMS) gedoen kan word. Voordele en beperkings van bruikbaarheidstoetsing en -evaluasie is in hierdie navorsing vervat. Dit word aanbeveel dat bruikbaarheidstoetsing en -evaluasie gedoen moet word om foute en ontevredenheid te voorkom en om die bruikbaarheid van die CARMS program te verbeter.

Model checking is a powerful technique for analyzing reach ability and temporal properties of finite state systems. Model-checking finite state systems has been well-studied and there are well known efficient algorithms for this problem. However these algorithms may not terminate when applied directly to in finite state systems. Counter systems are a class of in fininite state systems where the domain of counter values is possibly in finite. Many practical systems like cache coherence protocols, broadcast protocols etc, can naturally be modeled as counter systems. In this thesis we identify a class of counter systems, and propose a new technique to check whether a system from this class satires’ a given CTL formula. The key novelty of our approach is a way to use existing reach ability analysis techniques to answer both \until" and \global" properties; also our technique for \global" properties is different from previous techniques that work on other classes of counter systems, as well as other classes of in finite state systems. We also provide some results by applying our approach to several natural examples, which illustrates the scope of our approach.

The object of this study was to assess the influence of native language, as a principal cultural characteristic, one users’ behavior when using a web-based e-commerce application. The study expands on previous research by comparing English and Russian users. The research also considered demographic data to assess additional factors that influence behavior and task performance. The research design encompassed an online shopping application with two different navigation menus. One menu was based on the action-object model and the other was based on the object-action model. The user interface was created in two different languages (Russian and English). This study suggests that language, as a cultural indicator, has a direct relationship to user satisfaction and performance in e-commerce web applications.