Hackers' Pub

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

フジイユウジ @fujii_yuji@mstdn.fujii-yuji.net

4/17/2025, 11:06:41 AM

Public

かっこいい仕事だ

画面仕様書への静的検査器を実装したらたくさんの欠陥を発見できた話 - DeNA Testing Blog https://swet.dena.com/entry/2025/04/17/093000 #仕様書 #静的解析 #仕様書レビュー

画面仕様書への静的検査器を実装したらたくさんの欠陥を発見できた話 - DeNA Testing Blog

SWET第二グループのKuniwakです。本記事では画面仕様（後述）の仕様書に対する静的検査器を開発した事例について紹介します。伝えたいこと画面表示と画面遷移を記述する仕様書は機械可読にできる仕様書が機械可読であれば仕様の静的検査ができる静的検査によって自身の担当範囲の15%の画面から計40件弱の欠陥を発見した機械可読な仕様書にはさらなる応用が見込めるおさらい：仕様とは仕様の定義はいくつかあります。ここでは仕様とは実装の正しい振る舞いを定める基準とします。ある実装が正しいと判定されることを、実装が仕様を満たしたといいます。誰による判定でも実装が仕様を満たしたかどうかの判定結…

swet.dena.com · DeNA Testing Blog

If you have a fediverse account, you can quote this note from your own instance. Search https://mstdn.fujii-yuji.net/users/fujii_yuji/statuses/114352980077616703 on your instance and quote it. (Note that quoting is not supported in Mastodon.)