| 对象行为等价的终结共代数语义 |
| |
| 引用本文： | 余珊珊,李师贤,苏锦宝田.对象行为等价的终结共代数语义[J].计算机科学,2012,39(2):183-186. |
| |
| 作者姓名： | 余珊珊 李师贤 苏锦宝田 |
| |
| 作者单位： | 1. 中山大学信息科学与技术学院 广州510275
2. 华南理工大学计算机科学与工程学院 广州510640 |
| |
| 基金项目： | 国家自然科学基金，广东省自然科学基金 |
| |
| 摘 要： | 数据库安全功能独立性测试是评估者使用代表性测试用例在被测数据库管理系统(DBMS)上执行,并将DBMS内部数据修改和系统输出同预期结果作比较,完成DBMS安全功能实现的评估。给出一种DBMS安全测试自动化模型及基于STAF/STAX开源框架的实现方法。最后以安全审计组件的实现为例,在Oracle和国产DBMS上给出了其用例测试及实验方法,证明了该框架的可用性。
|
| 关 键 词： | 数据库管理系统 通用准则(CC) 独立性测试 测试自动化框架 |
Final Coalgebraic Semantics for Behavioral Equality of Objects |
| |
| YU Shan-shan
,
LI Shi-xian
,
SU Jin-dian.Final Coalgebraic Semantics for Behavioral Equality of Objects[J].Computer Science,2012,39(2):183-186. |
| |
| Authors: | YU Shan-shan LI Shi-xian SU Jin-dian |
| |
| Affiliation: | 2(School of Software,Tsinghua University,Beijing 100084,China)1(China Information Technology Security Evaluation Center,Beijing 100085,China)2 |
| |
| Abstract: | Security function independent testing for DBMS is an security function evaluation process during which an evaluator runs typical test cases against the DBMS under test and compares DBMS internal metadata and actual outputs with expected outputs to accomplish the evaluation on DBMS security function implementation.This paper presented a DBMS security test automation framework and its implementation which is based on an open-source framework called STAF/STAX.We practiced the audit component security test case implementation against Oracle and a domestic-produced DBMS which well proves the usability of this framework. |
| |
| Keywords: | Objects Behavioral equivalence Coalgebraic methods Final coalgebras Strong Monads |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
