实时嵌入式软件可靠性测试数据自动生成方法

• 作者: 艾骏 阮镰 陆民燕
• 来源期刊: 测控技术
• 学科: 工学
• 关键词: 软件 可靠性 软件测试 操作剖面 使用剖面
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 软件纵横
• 页码范围: 59-61
• 页数: 3页
• 分类号: TP311
• 字数: 2239字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-8829.2007.03.020

摘要

可靠性测试是软件可靠性工程中的一项重要工作内容.为了更好地支持可靠性测试数据的自动生成,提出了一套形式化建模方法,通过系统视图、使用类视图、剖面视图和操作描述视图,实现对被测系统的分析、可靠性测试输入建模.根据这些形式化描述信息,计算机可以自动抽取出适用于软件可靠性测试的测试数据.