A Verification Method of Software Acceptability

Hua Xiao Liu; Peng Zhang; Li Wen Mu; Ying Jin; Xue Hang Chi

doi:10.4028/www.scientific.net/AMM.411-414.436

Paper Titles

Research on the Evaluation System of Software Industry
p.415

Comparison of Mobile Operating System Based on Development and Application
p.420

The Static Analysis of the Uniqueness of Polymorphism
p.425

Design of Cloud-Based Education Resource Operation and Open Platform
p.432

A Verification Method of Software Acceptability
p.436

Design and Implementation of a New Meteorology Geographic Information System
p.440

Analysis and Design Based on the Educational Management System Adopting the Object-Oriented Modeling Technique
p.444

The Development on Software Testing Platform of Huaian City
p.448

The Modeling Gear Optimization Design Research Based on Pro-E
p.452

HomeApplied Mechanics and MaterialsApplied Mechanics and Materials Vols. 411-414A Verification Method of Software Acceptability

A Verification Method of Software Acceptability

Abstract:

Software requirements validation is one of the hot problems of software engineering field, for the formal verification of software acceptability, this paper presents a formal verification software acceptability method. This method uses the 4-variable model to character the software system requirements and the software behavior, and gives a formal description of the 4-variable model based on the generic model of Tabular expression, and converts the Tabular expression into predicate logic knowledge base to verify the software acceptability. The analysis shows that the proposed method is effective, and the software acceptability can be verified.

You might also be interested in these eBooks

View Preview

Info:

Periodical:

Applied Mechanics and Materials (Volumes 411-414)

Pages:

436-439

DOI:

https://doi.org/10.4028/www.scientific.net/AMM.411-414.436

Citation:

Cite this paper

Online since:

September 2013

Authors:

Hua Xiao Liu, Peng Zhang, Li Wen Mu, Ying Jin, Xue Hang Chi

Keywords:

4-variable Model, Requirements Verification, Software Acceptability, Tabular Expressions

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] D. L. Parnas, G. J. K. Asmis, J. D. Kendall. Reviewable Development of Safety Critical Software, In: International Conference on Control and Instrumentation in Nuclear Installations, Glasgow, U. K, 1990, NO. 4. 3.

Google Scholar

[2] D. L. Parnas. Tabular Representation of Relations. Technical Report CRL260, McMaster University Canada, (1992).

Google Scholar

[3] D. L. Parnas, G. L. K. Asmis, J. Madey. Assessment of Safety-Critical Software in Nuclear Power Plants, Nuclear Safety, 1991, 32(2): 189-198.

Google Scholar

[4] D. L. Parnas, J. Madey, Functional documentation for computer systems engineering, Science of Computer Programming, 1995, 25(1), 41-61.

DOI: 10.1016/0167-6423(95)96871-j

Google Scholar

[5] K. L. Heninger, J. Kallander, D. L. Parnas, J. E. Shore. Software Requirements for the A-7E Aircraft, NRL Memorandum Report 3876, U.S. Naval Research Lab., (1978).

Google Scholar

[6] Y. Jin, D. L. Parnas. Defining the meaning of tabular mathematical expressions, Science of Computer Programming, 2010, 75(11): 980-1000.

DOI: 10.1016/j.scico.2009.12.009

Google Scholar