检索结果-内蒙古大学图书馆

Australian Conference on software engineering

作者： A. Hussey I. MacColl D. Carrington Software Verification Research Centre Department of Computer Science and Electrical Engineering University of Queensland Brisbane QLD Australia

The authors demonstrate the usability analysis of Object-Z user-interface designs. Usability can be defined in terms of five salient properties of an interactive system: task efficiency, reuse, user-computer communication, robustness and flexibility Formal user interface designs have been advocated as a basis for determining the usability of an interactive system prior to the expense of system development. However, to date, a comprehensive demonstration of the utility of formal designs for this purpose has not been forthcoming. We investigate the limitations of model-based methods, such as Object-Z as a basis for analysis of user interface designs.

关键词： Usability Interactive systems Object oriented modeling Human factors computer science Guidelines Safety Robustness computer errors Production

来源：评论

学校读者我要写书评

暂无评论

Module testing embedded software-an industrial pilot project

Module testing embedded software-an industrial pilot project

引用

IEEE International Conference on engineering of Complex computer Systems

作者： J. McDonald L. Murray P. Lindsay P. Strooper School of Computer Science and Electrical Engineering University of Queensland Brisbane QLD Australia Software Verification Research Centre University of Queensland Brisbane QLD Australia

ISBN: (纸本)0769511597

This paper reports on an industrial pilot project that introduces systematic, automated module testing for embedded software in distributed, real-time, control systems. The systems are used in safety-related applications, are complex in nature, and hence have strong requirements for test coverage, auditability and repeatability. This paper explores issues of isolating modules from the run-time environment, improving integration of testing into the development environment, automating testing, and improving test planning and documentation. Metrics were gathered throughout the project that allow a coarse cost-benefit evaluation. Code coverage metrics for statement and branch coverage were also gathered using a commercial code coverage analysis tool. The testing exposed a number of latent faults within the software, and the overall results of the project show that module testing is feasible for this complex, embedded software.

关键词： software testing computer industry Automatic testing Embedded software electrical equipment industry System testing Industrial control Real time systems Distributed control Automatic control

来源：评论

学校读者我要写书评

暂无评论

Generic description of a software document environment

Generic description of a software document environment

引用

Annual Hawaii International Conference on System sciences (HICSS)

作者： M. Toleman D. Carrington P. Cook A. Coyle A. MacDonald J. Welsh T. Jones Department of Mathematics and Computing University of Southern Queensland Toowoomba Australia Software Verification Research Centre School of Computer Science and Electrical Engineering University of Queensland Australia Price WaterhouseCoopers Limited Zurich Switzerland

ISBN: (纸本)0769509819

UQ* is an evolving generic language-based environment for manipulation of structured documents. The environment is intended to capture both syntactic and relational structure within and between documents and to support user interaction via both textual and diagrammatic views. This paper illustrates the innovative features of the environment description language used to instantiate a UQ* environment.

关键词： computer languages Mathematics computer science Application software software engineering Programming environments Program processors Costs Navigation Technological innovation

来源：评论

学校读者我要写书评

暂无评论

A framework for subsystem-based configuration management

A framework for subsystem-based configuration management

引用

Australian Conference on software engineering

作者： P. Lindsay A. MacDonald M. Staples P. Strooper Software Verification Research Centre University of Queensland Brisbane QLD Australia School of Computer Science and Electrical Engineering University of Queensland Brisbane QLD Australia Foxboro Australia Eight Mile Plains QLD Australia

Existing software configuration management (CM) tools are limited in the support they provide for configuration and change management of hierarchically structured software systems. This paper describes a framework for CM of subsystems-logically coherent collections of software development artefacts, including code, documentation and test sets. The goal is to provide visibility of changes at intermediate levels between whole-system and source-code levels, thereby reducing the complexity of the build V&V and change management processes. The framework supports characterisation of subsystems and changes to subsystems, and provides hooks into change tracking processes.

关键词： Australia Documentation Control systems Programming Logic testing software testing software development management Collaborative software SCADA systems software tools

来源：评论

学校读者我要写书评

暂无评论

Refining logic programs using types 23

Refining logic programs using types

引用

23rd Australasian computer science Conference, ACSC 2000

作者： Colvin, R. Hayes, I. Strooper, P. Software Verification Research Centre Department of Computer Science and Electrical Engineering University of Queensland Australia

ISBN: (纸本)076950518X

The logic programming refinement calculus is a method for transforming specifications to executable code, maintaining the correctness of the code with respect to its specification. In this paper we show how types can be handled in the logic programming refinement calculus. Types of variables are necessary for a complete specification of a procedure, and typing information can guide the refinement of a procedure specification to code. As an application of this framework, we show how dynamic type-checks can be formally eliminated from a sample program. © 2000 IEEE.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

computer-aided development of a real-time program

引用

software-Concepts and Tools 2000年第4期19.0卷 190-202页

作者： Wildman, Luke Fidge, Colin Carrington, David Software Verification Research Centre University of Queensland QLD 4072 Australia Department of Computer Science and Electrical Engineering University of Queensland QLD 4072 Australia

The refinement calculus is a well-established theory for formal development of imperative program code and is supported by a number of automated tools. Via a detailed case study, this article shows how refinement theory and tool support can be extended for a program with real-time constraints. The approach adapts a timed variant of the refinement calculus and makes corresponding enhancements to a theorem-prover based refinement tool. © 2000 Springer-Verlag.

关键词： Formal methods Real-time programming Refinement software engineering Tool support verification

来源：评论

学校读者我要写书评

暂无评论

Deriving quantified safety requirements in complex systems 19th

Deriving quantified safety requirements in complex systems

引用

19th International Conference on computer Safety, Reliability and Security, SAFECOMP 2000

作者： Lindsay, Peter A. McDermid, John A. Tombs, David J. Software Verification Research Centre University of Queensland Australia High Integrity Systems Engineering Group Dept of Computer Science University of York United Kingdom

ISBN: (纸本)3540411860

A variety of hazard analysis techniques have been proposed for software-based systems but individually the techniques are limited in their ability to cope with system complexity, or to derive and prioritise component safety requirements. There is also confusion in practice about whether the techniques are being used to assess risk or to assign targets. This paper proposes a way of integrating hazard analysis techniques to solve these problems. The resulting process enables functional safety requirements to be derived for logically complex components such as software, together with target (maximum acceptable) failure rates. © Springer-Verlag Berlin Heidelberg 2000.

关键词： Hazards

来源：评论

学校读者我要写书评

暂无评论

Refining logic programs using types

Refining logic programs using types

引用

Australasian computer science Conference

作者： R. Colvin I. Hayes P. Strooper Software Verification Research Centre Department of Computer Science and Electrical Engineering University of Queensland Australia

关键词： Logic programming Calculus computer science Electronic mail

来源：评论

学校读者我要写书评

暂无评论

Tools and techniques for Java API testing

Tools and techniques for Java API testing

引用

Australian software engineering Conference, ASWEC 2000

作者： Hoffman, D. Strooper, P. Dept. of Computer Science University of Victoria PO Box 3055 STN CSC VictoriaBCV8W 3P6 Canada Dept. of Computer Science and Elec. Eng. Software Verification Research Centre University of Queensland BrisbaneQLD4072 Australia

ISBN: (纸本)0769506313

With the advent of object-oriented languages and the portability of Java APIs, the development and use of reusable software components is becoming a reality. Effective component reuse depends on component reliability, which in turn depends on thorough testing. The literature, however, provides few approaches to component testing that are practical for the input generation and output checking of the large number of test cases required. In this paper, we present the "Roast" tool and techniques for the testing of Java APIs. The tool and techniques are illustrated on two non-trivial components, and quantitative results are presented to substantiate the practicality and effectiveness of the approach. © 2000 IEEE.

关键词： computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Translating UAN into CSP

Translating UAN into CSP

引用

International Conference on Formal engineering Methods

作者： I. MacColl D. Carrington Software Verification Research Centre Department of Computer Science & Electrical Engineering University of Queensland Brisbane QLD Australia

We define a translation from the User Action Notation (UAN) to the process algebra Communicating Sequential Processes (CSP). UAN is an informal notation, used for task modeling and design. Translating a UAN task description to CSP provides a base for rigorous development of an interactive system. The resulting CSP description is a suitable abstract starting point for development, as it describes externally visible behaviour with no mention of presented or underlying state. Our translation covers all UAN constructs except for waiting, interruptibility and true concurrency which cannot be expressed in interleaving, un-timed CSP. Our approach integrates task models, typically based on user-oriented concerns, into rigorous development which is typically system-oriented. It provides a bases for a framework for formal development of interactive systems.

关键词： Algebra Interactive systems Unified modeling language computer science Concurrent computing Interleaved codes Concrete Prototypes Asynchronous transfer mode

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：