潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

软件安全性需求形式化建模和验证/李震著

出版发行项:

镇江:江苏大学出版社,2019

ISBN及定价:

978-7-5684-0112-8/CNY42.00

载体形态项:

187页;21cm

并列正题名:

Formal modeling and verification of software safety requirements

个人责任者:

李震 著

学科主题:

软件可靠性

中图法分类号:

TP311.5

提要文摘附注:

本书深入分析国内外公认的软件安全性领域相关的标准和手册，建立符合标准和可操作的软件安全性需求工作过程；将软件安全性需求分析和验证相关的工作纳入到有明确定义的形式化模型中进行描述，利用形式化理论和方法给予静态和动态的描述和验证；支持建模和验证工具原型的设计和开发；通过选取不同背景的人员采用人工分析和使用工具两种方法对实验软件的安全性需求进行验证；收集并分析了两种验证方法的实验结果，最终通过在典型的机载安全关键软件中的应用来进行实例验证。

豆瓣简介：