TTool

易效能时间进阶6.5

五要素：T/STEPTtime代表时间Sspace代表空间Ttool代表工具Eenergy代表精力、能量Ppeople代表自我和他人当我们能感知到自己身处的情境，才能真切地活在当下，同时完成相应可以完成的事务
岩石头·2023-09-30 18:26

【TTool学习笔记】4：SysML-Sec建模方法(验证和生成)

在学习这节之前要给TTool装配好ProVerif，具体是在TTool/bin/config_*.xml，这里*是linux或者macos或者windows，在里面配置下面的标签。
LauZyHou·2020-09-14 22:20

【TTool学习笔记】1：AVATAR建模方法(分析相关)

在TTool设计面板上右键，有选择NewxxxMethodology，其中包括：DIPLODOCUS，用来做嵌入式系统的划分AVATAR，用来设计嵌入式软件SysML-Sec，用来设计安全的(safeandsecure
LauZyHou·2020-09-14 22:50

【TTool学习笔记】2：AVATAR建模方法(设计和验证)

1块图(BlockDiagram)块图通过NewDesign添加，描述的是系统的主要结构。其中，建模元素包括：Securitypragmas，用规约语言写信息安全性质的地方Safetyproperty(UPPAAL)，用规约语言写功能安全性质的地方，用的是UPPAAL的方法Performanceproperty，用规约语言写和性能有关的性质的地方Block，块图中的块，可以添加属性、方法、输入输出
LauZyHou·2020-09-14 22:50

【TTool学习笔记】3：SysML-Sec建模方法(模型相关)

手册中的例子从TTool远程库导入，File->OpenFroomTToolrepository->SysMLSecTutorial.xml。
LauZyHou·2020-09-14 22:50

时间转换时出现 java.lang.IllegalArgumentException 如何解决这个异常

valformatTime=SimpleDateFormat("yyyy-MM-ddHH:mm:ss")res=formatTime.format(Date(timeStr))}catch(e:Exception){TTool
来了就未晚·2019-07-03 22:55

SSH框架单元测试工具类

 packagetest.tools; /** *@(#)TTool.java2012-02-08初版 *Spring框架单元测试辅助工具类 * *单元测试使用必看: *TTool类说明 *-TTool.getBean
jzshmyt·2012-02-13 19:00
上一页 1 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他