实时系统的软件可靠性测试与验证
60233020
2002
F0203.软件理论、软件工程与服务
王戟
重点项目
研究员
中国人民解放军国防科技大学
170万元
实时系统.软件测试.形式验证
2003-01-01到2006-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | Generating Test Cases from UML | 会议论文 | Linzhang Wang, Jiesong Yuan, X |
| 2 | 面向服务软件体系结构的接口模型 | 期刊论文 | 陈振邦，王戟，董威，齐治昌 |
| 3 | Scenario-Based Timing Consiste | 会议论文 | Li Xuandong, Bu Lei, Hu Jun, Z |
| 4 | Scenario-Based Verification of | 会议论文 | Hu Jun, Yu Xiaofeng, Zhang Yan |
| 5 | A Quadratic-time DBM-based Suc | 期刊论文 | Zhao Jianhua, Li Xuandong, Zhe |
| 6 | 基于场景构件式实时软件设计的一 | 期刊论文 | 胡军，于笑丰，张岩，李宣东，郑 |
| 7 | On the Test Case Definition of | 会议论文 | K.Y.Cai, L.Zhao, H.Hu, C.H.Jia |
| 8 | 一种基于监控理论的软件设计方法 | 期刊论文 | 王向云，张文辉，王鹏，李永超， |
| 9 | 面向路径的测试数据自动生成方法 | 期刊论文 | 单锦辉、王戟 |
| 10 | 一个面向路径的软件测试辅助工具 | 期刊论文 | 丘晓康，李宣东 |
| 11 | Configuration-Oriented Symboli | 会议论文 | Shuhao Li, Ji Wang, Zhichang Q |
| 12 | Towards Formal Interfaces for | 会议论文 | Zhenbang Chen, Ji Wang, Wei Do |
| 13 | 软件关联缺陷的一种检测方法 | 期刊论文 | 景涛, 江昌海, 胡德斌, 白成刚, |
| 14 | Scenario mechanism in agent-or | 会议论文 | Rui Shen, Ji Wang, Hong Zhu |
| 15 | An Efficient Defect Estimation | 会议论文 | C.Bai, K.Y.Cai, T.Y.Chen |
| 16 | A Contract-based Approach to S | 会议论文 | Wei Dong, Zhenbang Chen, Ji Wa |
| 17 | Improvements Towards Formalizi | 会议论文 | W.L.Yeung, Karl R.P.H. Leung, |
| 18 | UML Statecharts的模型检验方法 | 期刊论文 | 董威、王戟、齐治昌 |
| 19 | Checking Interval Based Proper | 会议论文 | Pei Yu and Xu Qiwen |
| 20 | Property-Oriented Testing of R | 会议论文 | Shuhao Li, Ji Wang, Wei Dong, |
| 21 | Scenario-based Component Behav | 会议论文 | Zhang Yan, Yu Xiaofeng, Zhang |
| 22 | Automatic Generation of Markov | 会议论文 | Jiong Yan, Ji Wang, Huowang Ch |
| 23 | Reverse Observation Equivalenc | 专著 | Yanjun Wen, Ji Wang, Zhi-Chang |
| 24 | UML实时活动图的形式化分析 | 期刊论文 | 崔萌，李宣东，郑国梁 |
| 25 | Optimal and Adaptive Testing f | 期刊论文 | K.Y.Cai, Y.C.Li, K.Liu |
| 26 | Removing Irrelevant Atomic For | 会议论文 | Zhao Jianhua, Li Xuandong, Zhe |
| 27 | Slicing Execution for Model Ch | 期刊论文 | Xiaodong Yi, Ji Wang and Xueju |
| 28 | Verifying Compositional Design | 会议论文 | Li Xuandong, Zhao Jianhua, Gon |
| 29 | Duration-Constrained Regular E | 期刊论文 | Li Xuandong, Zhao Jianhua, Zhe |
| 30 | Towards an Efficient Path-Orie | 会议论文 | Xuandong Li, Sumit Kumar Jha, |
| 31 | Agent Oriented Programming bas | 会议论文 | Ji Wang, Rei Shen, Hong Zhu |
| 32 | Interface Theory based Formali | 会议论文 | Zhenbang Chen, Ji Wang, Wei Do |
| 33 | 基于构件软件的可靠性通用模型 | 期刊论文 | 毛晓光，邓勇进 |
| 34 | 分布式协作工作流技术研究 | 期刊论文 | 黄秀国，王戟 |
| 35 | Optimal Software Testing in th | 期刊论文 | K.Y.Cai, Y.C.Li, W.Y.Ni |
| 36 | Bridging Refinement of Interfa | 专著 | Yanjun Wen, Ji Wang, Zhi-Chang |
| 37 | An Interface Theory Based Appr | 会议论文 | Zhenbang Chen, Ji Wang, Wei Do |
| 38 | UML Based Statistical Testing | 会议论文 | Jiong Yan, Ji Wang, Huowang Ch |
| 39 | Automatic Generation of Run-Ti | 会议论文 | Xin Wang, Ji Wang, Zhi-Chang Q |
| 40 | Partition Testing with Dynamic | 会议论文 | K.Y.Cai, T.Jing, C.G.Bai |
| 41 | Runtime Verification of Java P | 会议论文 | Li Xuandong, Wang Linzhang, Qi |
| 42 | Chaotic Analysis of Software A | 会议论文 | Y.F.Jia, X.E.Chen, K.Y.Cai |
| 43 | An Overview of Software Cybern | 会议论文 | K.Y.Cai, J.W.Cangussu, R.A.DeC |
| 44 | 一种面向性质的实时系统测试方法 | 期刊论文 | 李书浩，王戟，齐治昌，董威 |
| 45 | 基于Assume-Guarantee 搜索复用 | 期刊论文 | 易晓东，王戟，杨学军 |
| 46 | 高可信软件工程技术 | 期刊论文 | 陈火旺，王戟，董威 |
| 47 | Verifying Choreographic Descri | 会议论文 | W.L.Yeung, Ji Wang, Wei Dong |
| 48 | 一个基于UML协作图的集成测试用 | 期刊论文 | 王林章，李宣东，郑国梁 |
| 49 | QRDChecker：一个QRDC模型检验工 | 期刊论文 | 裴玉，徐启文，李宣东，郑国梁 |
| 50 | 安全关键软件测试与验证环境TesV | 奖励 | 王戟、毛晓光、董威等 |
| 51 | A Threshold Autoregressive Mod | 会议论文 | X.E.Chen, Q.Quan, Y.F.Jia, K.Y |
| 52 | Improve model checking efficie | 会议论文 | J. Zhao, B. Lei, X. Li, G. Zhe |
| 53 | Modelling and Analysis of Powe | 会议论文 | Hu Jun, Li Xuandong, Zheng Guo |
| 54 | How to Test Software for Optim | 会议论文 | K.Y.Cai, Y.C.Li, K.Liu |
| 55 | A Dynamic Partitioning Approac | 会议论文 | K.Y.Cai, L.Zhao, F.Wang |
| 56 | Modelling and Model Checking S | 期刊论文 | W.L.Yeung, Karl R.P.H. Leung, |
| 57 | Caste-Centric Agent-Oriented P | 会议论文 | Ji Wang, Rui Shen, Hong Zhu |
| 58 | Consistency Checking of Concur | 会议论文 | Li Xuandong, Hu Jun, Bu Lei, Z |
| 59 | Checking Component-Based Embe | 会议论文 | Hu Jun, Yu Xiaofeng,?Zhang Yan |
| 60 | LDPChecker：一个实时和混成系统 | 期刊论文 | 裴玉、李宣东、郑国梁 |
| 61 | Automatic Test Case Generation | 会议论文 | Chen Mingsong, Qiu Xiaokang, a |
| 62 | 关于软件可靠性与软件控制论的若 | 期刊论文 | 蔡开元 |
| 63 | Remove Irrelevant Atomic Formu | 期刊论文 | Zhao Jianhua, Li Xuandong, Zhe |
| 64 | 场景驱动的构件行为抽取 | 期刊论文 | 张岩，胡军，于笑丰，张天，李宣 |
| 65 | 并发反应式系统的组合模型检验与 | 期刊论文 | 文艳军，王戟，齐治昌 |
| 66 | Compatibility between shared v | 会议论文 | Zhao Jianhua, Zhou Xiuyi, Li X |
| 67 | Contract-based Formal Specific | 会议论文 | Wei Dong, Ji Wang |
| 68 | Variable-Structure Coherent Sy | 期刊论文 | K.Y.Cai |
| 69 | Partial-Repeatability as a New | 会议论文 | K.Y.Cai, X.F.Lei, Y.Shi, B.B.Y |
| 70 | 基于UML的软件Markov链使用模型 | 期刊论文 | 颜炯，王戟，陈火旺 |
| 71 | Optimal and Adaptive Testing w | 会议论文 | K.Y.Cai, Y.C.Li, W.Y.Ning, W.E |
| 72 | Software Reliability Experimen | 期刊论文 | K.Y.Cai |
| 73 | UMLTGF：一个基于灰盒方法从UML | 期刊论文 | 袁洁松，王林章，李宣东，郑国梁 |
| 74 | PRPF：一个静态验证操作系统内核 | 期刊论文 | 汪黎，杨学军，王戟，罗宇 |
| 75 | Property-Oriented Test Generat | 会议论文 | Shuhao Li, Ji Wang, Zhi-Chang |
| 76 | Towards a Control-Theoretical | 会议论文 | K.Y.Cai, X.Y.Wang |
| 77 | Stateful Dynamic Partial-Order | 会议论文 | Xiaodong Yi, Ji Wang and Xueju |
| 78 | A Case Study for Invalidating | 会议论文 | B.B.Yin, Y.Shi, C.G.Bai, K.Y.C |
| 79 | A General Model for Component- | 期刊论文 | Mao Xiaoguang, Deng Yongjin |
| 80 | A Mathematical Modeling Framew | 期刊论文 | K.Y.Cai, Z.Dong, K.Liu, C.G.Ba |
| 81 | 反应式系统面向性质测试的方法框 | 期刊论文 | 李书浩，王戟，董威，齐治昌 |
| 82 | Deriving Available Behavior Al | 会议论文 | Zhang Yan, Hu Jun, Yu Xiaofeng |
| 83 | Deriving Software Statistical | 会议论文 | Yan Jiong, Wang Ji, Chen Huowa |
| 84 | Verification of C Programs usi | 会议论文 | Xiaodong Yi, Ji Wang, Xuejun Y |
| 85 | 基于场景规约的构件式系统设计分 | 期刊论文 | 胡军，于笑丰，张岩，李宣东，郑 |
| 86 | Bayesian Network Based Softwar | 期刊论文 | C.G. Bai |
| 87 | Automated WCET Analysis based | 会议论文 | Ji Meng-Luo, Wang Ji, Li Shuha |
| 88 | 2/3 Alternating Simulation Bet | 会议论文 | Yanjun Wen, Ji Wang and Zhicha |
| 89 | Towards a Framework for Scalab | 会议论文 | Ji Wang, Xiaodong Yi and Xueju |
| 90 | 基于WCET分析的实时系统轨迹获取 | 期刊论文 | 王馨，姬孟洛，王戟，齐治昌 |
| 91 | Improved Method to Generate Pa | 期刊论文 | Shan Jinhui, Wang Ji, Qi Zhich |
| 92 | Towards an Agent Oriented Prog | 会议论文 | Ji Wang, Rui Shen, Hong Zhu |
| 93 | Scenario-based Component Behav | 会议论文 | Yan Zhang, Jun Hu, Xiaofeng Yu |
查看更多信息请先登录或注册
