Search For:

Displaying 1-48 out of 48 total
An Investigation of the Approach to Specification-Based Program Review through Case Studies
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Fumiko Nagoya, Shaoying Liu, Yuting Chen
Issue Date:April 2004
pp. 249-258
Software review is an effective means to enhance the quality of software systems. However, traditional review methods emphasize the importance of the way to organize reviews and rely on the quality of the reviewers? experience and personal skills. In this ...
 
A GUI and testing tool for SOFL
Found in: Asia-Pacific Software Engineering Conference
By Shaoying Liu, T. Fukuzaki, K. Miyamoto
Issue Date:December 2000
pp. 421
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, data flow diagrams, and VDM-SL. As a method it is a combination of a structured method and object-oriented method. We introduce a gr...
 
Capturing Safety Properties for Safety-Critical Systems Using SOFL
Found in: Computers, Networks, Systems and Industrial Engineering, ACIS/JNU International Conference on
By Azma binti Abdullah, Shaoying Liu
Issue Date:May 2011
pp. 186-192
This paper presents an approach to capturing safety properties for safety critical systems using the Structured Object-oriented Formal Language (SOFL). The approach features a process and five keys for capturing safety properties that need to be verified b...
 
An Extension to Data-Flow-Oriented Formal Specification Language for Specifying Concurrent Software Systems
Found in: Quality Software, International Conference on
By Yuting Chen, Shaoying Liu, Linzhang Wang
Issue Date:July 2010
pp. 214-219
Data-flow-oriented formal specification languages, such as SOFL, bridge formal methods to industrial applications, allowing software developers to effectively use formal methods in developing practical software systems. In this paper, we introduce an exten...
 
A Method Combining Review and Testing for Verifying Software Systems
Found in: BioMedical Engineering and Informatics, International Conference on
By Yuting Chen, Shaoying Liu, W. Eric Wong
Issue Date:May 2008
pp. 827-831
The application of specification-based program verification techniques (e.g., black-box testing, formal proof) faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. This paper describes ...
 
A Tool and Case Study for Specification-Based Program Review
Found in: Computer Software and Applications Conference, Annual International
By Fumiko Nagoya, Shaoying Liu, Yuting Chen
Issue Date:July 2005
pp. 375-380
Effective tool support is crucial for successfully applying software review techniques in practice. In this paper, we describe the design and implementation of a software tool to support an approach to reviewing programs on the basis of their formal specif...
 
Verifying Formal Specifications Using Fault Tree Analysis
Found in: Principles of Software Evolution, International Symposium on
By Shaoying Liu
Issue Date:November 2000
pp. 272
Specification before implementation has been suggested as a sensible approach to software evolution. The quality of this approach may be improved by using formal specification. However, to serve as a trustable foundation for implementation and to help redu...
 
Integration of the Domain Modeling Method for Families of Systems with the SOFL Formal Specification Language
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By H. Gomaa, Shaoying Liu, M.E. Shin
Issue Date:September 2000
pp. 0061
Abstract: An application domain is defined as a family of systems that have some features in common and others that differentiate them. A domain model is a multiple view object oriented analysis model for the application domain that reflects the common asp...
 
A Formal Operational Semantics for SOFL
Found in: Asia-Pacific Software Engineering Conference
By Chris Ho-Stuart, Shaoying Liu
Issue Date:December 1997
pp. 52
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data flow diagrams, VDM-SL, and Petri nets to provide a graphical and textural formal notation for specification ...
 
Evolution: A More Practical Approach than Refinement for Software Development
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Shaoying Liu
Issue Date:September 1997
pp. 142
Refinement of operations is well defined in terms of refinement rules and is considered as a reasonable discipline for software development. This paper, however, observes that refinement is not sufficient to serve this role for the entire software developm...
 
Semi-automatic Transformation from Formal Specifications to Programs
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Shaoying Liu, Chris Ho-Stuart
Issue Date:October 1996
pp. 506
As model-based formal methods (e.g. VDM, Z) are becoming popular for the development of safety-critical and complex systems in industry, automatic transformation from formal specifications to programs is an ideal and efficient approach to software producti...
 
Structured methodology+object-oriented methodology+formal methods: methodology of SOFL
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Shaoying Liu, Yong Sun
Issue Date:November 1995
pp. 137
There is a growing disappointment that formal methods have not been widely adopted in industry. One reason for this is that their application consumes prohibitive amounts of resource. Much research on the integration of available formal methods (e.g. Z, VD...
 
A Formal Engineering Framework for Service-Based Software Modeling
Found in: IEEE Transactions on Services Computing
By Weikai Miao,Shaoying Liu
Issue Date:October 2013
pp. 536-550
Service-based software modeling is considered as an effective technique for developing high-quality service-based systems. One major challenge of this approach is how to effectively utilize existing software services in the process of system modeling to en...
 
Formal Specification-Based Inspection for Verification of Programs
Found in: IEEE Transactions on Software Engineering
By Shaoying Liu, Yuting Chen,F. Nagoya,J. A. McDermid
Issue Date:September 2012
pp. 1100-1122
Software inspection is a static analysis technique that is widely used for defect detection, but which suffers from a lack of rigor. In this paper, we address this problem by taking advantage of formal specification and analysis to support a systematic and...
 
Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates
Found in: Software Testing Verification and Validation Workshop, IEEE International Conference on
By Cong Tian, Shaoying Liu, Shin Nakajima
Issue Date:March 2011
pp. 304-309
Automatic test case generation from a pre-post style formal specification must deal with the issue of how to generate test cases from a conjunction of atomic predicate expressions, but unfortunately this problem has not been effectively solved due to its i...
 
Developmental Toxicity of Triadimefon in Embryo-Larval Stages of Zebrafish
Found in: Digital Manufacturing and Automation, International Conference on
By Shaoying Liu, Juhua Chang, Guonian Zhu
Issue Date:December 2010
pp. 552-555
Triadimefon, a triazole fungicide, has been widely detected in the environment, but few studies have assessed its effect on aquatic organisms. The present study evaluated the effect of triadimefon in embryo-larval stages of zebra fish. Zebra fish embryos e...
 
A Decompositional Approach to Automatic Test Case Generation Based on Formal Specifications
Found in: Secure System Integration and Reliability Improvement
By Shaoying Liu, Shin Nakajima
Issue Date:June 2010
pp. 147-155
Automatic functional testing is a potentially effective technique for software reliability, but it has been a challenge due to the difficulties in automatically deriving adequate test cases and test oracle from informal or semi-formal specifications that a...
 
Study on the Dynamic Pressure Modeling of High-Pressure Jet Homogenization
Found in: Computing, Control and Industrial Engineering, International Conference on
By Wu Xue, Zhang Shaoying, Liu Bin
Issue Date:June 2010
pp. 284-289
High-pressure jet homogenization is a key unit operation used in various industry sectors such as chemistry, pharmacy, special food and biotechnology. It is difficult to build the flow patterns and optimize the homogenizing unit for lacking of information ...
 
Automated Software Specification and Design Using the SOFL Formal Engineering Method
Found in: Software Engineering, World Congress on
By Shaoying Liu, Xiang Xue
Issue Date:May 2009
pp. 283-289
The Structured Object-Oriented Formal Language (SOFL) offers a formal engineering method for effectively incorporating formal specifications into system architectures in order to improve the quality of software design, but faces a challenge in tool support...
 
Utilizing Test Case Generation to Inspect Formal Specifications for Completeness and Feasibility
Found in: High-Assurance Systems Engineering, IEEE International Symposium on
By Shaoying Liu
Issue Date:November 2007
pp. 349-356
Completeness and feasibility of a specification are important properties for the assurance of a valid and correct implementation, but they are extremely difficult to be formally verified. In this paper, we describe an inspection method for analyzing the co...
 
Developing an Insulin Pump System Using the SOFL Method
Found in: Asia-Pacific Software Engineering Conference
By Jichuan Wang, Shaoying Liu, Yong Qi, Di Hou
Issue Date:December 2007
pp. 334-341
Insulin pump system is a safety-critical embedded system controlling the amount of injection of insulin to diabetics based upon their blood glucose levels, and the high reliability of the software used in the pump is crucial. One way to achieve the high re...
 
A Tool-Supported Review Approach to Detecting Structural Consistency Violations
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Yuting Chen, Shaoying Liu, Fumiko Nagoya
Issue Date:August 2006
pp. 121-130
The application of specification-based program verification techniques (e.g., testing, review, and proof) faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. In this paper we describe ...
 
An Empirical Study on a Specification-Based Program Review Approach
Found in: Dependability of Computer Systems, International Conference on
By Fumiko Nagoya, Yuting Chen, Shaoying Liu
Issue Date:May 2006
pp. 199-206
Program review is an effective technique for detecting faults in software systems by reading and analyzing program code. However, challenges still remain in providing systematic and rigorous review techniques. We have recently developed a rigorous review a...
 
A Review Approach to Detecting Structural Consistency Violations in Programs
Found in: Computer and Information Science, ACIS International Conference on
By Yuting Chen, Shaoying Liu, Fumiko Nagoya
Issue Date:July 2005
pp. 61-66
The application of specification-based program verification techniques (e.g., testing, review, and proof) usually faces strong challenges in practice when the gap between the structure of a specification and that of its program is large. In this paper we d...
 
Design of a Tool for Specification-Based Program Review
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Fumiko Nagoya, Shaoying Liu, Yuting Chen
Issue Date:June 2005
pp. 10-11
Program review is an effective means for enhancing software quality. In this paper we describe the design of a software tool to support our proposed
   
A Framework for SOFL-Based Program Review
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Yuting Chen, Shaoying Liu, Fumiko Nagoya
Issue Date:June 2005
pp. 6-7
Program review is a practical and cost-effective method for detecting errors in program code. This paper describes our recent work aiming to provide support for revealing errors which usually arise from inappropriate implementations of desired specificatio...
   
The Semantics of Extended SOFL
Found in: Computer Software and Applications Conference, Annual International
By Jin Song Dong, Shaoying Liu
Issue Date:August 2002
pp. 653
Recently SOFL (Structured-Object-based-Formal Language) has been extended to a formal object-oriented language and method while keeping its structured features. This extension allows powerful object-oriented reuse mechanisms, such as class inheritance and ...
 
Criteria for Generating Specification-Based Tests
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By A Jefferson Offutt, Yiwei Xiong, Shaoying Liu
Issue Date:October 1999
pp. 119
This paper presents general criteria for generating test inputs from state-based specifications. Software testing can only be formalized and quantified when a solid basis for test generation can be defined. Formal specifications of complex systems represen...
 
SOFL: A Formal Engineering Methodology for Industrial Applications
Found in: IEEE Transactions on Software Engineering
By Shaoying Liu, A. Jeff Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba
Issue Date:January 1998
pp. 24-45
<p><b>Abstract</b>—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into established industrial software processes, their application requires significant abstraction and math...
 
A
Found in: Asia-Pacific Software Engineering Conference
By Shaoying Liu,Shin Nakajima
Issue Date:December 2011
pp. 73-80
Several approaches to test case generation based on formal specifications have been put forward, but how to automatically generate test cases to ensure that all of the representative program paths of the corresponding program are traversed still remains an...
 
A Formal Specification-Based Testing Approach to Accurate Web Service Selection
Found in: Asia-Pacific Conference on Services Computing. 2006 IEEE
By Weikai Miao,Shaoying Liu
Issue Date:December 2011
pp. 259-266
Currently most web services are published without sufficient functional behavior descriptions, which makes it difficult for developers to accurately select services according to the expected functions of their target systems. In this paper, we propose a fo...
 
Automatic Specification-Based Testing: Challenges and Possibilities
Found in: Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
By Shaoying Liu
Issue Date:August 2011
pp. 5-8
Automatic specification-based testing has long been a goal of software engineering, but due to various challenges and difficulties, the goal still remains far from realized. If the specification is informal, full automation would be impossible in general. ...
 
Utilizing Formalization to Test Programs without Available Source Code (Short Paper)
Found in: Quality Software, International Conference on
By Shaoying Liu
Issue Date:August 2008
pp. 216-221
How to test a program with no available source code is of great importance for software quality assurance in practice, but still remains a challenge. In this paper, we describe a novel approach to tackling this challenge. Its principal idea is first to for...
 
Integrating Top-Down and Scenario-Based Methods for Constructing Software Specifications
Found in: Quality Software, International Conference on
By Shaoying Liu
Issue Date:August 2008
pp. 105-113
How to achieve the completeness and consistency of a software specification by construction is an important issue for software quality assurance, but it is still an open problem. The difficulty lies in the fact that the assurance of the completeness needs ...
 
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Found in: Asia-Pacific Software Engineering Conference
By Yuting Chien, Shaoying Liu
Issue Date:December 2004
pp. 276-283
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect implementations of desired domains. This paper describes our recent work aimin...
 
Utilizing Specification Testing in Review Task Trees for Rigorous Review of Formal Specification
Found in: Asia-Pacific Software Engineering Conference
By Shaoying Liu
Issue Date:December 2003
pp. 510
Review Task Tree (RTT) is a comprehensible notation for expressing review tasks in rigorous review of formal specifications. It has a mechanism for evaluating the final review result based on the review results of all the members (atomic tasks) of its mini...
 
A Study of Japanese Software Process Practices and a Potential for Improvement Using SOFL
Found in: Quality Software, International Conference on
By Sirin Bekbay, Shaoying Liu
Issue Date:November 2003
pp. 100
The goal of this paper is to examine the Japanese experience with the software development process, the challenges they face and how formal engineering methods, in particular SOFL (Structured Object-oriented Formal Language), can help overcome these proble...
 
Formal Verification of Condition Data Flow Diagrams for Assurance of Correct Network Protocols
Found in: Advanced Information Networking and Applications, International Conference on
By Shaoying Liu
Issue Date:March 2003
pp. 289
Condition Data Flow Diagrams (CDFDs) are a formalized notation resulting from the integration of Yourdon Data Flow Diagrams, Petri Nets, and pre-post notation. They are used in the OFL (Structured Object-Oriented Formal Language) specification language to ...
 
A Rigorous Approach to Reviewing Formal Specifications
Found in: Software Engineering Workshop, Annual IEEE/NASA Goddard
By Shaoying Liu
Issue Date:December 2002
pp. 75
I put forward a new approach to rigorously reviewing formal specifications to ensure their internal consistency and validity. This approach includes four steps: (1) deriving properties as review targets based on the syntax and semantics of the specificatio...
 
Applying SOFL to Develop a University Information System
Found in: Asia-Pacific Software Engineering Conference
By Shaoying Liu, Masaomi Shibata, Ryuichi Sato
Issue Date:December 1999
pp. 404
How to effectively apply formal methods under schedule constraints to develop real systems is an important issue to address. In this paper we report our recent experience in the application of SOFL (Structured Object-based Formal Language) to developing a ...
 
Applying SOFL to Specify A Railway Crossing Controller for Industry
Found in: Industrial-Strength Formal Specification Techniques, Workshop on
By Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura
Issue Date:October 1998
pp. 16
No summary available.
 
An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura
Issue Date:August 1998
pp. 0100
One of the primary concerns in developing computer embedded safety-critical systems is how to develop quality software. Software must fulfill its functional requirements and must not contribute to the violation of safety properties of the entire system. To...
 
A framework for automatic functional testing based on formal specifications
Found in: Proceeding of the 6th international workshop on Automation of software test (AST '11)
By Shaoying Liu, Shin Nakajima
Issue Date:May 2011
pp. 107-108
This paper describes a framework for automatic functional testing based on formal specifications. The framework is intended to expose all of the issues that must be addressed in automatic testing, to provide solutions for some of the major challenges, and ...
     
An approach to detection of UML-based ownership violation
Found in: Proceedings of the 2009 ACM symposium on Applied Computing (SAC '09)
By Hector Miguel Chavez, Shaoying Liu, Wuwei Shen
Issue Date:March 2009
pp. 1-5
In this paper, we study how to detect the ownership violation based on the Unified Modeling Language (UML 2.0) in IBM Eclipse Modeling Framework. We develop a novel technique for automatically detecting the ownership violation in a program against its desi...
     
Integration of formal specification, review, and testing for software component quality assurance
Found in: Proceedings of the 2009 ACM symposium on Applied Computing (SAC '09)
By Shaoying Liu, Shin Nakajima, Tetsuo Tamai
Issue Date:March 2009
pp. 1-5
The reliability of software components is the most important quality required for software systems constructed using component-based development paradigm. This paper describes an approach to integrating formal specification, review, and testing for softwar...
     
Dynamic sets and their application in VDM
Found in: Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice (SAC '93)
By John A. McDermid, Shaoying Liu
Issue Date:February 1993
pp. 187-192
This paper describes the effects of program restructuring in a dataflow environment. Previous studies showed that dataflow programs can exhibit locality and that a memory hierarchy is feasible in a dataflow environment. This study shows that the order in w...
     
A user-friendly formal requirements specification method
Found in: Proceedings of the 30th annual Southeast regional conference (ACM-SE 30)
By Shaoying Liu
Issue Date:April 1992
pp. 211-218
As formal methods are increasingly used in the development of industrial scale software systems, there is a growing awareness of the need to integrate the formal notations with existing structured software development methods. In order to make requirements...
     
A formal structured method for requirement specification construction
Found in: Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's (SAC '92)
By Shaoying Liu
Issue Date:March 1992
pp. 1055-1063
This paper describes the effects of program restructuring in a dataflow environment. Previous studies showed that dataflow programs can exhibit locality and that a memory hierarchy is feasible in a dataflow environment. This study shows that the order in w...
     
 1